Chapter
Elementary Net Systems
Abstract
This chapter presents two ways of associating causality semantics with en-systems. To start with, concurrency traces can be applied in a direct way to en-systems and their executions captured by firing sequences. The resulting semantical model is based on actions even though Petri nets contain also local state information which is equally significant as that provided by action occurrences. We will therefore present an alternative way of looking …
Authors
Janicki R; Kleijn J; Koutny M; Mikulski Ł
Book title
Studies in Computational Intelligence
Volume
1020
Pagination
pp. 101-135
Publication Date
January 1, 2022
DOI
10.1007/978-3-662-64821-6_5