The following pages link to (Q3740251):
Displaying 29 items.
- Using transition set sequences to partition behaviors of Petri nets (Q766188) (← links)
- A coalgebraic semantics for causality in Petri nets (Q890619) (← links)
- Partial order behaviour and structure of Petri nets (Q911779) (← links)
- Executability of scenarios in Petri nets (Q1006647) (← links)
- Sequential and concurrent behaviour in Petri net theory (Q1119024) (← links)
- Concurrency and atomicity (Q1124366) (← links)
- Executions: A new partial-order semantics of Petri nets (Q1183595) (← links)
- Petri net semantics of priority systems (Q1190490) (← links)
- A uniform approach to true-concurrency and interleaving semantics for Petri nets (Q1274975) (← links)
- Finite Petri nets as models for recursive causal behaviour (Q1318729) (← links)
- Firing sequences and processes of Petri nets (Q1376685) (← links)
- A Petri nets semantics for data flow networks (Q1894678) (← links)
- On the fluidization of Petri nets and marking homothecy (Q2252988) (← links)
- Bayesian network semantics for Petri nets (Q2286739) (← links)
- Petri nets as semantic domain for diagram notations (Q2848073) (← links)
- A Petri net semantics of a simple process algebra for mobility (Q2852064) (← links)
- ON YEN'S PATH LOGIC FOR PETRI NETS (Q3016216) (← links)
- Comparing Semantics Under Strong Timing of Petri Nets (Q3455089) (← links)
- ON THE EFFICIENT COMPUTATION OF THE MINIMAL COVERABILITY SET OF PETRI NETS (Q3552518) (← links)
- (Q3601872) (← links)
- How Expressive Are Petri Net Schemata? (Q3618706) (← links)
- Unifying Petri Net Semantics with Token Flows (Q3636837) (← links)
- On the semantics of place/transition Petri nets (Q4347377) (← links)
- On occurrence net semantics for petri nets with contacts (Q5055945) (← links)
- A trace semantics for Petri Nets (Q5204350) (← links)
- (Q5422238) (← links)
- (Q5457661) (← links)
- Synthesis and Analysis of Petri Nets from Causal Specifications (Q6487344) (← links)
- M-net Calculus Based Semantics for Triggers (Q6487398) (← links)