An event structure semantics for general Petri nets (Q672871): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(95)00120-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2089336326
@@ Property / OpenAlex ID: W2089336326 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential and concurrent behaviour in Petri net theory
+Normal rank
@@ Property / cites work @@
+Q4733397
@@ Property / cites work: Q4733397 / rank @@
+Normal rank
@@ Property / cites work @@
+Event structures and domains
@@ Property / cites work: Event structures and domains / rank @@
+Normal rank
@@ Property / cites work @@
+Partial (set) 2-structures. II: State spaces of concurrent systems
+Normal rank
@@ Property / cites work @@
+Branching processes of Petri nets
@@ Property / cites work: Branching processes of Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+A trace semantics for Petri nets
@@ Property / cites work: A trace semantics for Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+An event structure semantics for general Petri nets
+Normal rank
@@ Property / cites work @@
+Petri nets are monoids
@@ Property / cites work: Petri nets are monoids / 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 @@
+Elementary transition systems
@@ Property / cites work: Elementary transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3683531
@@ Property / cites work: Q3683531 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets, algebras, morphisms, and compositionality
+Normal rank
@@ Property / cites work @@
+Q3030239
@@ Property / cites work: Q3030239 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733435
@@ Property / cites work: Q4733435 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4857386
@@ Property / cites work: Q4857386 / rank @@
+Normal rank