Complete Process Semantics for Inhibitor Nets

DOI10.1007/978-3-540-73094-1_13MaRDI QIDQ3612933zbMATH OpenOpenAlexFDO

Authors Gabriel Juhás, Robert Lorenz, Sebastian Mauser

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)

Recommendations

• scientific article; zbMATH DE number 5506906
• Process semantics of general inhibitor nets
• scientific article; zbMATH DE number 1696460
• scientific article; zbMATH DE number 1927584
• Infinite Process Semantics of Inhibitor Nets

Cited in

(9)

• Executability of scenarios in Petri nets
• Interval semantics for Petri nets with inhibitor arcs
• Fault model identification and synthesis in Petri nets
• scientific article; zbMATH DE number 1696460 (Why is no real title available?)
• On interval process semantics of Petri nets with inhibitor arcs
• Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios
• Infinite Process Semantics of Inhibitor Nets
• scientific article; zbMATH DE number 1927584 (Why is no real title available?)
• Process semantics of general inhibitor nets

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3612933)