Undecidability of performance equivalence of Petri nets (Q507373): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2016.01.034
@@ Property / DOI: 10.1016/j.tcs.2016.01.034 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6680832
@@ Property / zbMATH DE Number: 6680832 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Petri nets
@@ Property / zbMATH Keywords: Petri nets / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+bisimulation equivalence
@@ Property / zbMATH Keywords: bisimulation equivalence / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+performance equivalence
@@ Property / zbMATH Keywords: performance equivalence / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2963269395
@@ Property / OpenAlex ID: W2963269395 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.5819
@@ Property / arXiv ID: 0910.5819 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4508291
@@ Property / cites work: Q4508291 / rank @@
+Normal rank
@@ Property / cites work @@
+The Reachability Problem for Vector Addition System with One Zero-Test
+Normal rank
@@ Property / cites work @@
+Q2760246
@@ Property / cites work: Q2760246 / rank @@
+Normal rank
@@ Property / cites work @@
+On performance congruences for process algebras
@@ Property / cites work: On performance congruences for process algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Performance preorder and competitive equivalence
@@ Property / cites work: Performance preorder and competitive equivalence / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of processes with durational actions
@@ Property / cites work: A theory of processes with durational actions / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of bisimilarity for Petri nets and some related problems
+Normal rank
@@ Property / cites work @@
+Q4484511
@@ Property / cites work: Q4484511 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2003
@@ Property / cites work: Mathematical Foundations of Computer Science 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of performance equivalence for basic parallel processes
+Normal rank
@@ Property / cites work @@
+Nets with Tokens Which Carry Data
@@ Property / cites work: Nets with Tokens Which Carry Data / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability in Petri Nets with Inhibitor Arcs
@@ Property / cites work: Reachability in Petri Nets with Inhibitor Arcs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736869
@@ Property / cites work: Q4736869 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2016.01.034
@@ Property / DOI: 10.1016/J.TCS.2016.01.034 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:507373