Abstract processes of place/transition systems (Q1944098): Difference between revisions

@@ Property / author @@
-Q324629
@@ Property / author: Q324629 / rank @@
-Normal rank
@@ Property / author @@
-Goltz, Ursula
@@ Property / author: Goltz, Ursula / rank @@
-Normal rank
@@ Property / author @@
+Robert J. van Glabbeek
@@ Property / author: Robert J. van Glabbeek / rank @@
+Normal rank
@@ Property / author @@
+Goltz, Ursula
@@ Property / author: Goltz, Ursula / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2114472265
@@ Property / OpenAlex ID: W2114472265 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.5916
@@ Property / arXiv ID: 1103.5916 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing the algebra of net computations and processes
+Normal rank
@@ Property / cites work @@
+Branching processes of Petri nets
@@ Property / cites work: Branching processes of Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Configuration structures, event structures and Petri nets
+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 @@
+A trace semantics for Petri nets
@@ Property / cites work: A trace semantics for Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3975177
@@ Property / cites work: Q3975177 / rank @@
+Normal rank
@@ Property / cites work @@
+On the semantics of place/transition Petri nets
@@ Property / cites work: On the semantics of place/transition Petri nets / 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 @@
+Executions: A new partial-order semantics of Petri nets
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1944098