Distributed synthesis of asynchronously communicating distributed process models (Q2163771): Difference between revisions

@@ Property / cites work @@
+Q5392873
@@ Property / cites work: Q5392873 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791852
@@ Property / cites work: Q4791852 / rank @@
+Normal rank
@@ Property / cites work @@
+Channel Properties of Asynchronously Composed Petri Nets
+Normal rank
@@ Property / cites work @@
+Open Petri Nets as Semantic Model for Workflow Integration
+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 @@
+Discovering Block-Structured Process Models from Event Logs - A Constructive Approach
+Normal rank
@@ Property / cites work @@
+Q3771629
@@ Property / cites work: Q3771629 / rank @@
+Normal rank
@@ Property / cites work @@
+Associative composition of components with double-sided interfaces
+Normal rank
@@ Property / cites work @@
+Does My Service Have Partners?
@@ Property / cites work: Does My Service Have Partners? / rank @@
+Normal rank
@@ Property / cites work @@
+State equations and equivalent transformations for timed Petri nets
+Normal rank
@@ Property / cites work @@
+Decomposition of Petri nets
@@ Property / cites work: Decomposition of Petri nets / rank @@
+Normal rank