Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets (Q6137873): Difference between revisions

@@ Property / OpenAlex ID @@
+W3158514776
@@ Property / OpenAlex ID: W3158514776 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential and concurrent behaviour in Petri net theory
+Normal rank
@@ Property / cites work @@
+Concurrent bisimulations in Petri nets
@@ Property / cites work: Concurrent bisimulations in Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+A coalgebraic semantics for causality in Petri nets
+Normal rank
@@ Property / cites work @@
+Revisiting causality, coalgebraically
@@ Property / cites work: Revisiting causality, coalgebraically / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733427
@@ Property / cites work: Q4733427 / rank @@
+Normal rank
@@ Property / cites work @@
+Branching processes of Petri nets
@@ Property / cites work: Branching processes of Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247290
@@ Property / cites work: Q4247290 / rank @@
+Normal rank
@@ Property / cites work @@
+Interleaving vs True Concurrency: Some Instructive Security Examples
+Normal rank
@@ Property / cites work @@
+A study on team bisimulation and H-team bisimulation for BPP nets
+Normal rank
@@ Property / cites work @@
+The non-sequential behaviour of Petri nets
@@ Property / cites work: The non-sequential behaviour of Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of bisimilarity for Petri nets and some related problems
+Normal rank
@@ Property / cites work @@
+Deciding true concurrency equivalences on safe, finite nets
+Normal rank
@@ Property / cites work @@
+Petri nets are monoids
@@ Property / cites work: Petri nets are monoids / rank @@
+Normal rank
@@ Property / cites work @@
+On the semantics of place/transition Petri nets
@@ Property / cites work: On the semantics of place/transition Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent systems and inevitability
@@ Property / cites work: Concurrent systems and inevitability / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal transition systems for history-preserving bisimulation
+Normal rank
@@ Property / cites work @@
+Nets, Terms and Formulas
@@ Property / cites work: Nets, Terms and Formulas / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP
+Normal rank
@@ Property / cites work @@
+Q3975146
@@ Property / cites work: Q3975146 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036588
@@ Property / cites work: Q4036588 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized OM-bisimulation
@@ Property / cites work: Generalized OM-bisimulation / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6137873