Open Petri Nets: Non-deterministic Processes and Compositionality (Q3540404): Difference between revisions

@@ Property / cites work @@
+Compositional semantics for open Petri nets based on deterministic processes
+Normal rank
@@ Property / cites work @@
+Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
+Normal rank
@@ Property / cites work @@
+Q4230786
@@ Property / cites work: Q4230786 / rank @@
+Normal rank
@@ Property / cites work @@
+A Behavioural Congruence for Web Services
@@ Property / cites work: A Behavioural Congruence for Web Services / rank @@
+Normal rank
@@ Property / cites work @@
+Q4890710
@@ Property / cites work: Q4890710 / rank @@
+Normal rank
@@ Property / cites work @@
+Applications and Theory of Petri Nets 2004
@@ Property / cites work: Applications and Theory of Petri Nets 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Q4791828
@@ Property / cites work: Q4791828 / rank @@
+Normal rank
@@ Property / cites work @@
+A uniform approach to true-concurrency and interleaving semantics for Petri nets
+Normal rank
@@ Property / cites work @@
+Q3219122
@@ Property / cites work: Q3219122 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848079
@@ Property / cites work: Q2848079 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4952938
@@ Property / cites work: Q4952938 / rank @@
+Normal rank