The fundamental closed-form solution of control-related states ofkth order S3PR system with left-side non-sharing resource places of Petri nets
From MaRDI portal
Publication:2792707
DOI10.1080/00207179.2015.1063164zbMath1332.93256OpenAlexW2277790092MaRDI QIDQ2792707
Daniel Yuh Chao, Tsung Hsien Yu
Publication date: 14 March 2016
Published in: International Journal of Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/00207179.2015.1063164
Production models (90B30) Discrete event control/observation systems (93C65) Large-scale systems (93A15)
Related Items (2)
Topological reverse mirroring: a new efficient knowledge-based methodology of reachability analysis for Petri nets ⋮ Resource failure and buffer space allocation control for automated manufacturing systems
Uses Software
Cites Work
- Further reduction of minimal first-met bad markings for the computationally efficient synthesis of a maximally permissive controller
- Enumeration of reachable (forbidden, live and deadlock) states ofkth order system of Petri nets
- Recursive solution of number of reachable states of a simple subclass of FMS
- Reachability analysis in T-invariant-less petri nets
- Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case
- On the reachability and reversibility problems in a class of Petri nets
This page was built for publication: The fundamental closed-form solution of control-related states ofkth order S3PR system with left-side non-sharing resource places of Petri nets
