A Petri net approach for the design and analysis of web services choreographies (Q2390034): Difference between revisions

@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+On the analysis of Petri nets with static priorities
+Normal rank
@@ Property / cites work @@
+Petri net semantics of priority systems
@@ Property / cites work: Petri net semantics of priority systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847798
@@ Property / cites work: Q2847798 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417801
@@ Property / cites work: Q4417801 / rank @@
+Normal rank
@@ Property / cites work @@
+Goal-directed requirements acquisition
@@ Property / cites work: Goal-directed requirements acquisition / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamental Approaches to Software Engineering
@@ Property / cites work: Fundamental Approaches to Software Engineering / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3860790
@@ Property / cites work: Q3860790 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4220896
@@ Property / cites work: Q4220896 / rank @@
+Normal rank