An axiomatization of the algebra of Petri net concatenable processes (Q672052): Difference between revisions

@@ Property / cites work @@
+Q3848220
@@ Property / cites work: Q3848220 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential and concurrent behaviour in Petri net theory
+Normal rank
@@ Property / cites work @@
+Q3210197
@@ Property / cites work: Q3210197 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586461
@@ Property / cites work: Q5586461 / 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 @@
+On MacLane's conditions for coherence of natural associativities, commutativities, etc
+Normal rank
@@ Property / cites work @@
+FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
@@ Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank @@
+Normal rank
@@ Property / cites work @@
+Q5655527
@@ Property / cites work: Q5655527 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical algebra
@@ Property / cites work: Categorical algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets are monoids
@@ Property / cites work: Petri nets are monoids / rank @@
+Normal rank
@@ Property / cites work @@
+On the category of Petri net computations
@@ Property / cites work: On the category of Petri net computations / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing Petri net concatenable processes
@@ Property / cites work: Axiomatizing Petri net concatenable processes / rank @@
+Normal rank