Deadlock avoidance in an automated guidance vehicle system using a coloured Petri net model (Q4443374): Difference between revisions

@@ Property / cites work @@
+Coloured Petri nets and the invariant-method
@@ Property / cites work: Coloured Petri nets and the invariant-method / rank @@
+Normal rank
@@ Property / cites work @@
+Conflict-free shortest-time bidirectional AGV routeing
+Normal rank
@@ Property / cites work @@
+Deadlock prediction and avoidance based on Petri nets for zone-control automated guided vehicle systems
+Normal rank
@@ Property / cites work @@
+Q3911403
@@ Property / cites work: Q3911403 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems
+Normal rank
@@ Property / cites work @@
+Deadlock prediction and avoidance for zone-control AGVS
+Normal rank