Pages that link to "Item:Q1606123"
From MaRDI portal
The following pages link to Analysis issues in Petri nets with inhibitor arcs (Q1606123):
Displayed 8 items.
- Step coverability algorithms for communicating systems (Q433351) (← links)
- Petri nets for modelling metabolic pathways: a survey (Q609029) (← links)
- Reduction rules for reset/inhibitor nets (Q847264) (← links)
- Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS (Q1007235) (← links)
- A theory of structural stationarity in the \(\pi\)-calculus (Q1014276) (← links)
- Property analysis of logic Petri nets by marking reachability graphs (Q2515425) (← links)
- Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs (Q2947214) (← links)
- Nadia Busi's publications (Q3655765) (← links)