Synthesis of Elementary Net Systems with Context Arcs and Localities
From MaRDI portal
Publication:3612939
DOI10.1007/978-3-540-73094-1_18zbMath1226.68061MaRDI QIDQ3612939
Maciej Koutny, Marta Pietkiewicz-Koutny
Publication date: 11 March 2009
Published in: Petri Nets and Other Models of Concurrency – ICATPN 2007 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73094-1_18
Petri nets; transition systems; localities; theory of regions; elementary net systems; step sequence semantics; inhibitor arcs; theory of concurrency; net synthesis; activator arcs; context arcs; structure and behaviour of nets
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items