Pages that link to "Item:Q1749475"
From MaRDI portal
The following pages link to Interval semantics for Petri nets with inhibitor arcs (Q1749475):
Displaying 7 items.
- 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)
- Domain and event structure semantics for Petri nets with read and inhibitor arcs (Q1882900) (← links)
- Semantics of inhibitor nets (Q2508333) (← links)
- Infinite Process Semantics of Inhibitor Nets (Q3618709) (← links)
- Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets (Q5500572) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712345) (← links)