Conference
Non-atomic Transition Firing in Contextual Nets
Abstract
The firing rule for Petri nets assumes instantaneous and simultaneous consumption and creation of tokens. In the context of ordinary Petri nets, this poses no particular problem because of the system’s asynchronicity, even if token creation occurs later than token consumption in the firing. With read arcs, the situation changes, and several different choices of semantics are possible. The step semantics introduced by Janicki and Koutny can be …
Authors
Chatain T; Haar S; Koutny M; Schwoon S
Series
Lecture Notes in Computer Science
Volume
9115
Pagination
pp. 117-136
Publisher
Springer Nature
Publication Date
2015
DOI
10.1007/978-3-319-19488-2_6
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743