Petri nets and regular processes (Q1970202): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1006/jcss.1999.1643
+Normal rank
@@ Property / OpenAlex ID @@
+W2026927709
@@ Property / OpenAlex ID: W2026927709 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59556982
@@ Property / Wikidata QID: Q59556982 / rank @@
+Normal rank
@@ Property / cites work @@
+The equality problem for vector addition systems is undecidable
+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 @@
+Q4525284
@@ Property / cites work: Q4525284 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4490743
@@ Property / cites work: Q4490743 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of a temporal logic problem for Petri nets
+Normal rank
@@ Property / cites work @@
+Undecidability of bisimilarity for Petri nets and some related problems
+Normal rank
@@ Property / cites work @@
+Q4436352
@@ Property / cites work: Q4436352 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonprimitive recursive complexity and undecidability for Petri net equivalences
+Normal rank
@@ Property / cites work @@
+Q4818859
@@ Property / cites work: Q4818859 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding bisimulation-like equivalences with finite-state processes
+Normal rank
@@ Property / cites work @@
+An Algorithm for the General Petri Net Reachability Problem
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Nets, Terms and Formulas
@@ Property / cites work: Nets, Terms and Formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Q3911403
@@ Property / cites work: Q3911403 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets and regular languages
@@ Property / cites work: Petri nets and regular languages / rank @@
+Normal rank