A compositional partial order semantics for Petri net components (Q6487378): Difference between revisions

@@ Property / cites work @@
+Q3820017
@@ Property / cites work: Q3820017 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040147
@@ Property / cites work: Q4040147 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692502
@@ Property / cites work: Q4692502 / rank @@
+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 @@
+Petri net based verification of distributed algorithms: An example
+Normal rank
@@ Property / cites work @@
+Mutex needs fairness
@@ Property / cites work: Mutex needs fairness / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3832059
@@ Property / cites work: Q3832059 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3700812
@@ Property / cites work: Q3700812 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic characterization of petri net pomset semantics
+Normal rank
@@ Property / cites work @@
+Computer science today. Recent trends and developments
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6487378