A well-structured framework for analysing Petri net extensions (Q1763373): Difference between revisions

@@ Property / DOI @@
-.1016/j.ic.2004.01.005
@@ Property / DOI: 10.1016/j.ic.2004.01.005 / rank @@
-Normal rank
@@ Property / cites work @@
+Some decision problems related to the reachability problem for Petri nets
+Normal rank
@@ Property / cites work @@
+Petri nets: central models and their properties. Advances in Petri nets 1986, Part I. Proceedings of an advanced course, Bad Honnef, September 8--19, 1986
+Normal rank
@@ Property / cites work @@
+Q3619797
@@ Property / cites work: Q3619797 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219024
@@ Property / cites work: Q4219024 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771630
@@ Property / cites work: Q3771630 / rank @@
+Normal rank
@@ Property / cites work @@
+Reduction and covering of infinite reachability trees
+Normal rank
@@ Property / cites work @@
+Well-structured transition systems everywhere!
@@ Property / cites work: Well-structured transition systems everywhere! / rank @@
+Normal rank
@@ Property / cites work @@
+Ordering by Divisibility in Abstract Algebras
@@ Property / cites work: Ordering by Divisibility in Abstract Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q5508985
@@ Property / cites work: Q5508985 / rank @@
+Normal rank
@@ Property / cites work @@
+Remarks on blind and partially blind one-way multicounter machines
+Normal rank
@@ Property / cites work @@
+Q4023496
@@ Property / cites work: Q4023496 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel program schemata
@@ Property / cites work: Parallel program schemata / rank @@
+Normal rank
@@ Property / cites work @@
+Bounds for permanents of non-negative matrices
@@ Property / cites work: Bounds for permanents of non-negative matrices / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221403
@@ Property / cites work: Q3221403 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3911403
@@ Property / cites work: Q3911403 / rank @@
+Normal rank
@@ Property / cites work @@
+Classes of Recursively Enumerable Sets and Their Decision Problems
+Normal rank
@@ Property / cites work @@
+Q4405301
@@ Property / cites work: Q4405301 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3051391
@@ Property / cites work: Q3051391 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3933750
@@ Property / cites work: Q3933750 / rank @@
+Normal rank
@@ Property / cites work @@
+The residue of vector sets with applications to decidability problems in Petri nets
+Normal rank
@@ Property / DOI @@
+.1016/J.IC.2004.01.005
@@ Property / DOI: 10.1016/J.IC.2004.01.005 / rank @@
+Normal rank