Necessary and sufficient liveness condition of GS3PR Petri nets (Q5252903): Difference between revisions

@@ 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.1080/00207721.2013.827257
+Normal rank
@@ Property / OpenAlex ID @@
+W3004468380
@@ Property / OpenAlex ID: W3004468380 / rank @@
+Normal rank
@@ Property / cites work @@
+On the lower bound of monitor solutions of maximally permissive supervisors for a subclass α-S<sup>3</sup>PR of flexible manufacturing systems
+Normal rank
@@ Property / cites work @@
+Recursive solution of number of reachable states of a simple subclass of FMS
+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 @@
+Controllability of control and mixture weakly dependent siphons in S<sup>3</sup>PR
+Normal rank
@@ Property / cites work @@
+Analysis of deadlock and circular waits using a matrix model for flexible manufacturing systems
+Normal rank
@@ Property / cites work @@
+Robustness of deadlock control for a class of Petri nets with unreliable resources
+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 @@
+Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
+Normal rank
@@ Property / cites work @@
+Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming
+Normal rank

Necessary and sufficient liveness condition of GS<sup>3</sup>PR Petri nets (Q5252903): Difference between revisions

Latest revision as of 04:54, 10 July 2024

Statements

Identifiers

Sitelinks

Mathematics(1 entry)