The following pages link to (Q2766567):
Displaying 7 items.
- Process semantics of general inhibitor nets (Q598184) (← links)
- Relational structures model of concurrency (Q934912) (← links)
- Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS (Q1007235) (← links)
- Domain and event structure semantics for Petri nets with read and inhibitor arcs (Q1882900) (← links)
- Infinite Process Semantics of Inhibitor Nets (Q3618709) (← links)
- 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. (Q4921556) (← links)
- Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra (Q4923515) (← links)