The following pages link to (Q3746897):
Displaying 18 items.
- Process versus unfolding semantics for Place/Transition Petri nets (Q672872) (← links)
- On the border of causality: contact and confusion (Q672875) (← links)
- Partial (set) 2-structures. I: Basic notions and the representation problems (Q911307) (← links)
- Partial (set) 2-structures. II: State spaces of concurrent systems (Q911308) (← links)
- Some behavioural aspects of net theory (Q913516) (← links)
- Typed event structures and the linear \(\pi \)-calculus (Q964488) (← links)
- An algebraic characterization of independence of Petri net processes (Q1028983) (← links)
- A characterization of set representable labeled partial 2-structures through decompositions (Q1173685) (← links)
- Event structures and trace monoids (Q1183599) (← links)
- Confusion control in generalized Petri nets using synchronized events (Q1666205) (← links)
- A generic causal model for place latency. (Q1853520) (← links)
- Confusion analysis and detection for workflow nets (Q2321511) (← links)
- An interpretation of CCS into ludics (Q2333316) (← links)
- Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence) (Q2638769) (← links)
- Probabilistic π-Calculus and Event Structures (Q2870289) (← links)
- Petri nets based on Lawvere theories (Q3386752) (← links)
- On occurrence net semantics for petri nets with contacts (Q5055945) (← links)
- Causal behaviours and nets (Q5096367) (← links)
