The following pages link to (Q4461748):
Displaying 5 items.
- Timed mobility in process algebra and Petri nets (Q638567) (← links)
- A compositional Petri net translation of general \(\pi\)-calculus terms (Q939164) (← links)
- M-nets: a survey (Q1006339) (← links)
- Nested-unit Petri nets (Q2423743) (← links)
- Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets (Q2941150) (← links)