Marking fairness in Petri nets (Q1076520): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Fairness and conspiracies
@@ Property / cites work: Fairness and conspiracies / rank @@
+Normal rank
@@ Property / cites work @@
+Q3879197
@@ Property / cites work: Q3879197 / rank @@
+Normal rank
@@ Property / cites work @@
+The equality problem for vector addition systems is undecidable
+Normal rank
@@ Property / cites work @@
+Q3657417
@@ Property / cites work: Q3657417 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922147
@@ Property / cites work: Q3922147 / rank @@
+Normal rank