Deciding the liveness for a subclass of weighted Petri nets based on structurally circular wait (Q2798480): 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.2014.938788
+Normal rank
@@ Property / OpenAlex ID @@
+W2093524741
@@ Property / OpenAlex ID: W2093524741 / 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 @@
+Complexity results for 1-safe nets
@@ Property / cites work: Complexity results for 1-safe nets / rank @@
+Normal rank
@@ Property / cites work @@
+The Resource Allocation Problem in 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 @@
+A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets
+Normal rank
@@ Property / cites work @@
+Necessary and sufficient liveness condition of GS<sup>3</sup>PR Petri nets
+Normal rank
@@ Property / cites work @@
+Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
+Normal rank
@@ Property / cites work @@
+Understanding Petri Nets
@@ Property / cites work: Understanding Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Real-time management of resource allocation systems. A discrete event systems approach.
+Normal rank
@@ Property / cites work @@
+Soundness of workflow nets: classification, decidability, and analysis
+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
@@ Property / cites work @@
+Q5702331
@@ Property / cites work: Q5702331 / rank @@
+Normal rank