The following pages link to (Q2766567):
Displayed 5 items.
- Process semantics of general inhibitor nets (Q598184) (← links)
- Relational structures model of concurrency (Q934912) (← links)
- Domain and event structure semantics for Petri nets with read and inhibitor arcs (Q1882900) (← 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)