Functorial models for Petri nets (Q1854467): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2066588870
@@ Property / OpenAlex ID: W2066588870 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938625
@@ Property / cites work: Q4938625 / rank @@
+Normal rank
@@ Property / cites work @@
+The basic algebraic structures in categories of derivations
+Normal rank
@@ Property / cites work @@
+Sequential and concurrent behaviour in Petri net theory
+Normal rank
@@ Property / cites work @@
+Specification and proof in membership equational logic
+Normal rank
@@ Property / cites work @@
+Q4249180
@@ Property / cites work: Q4249180 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499237
@@ Property / cites work: Q4499237 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing the algebra of net computations and processes
+Normal rank
@@ Property / cites work @@
+Lokal präsentierbare Kategorien. (Locally presentable categories)
+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 @@
+An event structure semantics for general Petri nets
+Normal rank
@@ Property / cites work @@
+Q5536279
@@ Property / cites work: Q5536279 / rank @@
+Normal rank
@@ Property / cites work @@
+Some algebraic problems in the context of functorial semantics of algebraic theories
+Normal rank
@@ Property / cites work @@
+Q4733416
@@ Property / cites work: Q4733416 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693151
@@ Property / cites work: Q4693151 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3839051
@@ Property / cites work: Q3839051 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets are monoids
@@ Property / cites work: Petri nets are monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Q3839052
@@ Property / cites work: Q3839052 / rank @@
+Normal rank
@@ Property / cites work @@
+Process versus unfolding semantics for Place/Transition Petri nets
+Normal rank
@@ Property / cites work @@
+Q4371024
@@ Property / cites work: Q4371024 / rank @@
+Normal rank
@@ Property / cites work @@
+PETRI NETS AND STEP TRANSITION SYSTEMS
@@ Property / cites work: PETRI NETS AND STEP TRANSITION SYSTEMS / 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 @@
+Q5612497
@@ Property / cites work: Q5612497 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4090505
@@ Property / cites work: Q4090505 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3759011
@@ Property / cites work: Q3759011 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3219122
@@ Property / cites work: Q3219122 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatization of the algebra of Petri net concatenable processes
+Normal rank
@@ Property / cites work @@
+An axiomatization of the category of Petri net computations
+Normal rank
@@ Property / cites work @@
+Petri nets, algebras, morphisms, and compositionality
+Normal rank