Semantics of Inhibitor Nets

• 1 November 1995
• journal article
• Published by Elsevier in Information and Computation
• Vol. 123  (1) , 1-16
• https://doi.org/10.1006/inco.1995.1153

Abstract

Keywords

• INHIBITOR NET
• STRATIFICATION
• FORMAL SEMANTICS
• OPERATIONAL SEMANTICS
• PARTIAL ORDERING
• CONCURRENCY
• CAUSALITY
• SYSTEM MODELING
• PETRI NETS
• PARTIAL ORDER