Elementary Net Systems with Activator and Mutex Arcs

The original model of Petri nets over the years has been extended in several directions, often by adding new types of connections (arcs) between places and transitions, e.g., inhibitor and activator arcs. In this chapter, we will extend the model of en-systems by adding activator and mutex arcs, aiming to retain as much as possible of the notations and results concerning en-systems and their concurrency semantics. We conclude by relating the semantical domains that we have associated with en-systems with activator and mutex arcs.