Pages that link to "Item:Q3507359"
From MaRDI portal
The following pages link to Transformations in Reconfigurable Place/Transition Systems (Q3507359):
Displaying 6 items.
- Towards algebraic high-level systems as weak adhesive HLR categories (Q2864378) (← links)
- Adhesivity with partial maps instead of spans (Q2898462) (← links)
- Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs (Q2947214) (← links)
- (Q3701268) (← links)
- Automated Technology for Verification and Analysis (Q5394198) (← links)
- Modular rewritable Petri nets: an efficient model for dynamic distributed systems (Q6120343) (← links)