Concurrency, Synchronization, and Conflicts in Petri Nets (Q3602798): Difference between revisions

@@ Property / cites work @@
+Separability in Conflict-Free Petri Nets
@@ Property / cites work: Separability in Conflict-Free Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737906
@@ Property / cites work: Q4737906 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent regular expressions and their relationship to Petri nets
+Normal rank
@@ Property / cites work @@
+The equality problem for vector addition systems is undecidable
+Normal rank
@@ Property / cites work @@
+Q5422237
@@ Property / cites work: Q5422237 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3911403
@@ Property / cites work: Q3911403 / rank @@
+Normal rank
@@ Property / cites work @@
+The covering and boundedness problems for vector addition systems
+Normal rank
@@ Property / cites work @@
+Q3219122
@@ Property / cites work: Q3219122 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential versus concurrent languages of labeled conflict-free Petri nets
+Normal rank