Process semantics of P/T-nets with inhibitor arcs

DOI10.1007/3-540-44988-4_16MaRDI QIDQ2766567zbMATH OpenFDO

Authors Maciej Koutny, Jetty Kleijn

Publication date 17 June 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44988-4_16

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Process semantics of general inhibitor nets
• Complete Process Semantics for Inhibitor Nets
• Causality semantics of Petri nets with weighted inhibitor arcs
• Infinite Process Semantics of Inhibitor Nets
• scientific article; zbMATH DE number 1435983

Cited in

(13)

• Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS
• Interval semantics for Petri nets with inhibitor arcs
• Domain and event structure semantics for Petri nets with read and inhibitor arcs
• On interval process semantics of Petri nets with inhibitor arcs
• Complete Process Semantics for Inhibitor Nets
• Infinite Process Semantics of Inhibitor Nets
• Causality semantics of Petri nets with weighted inhibitor arcs
• Modeling Petri Nets by Local Action Systems1 1Partially supported by the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems) and Esprit Working Group APPLIGRAPH through Universitaire Instelling Antwerpen.
• Unifying Petri nets with restricted occurrence rule using partial algebra
• scientific article; zbMATH DE number 1435983 (Why is no real title available?)
• Process semantics of general inhibitor nets
• Transition systems of Elementary Net Systems with inhibitor arcs
• Relational structures model of concurrency

This page was built for publication: Process semantics of P/T-nets with inhibitor arcs

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