A trace semantics for Petri Nets (Q5204350): Difference between revisions

@@ Property / author @@
-H. C. M. Kleijn
@@ Property / author: H. C. M. Kleijn / rank @@
-Normal rank
@@ Property / author @@
+H. C. M. Kleijn
@@ Property / author: H. C. M. Kleijn / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-55719-9_107
+Normal rank
@@ Property / OpenAlex ID @@
+W237151715
@@ Property / OpenAlex ID: W237151715 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential and concurrent behaviour in Petri net theory
+Normal rank
@@ Property / cites work @@
+Q4040147
@@ Property / cites work: Q4040147 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3210197
@@ Property / cites work: Q3210197 / 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 @@
+Q3675536
@@ Property / cites work: Q3675536 / 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 @@
+Q3687725
@@ Property / cites work: Q3687725 / 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 @@
+Q3771629
@@ Property / cites work: Q3771629 / 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
@@ links / mardi / name / links / mardi / name @@
+Publication:5204350