Synthesis of P/T-Nets from Finite Initialized Transition Systems

Abstract

In this chapter, $A = \left( {S,\,E,\,\Delta,\,s_0 } \right)$ is a finite initialized transition system, reachable and reduced, with set of events $E = \left\{ {e_1, \ldots e_n } \right\}$. Since the transition relation $\Delta \subseteq S \times E \times S$ is deterministic it can equivalently be given as a partial map $\delta :S \times E \to S$ with $\delta \left( {s,\,e} \right) = s^{\prime} \Leftrightarrow \left( {s,\,e,\,s^{\prime}} \right) \in \Delta$.