Pages that link to "Item:Q3612928"
From MaRDI portal
The following pages link to Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems (Q3612928):
Displayed 6 items.
- Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs (Q2947214) (← links)
- Model Checking Reconfigurable Petri Nets with Maude (Q3187803) (← links)
- Transformations in Reconfigurable Place/Transition Systems (Q3507359) (← links)
- Oclets – Scenario-Based Modeling with Petri Nets (Q3636847) (← links)
- Modular rewritable Petri nets: an efficient model for dynamic distributed systems (Q6120343) (← links)
- Canonization of reconfigurable PT nets in \texttt{Maude} (Q6173110) (← links)