Complexity results for 1-safe nets (Q672459): Difference between revisions

@@ Property / cites work @@
+Advances in Petri nets 1992
@@ Property / cites work: Advances in Petri nets 1992 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial order behaviour and structure of Petri nets
+Normal rank
@@ Property / cites work @@
+Q4040147
@@ Property / cites work: Q4040147 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773359
@@ Property / cites work: Q3773359 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4268457
@@ Property / cites work: Q4268457 / rank @@
+Normal rank
@@ Property / cites work @@
+Marked directed graphs
@@ Property / cites work: Marked directed graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4035686
@@ Property / cites work: Q4035686 / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking using net unfoldings
@@ Property / cites work: Model checking using net unfoldings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4289279
@@ Property / cites work: Q4289279 / rank @@
+Normal rank
@@ Property / cites work @@
+A polynomial-time algorithm to decide liveness of bounded free choice nets
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Synchronisationsgraphen
@@ Property / cites work: Synchronisationsgraphen / rank @@
+Normal rank
@@ Property / cites work @@
+Q4037382
@@ Property / cites work: Q4037382 / rank @@
+Normal rank
@@ Property / cites work @@
+The equality problem for vector addition systems is undecidable
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness results for conflict-free vector replacement systems
+Normal rank
@@ Property / cites work @@
+Problems concerning fairness and temporal logic for conflict-free Petri nets
+Normal rank
@@ Property / cites work @@
+Deciding true concurrency equivalences on finite safe nets (preliminary report)
+Normal rank
@@ Property / cites work @@
+Complexity of some problems in Petri nets
@@ Property / cites work: Complexity of some problems in Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Properties of Conflict-Free and Persistent Petri Nets
+Normal rank
@@ Property / cites work @@
+An Algorithm for the General Petri Net Reachability Problem
+Normal rank
@@ Property / cites work @@
+Q3771629
@@ Property / cites work: Q3771629 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3911403
@@ Property / cites work: Q3911403 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3670575
@@ Property / cites work: Q3670575 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999014
@@ Property / cites work: Q3999014 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3776635
@@ Property / cites work: Q3776635 / rank @@
+Normal rank