Pages that link to "Item:Q1606123"
From MaRDI portal
The following pages link to Analysis issues in Petri nets with inhibitor arcs (Q1606123):
Displayed 6 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)
- Nadia Busi's publications (Q3655765) (← links)