On the enforcement of a class of nonlinear constraints on Petri nets
From MaRDI portal
Publication:1689357
DOI10.1016/J.AUTOMATICA.2015.02.014zbMath1378.93082OpenAlexW2135886503MaRDI QIDQ1689357
Alessandro Giua, YuFeng Chen, Kamel Barkaoui, Zhiwu Li
Publication date: 12 January 2018
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2015.02.014
Nonlinear systems in control theory (93C10) Hierarchical systems (93A13) Discrete event control/observation systems (93C65)
Related Items (13)
Petri net controllers for generalized mutual exclusion constraints with floor operators ⋮ Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs ⋮ Deadlock analysis and control using Petri net decomposition techniques ⋮ An Improved Algorithm for Siphons and Minimal Siphons in Petri Nets Based on Semi-tensor Product of Matrices ⋮ Model-based fault identification of discrete event systems using partially observed Petri nets ⋮ Model identification of unobservable behavior of discrete event systems using Petri nets ⋮ Editorial: Deadlock analysis and control in resource allocation systems ⋮ A survey of siphons in Petri nets ⋮ Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs ⋮ Deadlock recovery for flexible manufacturing systems modeled with Petri nets ⋮ A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems ⋮ Petri net representation and reachability analysis of 0--1 integer linear programming problems ⋮ Design of supervisors for linear marking specifications in labeled Petri nets
Cites Work
- On structural minimality of optimal supervisors for flexible manufacturing systems
- Maximally permissive supervisor synthesis based on a new constraint transformation method
- Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
- Supervision based on place invariants: a survey
- Liveness of an extended S\(^{3}\)PR
- Feedback control of Petri nets based on place invariants
- Comments on ``Maximally permissive supervisor synthesis based on a new constraint transformation method [Automatica 48 (2012), 1097-1101]
- Optimal Linear Separation of the Safe and Unsafe Subspaces of Sequential Resource Allocation Systems as a Set-Covering Problem: Algorithmic Procedures and Geometric Insights
- Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
- Petri net supervisors for DES with uncontrollable and unobservable transitions
- Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case
- Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Nonlinear Case
- Applications and Theory of Petri Nets 2005
This page was built for publication: On the enforcement of a class of nonlinear constraints on Petri nets
