4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.LO2006
Free Choice Petri Nets without frozen tokens and Bipolar Synchronization Systems
Joachim Wehler
Bipolar synchronization systems (BP-systems) constitute a class of coloured Petri nets, well suited for modeling the control flow of discrete, dynamical systems. Every BP-system ha…
cs.SE2006★ 4 cited
Morphisms of Coloured Petri Nets
Joachim Wehler
We introduce the concept of a morphism between coloured nets. Our definition generalizes Petris definition for ordinary nets. A morphism of coloured nets maps the topological space…