Pages that link to "Item:Q2941144"
From MaRDI portal
The following pages link to On Interval Process Semantics of Petri Nets with Inhibitor Arcs (Q2941144):
Displaying 7 items.
- Modeling concurrency with interval traces (Q515576) (← links)
- Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS (Q1007235) (← links)
- Analysis issues in Petri nets with inhibitor arcs (Q1606123) (← links)
- Interval semantics for Petri nets with inhibitor arcs (Q1749475) (← links)
- Domain and event structure semantics for Petri nets with read and inhibitor arcs (Q1882900) (← links)
- Infinite Process Semantics of Inhibitor Nets (Q3618709) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712345) (← links)