Structuring acyclic Petri nets for reachability analysis and control
From MaRDI portal
Publication:5959841
DOI10.1023/A:1013331703036zbMath0995.93051OpenAlexW1527839149MaRDI QIDQ5959841
Publication date: 11 April 2002
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1013331703036
Hierarchical systems (93A13) Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Attainable sets, reachability (93B03)
Related Items (7)
Modeling, simulation, estimation and boundedness analysis of discrete event systems ⋮ Supervision based on place invariants: a survey ⋮ Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications ⋮ Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm ⋮ Diagnosis of Partially Observed Petri Net Based on Analytical Redundancy Relationships ⋮ On Compositionality of Dinatural Transformations ⋮ Diagnosis on a sliding window for partially observable Petri nets
This page was built for publication: Structuring acyclic Petri nets for reachability analysis and control
