The following pages link to Functorial models for Petri nets (Q1854467):
Displaying 13 items.
- A framework for the verification of infinite-state graph transformation systems (Q937301) (← links)
- Petri nets are dioids: a new algebraic foundation for non-deterministic net theory (Q1713413) (← links)
- Bayesian network semantics for Petri nets (Q2286739) (← links)
- A Normal Form for Stateful Connectors (Q2945707) (← links)
- Executions in (Semi-)Integer Petri Nets are Compact Closed Categories (Q3385632) (← links)
- Petri nets based on Lawvere theories (Q3386752) (← links)
- Ugo Montanari and Concurrency Theory (Q3507376) (← links)
- Models of Computation: A Tribute to Ugo Montanari’s Vision (Q3507385) (← links)
- Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework (Q4923514) (← links)
- GETGRATS (Q4923529) (← links)
- Open Petri nets (Q5139283) (← links)
- A compositional framework for reaction networks (Q5370837) (← links)
- Whole-grain Petri nets and processes (Q6567261) (← links)
