The following pages link to (Q3815533):
Displaying 14 items.
- Step failures semantics and a complete proof system (Q582133) (← links)
- Fairness and partial order semantics (Q672492) (← links)
- Failures semantics based on interval semiwords is a congruence for refinement (Q757073) (← links)
- Executability of scenarios in Petri nets (Q1006647) (← links)
- Executions: A new partial-order semantics of Petri nets (Q1183595) (← links)
- Finite Petri nets as models for recursive causal behaviour (Q1318729) (← links)
- A partial trace semantics for Petri nets (Q1341743) (← links)
- Firing partial orders in a Petri net (Q2117188) (← links)
- Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence) (Q2638769) (← links)
- Partial Order Semantics of Types of Nets (Q3599087) (← links)
- Concurrency, Synchronization, and Conflicts in Petri Nets (Q3602798) (← links)
- Unifying Petri Net Semantics with Token Flows (Q3636837) (← links)
- Pomset Languages of Finite Step Transition Systems (Q3636841) (← links)
- Token trail semantics -- modeling behavior of Petri nets with labeled Petri nets (Q6535197) (← links)