Axiomatizing Petri net concatenable processes
From MaRDI portal
Publication:5055915
DOI10.1007/3-540-60249-6_73OpenAlexW1607043737MaRDI QIDQ5055915
Publication date: 9 December 2022
Published in: Fundamentals of Computation Theory (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-60249-6_73
Related Items
An axiomatization of the algebra of Petri net concatenable processes, Process versus unfolding semantics for Place/Transition Petri nets
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Petri nets are monoids
- Sequential and concurrent behaviour in Petri net theory
- On MacLane's conditions for coherence of natural associativities, commutativities, etc
- The non-sequential behaviour of Petri nets
- Categorical algebra
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES