Pages that link to "Item:Q5712281"
From MaRDI portal
The following pages link to Lectures on Concurrency and Petri Nets (Q5712281):
Displaying 7 items.
- Reconfiguring system hierarchies with multi-valued logic (Q334216) (← links)
- A structural approach to graph transformation based on symmetric Petri nets (Q2035652) (← links)
- Multi-valued logic in graph transformation theory and self-adaptive systems (Q2294579) (← links)
- Transformation of variants of Petri nets into context-dependent fusion grammars (Q2672655) (← links)
- Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs (Q2947214) (← links)
- Model Checking Reconfigurable Petri Nets with Maude (Q3187803) (← links)
- Nested Petri Nets for Adaptive Process Modeling (Q5452192) (← links)