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