Pages that link to "Item:Q5712287"
From MaRDI portal
The following pages link to Lectures on Concurrency and Petri Nets (Q5712287):
Displaying 6 items.
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← links)
- Pure bigraphs: structure and dynamics (Q2490119) (← links)
- Encoding Asynchronous Interactions Using Open Petri Nets (Q3184668) (← links)
- Asynchronous Traces and Open Petri Nets (Q3460864) (← links)
- Workshop on Petri Nets and Graph Transformations (Q3540422) (← links)
- Reactive Systems, Barbed Semantics, and the Mobile Ambients (Q3617735) (← links)