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 10 items.
- Extensional Petri net (Q667521) (← links)
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← links)
- A compositional dataflow semantics for Petri nets (Q1902302) (← links)
- ITL semantics of composite Petri nets (Q1936232) (← links)
- Operational semantics for Petri net components (Q2373704) (← links)
- Composition of software artifacts modelled using colored Petri nets (Q2485114) (← links)
- Petri net reactive modules (Q2503287) (← links)
- Open Petri Nets: Non-deterministic Processes and Compositionality (Q3540404) (← links)
- (Q4782071) (← links)
- A Compositional Petri Net Semantics for SDL (Q6487390) (← links)