The following pages link to A trace semantics for Petri nets (Q1891167):
Displaying 25 items.
- Comparative trace semantics of time Petri nets (Q300337) (← links)
- 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)
- Event structures and trace monoids (Q1183599) (← links)
- Semi-traces and processes of Petri nets (Q1281591) (← links)
- A partial trace semantics for Petri nets (Q1341743) (← links)
- The word problem for \(1\mathcal{LC}\) congruences is NP-hard. (Q1426452) (← links)
- Trace nets and process automata (Q1902303) (← 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)
- Trace Semantics for IPDL (Q3457701) (← links)
- A Symbolic Algorithm for the Synthesis of Bounded Petri Nets (Q3510859) (← links)
- Pomset Languages of Finite Step Transition Systems (Q3636841) (← links)
- On the semantics of place/transition Petri nets (Q4347377) (← links)
- A trace semantics for Petri Nets (Q5204350) (← links)
- Communicating Sequential Processes. The First 25 Years (Q5709384) (← links)
- Step traces (Q5963403) (← links)
- Synthesis and Analysis of Petri Nets from Causal Specifications (Q6487344) (← links)
