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

@@ 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