Pages that link to "Item:Q1854558"
From MaRDI portal
The following pages link to The box algebra = Petri nets + process expressions (Q1854558):
Displaying 13 items.
- Trapping mutual exclusion in the box calculus (Q672869) (← links)
- 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)
- Communication as unification in the Petri Box Calculus (Q5055902) (← links)
- Lectures on Concurrency and Petri Nets (Q5712296) (← links)
- Compositional process semantics of Petri Boxes (Q5890051) (← links)
- High level expressions with their SOS semantics (Q6044124) (← links)
- Improved implementations via a new structural equivalence on labeled nets (Q6487372) (← links)
- There and back again. On the reconstructability and rediscoverability of typed Jackson nets (Q6535182) (← links)