Home
Scholarly Works
Elementary Net Systems with Activator and Mutex...
Chapter

Elementary Net Systems with Activator and Mutex Arcs

Abstract

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.

Authors

Janicki R; Kleijn J; Koutny M; Mikulski Ł

Book title

Studies in Computational Intelligence

Volume

1020

Pagination

pp. 243-275

Publication Date

January 1, 2022

DOI

10.1007/978-3-662-64821-6_9
View published work (Non-McMaster Users)

Contact the Experts team