The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems (Q5166766): Difference between revisions

@@ Property / cites work @@
+Models for concurrency: Towards a classification
@@ Property / cites work: Models for concurrency: Towards a classification / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4372017
@@ Property / cites work: Q4372017 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets, event structures and domains. I
@@ Property / cites work: Petri nets, event structures and domains. I / rank @@
+Normal rank
@@ Property / cites work @@
+On Profiles and Footprints – Relational Semantics for Petri 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 @@
+Persistence of vector replacement systems is decidable
+Normal rank
@@ Property / cites work @@
+The covering and boundedness problems for vector addition systems
+Normal rank
@@ Property / cites work @@
+Concurrent bisimulations in Petri nets
@@ Property / cites work: Concurrent bisimulations in Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4270072
@@ Property / cites work: Q4270072 / rank @@
+Normal rank
@@ Property / cites work @@
+Process Mining
@@ Property / cites work: Process Mining / rank @@
+Normal rank
@@ Property / cites work @@
+Q3225723
@@ Property / cites work: Q3225723 / rank @@
+Normal rank
@@ Property / cites work @@
+Liveness, fairness, and recurrence in Petri nets
@@ Property / cites work: Liveness, fairness, and recurrence in Petri nets / rank @@
+Normal rank