The following pages link to A congruence for Petri nets (Q2848079):
Displaying 11 items.
- A lattice-theoretical perspective on adhesive categories (Q631567) (← links)
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← links)
- From Petri nets to automata with concurrency (Q1610275) (← links)
- Place bisimulation and liveness for open Petri nets (Q1660760) (← links)
- Encoding Asynchronous Interactions Using Open Petri Nets (Q3184668) (← links)
- Asynchronous Traces and Open Petri Nets (Q3460864) (← links)
- Open Petri Nets: Non-deterministic Processes and Compositionality (Q3540404) (← links)
- Workshop on Petri Nets and Graph Transformations (Q3540422) (← links)
- Reactive Systems, Barbed Semantics, and the Mobile Ambients (Q3617735) (← links)
- Graphical Conjunctive Queries. (Q5079736) (← links)
- Open Petri nets (Q5139283) (← links)