Pages that link to "Item:Q6487378"
From MaRDI portal
The following pages link to A compositional partial order semantics for Petri net components (Q6487378):
Displaying 5 items.
- Extensional Petri net (Q667521) (← links)
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← links)
- Operational semantics for Petri net components (Q2373704) (← links)
- Petri net reactive modules (Q2503287) (← links)
- Open Petri Nets: Non-deterministic Processes and Compositionality (Q3540404) (← links)
