The following pages link to A trace semantics for Petri nets (Q1891167):
Displaying 16 items.
- Mind the gap: expanding communication options in decentralized discrete-event control (Q646415) (← links)
- An event structure semantics for general Petri nets (Q672871) (← links)
- Regions of Petri nets with a/sync connections (Q714824) (← links)
- Applying regions (Q728281) (← links)
- The word problem for \(1\mathcal{LC}\) congruences is NP-hard. (Q1426452) (← links)
- Abstract processes of place/transition systems (Q1944098) (← links)
- Relational structures for concurrent behaviours (Q1998872) (← links)
- Abstract processes and conflicts in place/transition systems (Q2051771) (← links)
- Abstract processes in the absence of conflicts in general place/transition systems (Q2105420) (← links)
- Distributed synthesis of asynchronously communicating distributed process models (Q2163771) (← links)
- Classifying invariant structures of step traces (Q2424691) (← links)
- On Causal Semantics of Petri Nets (Q3090821) (← links)
- A Symbolic Algorithm for the Synthesis of Bounded Petri Nets (Q3510859) (← links)
- Pomset Languages of Finite Step Transition Systems (Q3636841) (← links)
- A trace semantics for Petri Nets (Q5204350) (← links)
- Step traces (Q5963403) (← links)
