Pages that link to "Item:Q1183595"
From MaRDI portal
The following pages link to Executions: A new partial-order semantics of Petri nets (Q1183595):
Displaying 7 items.
- Process semantics of general inhibitor nets (Q598184) (← links)
- Towards reasoning about Petri nets: a propositional dynamic logic based approach (Q1786561) (← links)
- Abstract processes of place/transition systems (Q1944098) (← links)
- Abstract processes and conflicts in place/transition systems (Q2051771) (← links)
- Modal algebra and Petri nets (Q2340252) (← links)
- Branching Processes of General Petri Nets (Q3011885) (← links)
- On Causal Semantics of Petri Nets (Q3090821) (← links)
