The following pages link to (Q4942095):
Displaying 5 items.
- Towards the Verification of Attributed Graph Transformation Systems (Q3540407) (← links)
- Formal relationship between graph grammars and Petri nets (Q4645283) (← links)
- Algebraic high-level net transformation systems (Q4856661) (← links)
- Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework (Q4923514) (← links)
- A decade of TAPSOFT (Q5096723) (← links)