Algebraic characterization of petri net pomset semantics (Q6044132): Difference between revisions

@@ Property / cites work @@
+Q4040147
@@ Property / cites work: Q4040147 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing the algebra of net computations and processes
+Normal rank
@@ Property / cites work @@
+Q4222875
@@ Property / cites work: Q4222875 / rank @@
+Normal rank
@@ Property / cites work @@
+Remarks on blind and partially blind one-way multicounter machines
+Normal rank
@@ Property / cites work @@
+Q3766866
@@ Property / cites work: Q3766866 / rank @@
+Normal rank
@@ Property / cites work @@
+Process versus unfolding semantics for Place/Transition Petri nets
+Normal rank
@@ Property / cites work @@
+Q4133144
@@ Property / cites work: Q4133144 / rank @@
+Normal rank
@@ Property / cites work @@
+A uniform approach to true-concurrency and interleaving semantics for Petri nets
+Normal rank