Analysis issues in Petri nets with inhibitor arcs
From MaRDI portal
Publication:1606123
DOI10.1016/S0304-3975(01)00127-XzbMath1026.68097MaRDI QIDQ1606123
Publication date: 31 July 2002
Published in: Theoretical Computer Science (Search for Journal in Brave)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
A PO characterisation of reconfiguration, Step coverability algorithms for communicating systems, Petri nets for modelling metabolic pathways: a survey, Reduction rules for reset/inhibitor nets, Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS, A theory of structural stationarity in the \(\pi\)-calculus, A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models, Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis, Property analysis of logic Petri nets by marking reachability graphs, Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs, Nadia Busi's publications
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Complexity results for 1-safe nets
- A calculus of mobile processes. II
- On the expressiveness of Linda coordination primitives.
- Contextual nets
- Decidability of model checking for infinite-state concurrent systems
- Semantics of inhibitor nets
- Parallel program schemata
- An Algorithm for the General Petri Net Reachability Problem
- Free Choice Petri Nets
- Computability of Recursive Functions