Pages that link to "Item:Q1854558"
From MaRDI portal
The following pages link to The box algebra = Petri nets + process expressions (Q1854558):
Displayed 6 items.
- Nested-unit Petri nets (Q2423743) (← links)
- A Chart Semantics for the Pi-Calculus (Q2864369) (← links)
- Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets (Q2941150) (← links)
- Transformations in Reconfigurable Place/Transition Systems (Q3507359) (← links)
- Calculi of net structures and sets are similar (Q3515462) (← links)
- Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis (Q5025057) (← links)