Pages that link to "Item:Q5901470"
From MaRDI portal
The following pages link to Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets (Q5901470):
Displaying 6 items.
- Towards ``mouldable code'' via nested code graph transformation (Q406453) (← links)
- Extensional Petri net (Q667521) (← links)
- A formal verification technique for behavioural model-to-model transformations (Q682361) (← links)
- Coalgebraic Symbolic Semantics (Q2888486) (← links)
- Transformations in Reconfigurable Place/Transition Systems (Q3507359) (← links)
- Open Petri Nets: Non-deterministic Processes and Compositionality (Q3540404) (← links)
