Optimal Petri net supervisor synthesis for forbidden state problems using marking mask (Q2656745): Difference between revisions

@@ Property / author @@
+YuFeng Chen
@@ Property / author: YuFeng Chen / rank @@
+Normal rank
@@ Property / author @@
+NaiQi Wu
@@ Property / author: NaiQi Wu / 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.ins.2019.07.008
+Normal rank
@@ Property / OpenAlex ID @@
+W2956599543
@@ Property / OpenAlex ID: W2956599543 / rank @@
+Normal rank
@@ Property / cites work @@
+On forbidden state problems for a class of controlled Petri nets
+Normal rank
@@ Property / cites work @@
+Introduction to Petri Nets
@@ Property / cites work: Introduction to Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Reduction of constraints for controller synthesis based on safe Petri nets
+Normal rank
@@ Property / cites work @@
+Controller Synthesis with Highly Simplified Linear Constraints
+Normal rank
@@ Property / cites work @@
+Supervisory control of state-tree structures with partial observation
+Normal rank
@@ Property / cites work @@
+Synthesis of feedback control logic for a class of controlled Petri nets
+Normal rank
@@ Property / cites work @@
+Modular transformation methods for generalized Petri nets and their application to automated manufacturing systems
+Normal rank
@@ Property / cites work @@
+Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
+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 @@
+Q3911403
@@ Property / cites work: Q3911403 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular Feedback Logic for Discrete Event Systems
@@ Property / cites work: Modular Feedback Logic for Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+A stochastic petri net with applications to modelling occupancy times for concurrent task systems
+Normal rank
@@ Property / cites work @@
+Feedback control of Petri nets based on place invariants
+Normal rank
@@ Property / cites work @@
+Petri net-based approach to short-term scheduling of crude oil operations with less tank requirement
+Normal rank