On the enforcement of a class of nonlinear constraints on Petri nets (Q1689357): Difference between revisions

@@ Property / author @@
+Zhiwu Li
@@ Property / author: Zhiwu Li / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.automatica.2015.02.014
+Normal rank
@@ Property / OpenAlex ID @@
+W2135886503
@@ Property / OpenAlex ID: W2135886503 / rank @@
+Normal rank
@@ Property / cites work @@
+Applications and Theory of Petri Nets 2005
@@ Property / cites work: Applications and Theory of Petri Nets 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
+Normal rank
@@ Property / cites work @@
+On structural minimality of optimal supervisors for flexible manufacturing systems
+Normal rank
@@ Property / cites work @@
+Supervision based on place invariants: a survey
@@ Property / cites work: Supervision based on place invariants: a survey / rank @@
+Normal rank
@@ Property / cites work @@
+Liveness of an extended S\(^{3}\)PR
@@ Property / cites work: Liveness of an extended S\(^{3}\)PR / rank @@
+Normal rank
@@ Property / cites work @@
+Maximally permissive supervisor synthesis based on a new constraint transformation method
+Normal rank
@@ Property / cites work @@
+Comments on ``Maximally permissive supervisor synthesis based on a new constraint transformation method'' [Automatica 48 (2012), 1097-1101]
+Normal rank
@@ Property / cites work @@
+Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
+Normal rank
@@ Property / cites work @@
+Petri net supervisors for DES with uncontrollable and unobservable transitions
+Normal rank
@@ Property / cites work @@
+Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Nonlinear Case
+Normal rank
@@ Property / cites work @@
+Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case
+Normal rank
@@ Property / cites work @@
+Optimal Linear Separation of the Safe and Unsafe Subspaces of Sequential Resource Allocation Systems as a Set-Covering Problem: Algorithmic Procedures and Geometric Insights
+Normal rank
@@ Property / cites work @@
+Feedback control of Petri nets based on place invariants
+Normal rank