Complete Process Semantics for Inhibitor Nets

DOI10.1007/978-3-540-73094-1_13zbMath1226.68056OpenAlexW1550861479MaRDI QIDQ3612933

Sebastian Mauser, Gabriel Juhás, Robert Lorenz

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://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-560806

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

On Interval Process Semantics of Petri Nets with Inhibitor Arcs ⋮ Interval semantics for Petri nets with inhibitor arcs ⋮ Executability of scenarios in Petri nets ⋮ Fault model identification and synthesis in Petri nets

This page was built for publication: Complete Process Semantics for Inhibitor Nets