The following pages link to (Q4499237):
Displaying 5 items.
- Process versus unfolding semantics for Place/Transition Petri nets (Q672872) (← links)
- Normal forms for algebras of connections. (Q1853455) (← links)
- Functorial models for Petri nets (Q1854467) (← links)
- Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework (Q4923514) (← links)
- GETGRATS (Q4923529) (← links)
