Modal Open Petri Nets (Q6184717): Difference between revisions

@@ Property / cites work @@
+Q4791852
@@ Property / cites work: Q4791852 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
+Normal rank
@@ Property / cites work @@
+On Weak Modal Compatibility, Refinement, and the MIO Workbench
+Normal rank
@@ Property / cites work @@
+Nondeterministic modal interfaces
@@ Property / cites work: Nondeterministic modal interfaces / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement and Asynchronous Composition of Modal Petri Nets
+Normal rank
@@ Property / cites work @@
+Specification of Asynchronous Component Systems with Modal I/O-Petri Nets
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3751025
@@ Property / cites work: Q3751025 / rank @@
+Normal rank
@@ Property / cites work @@
+Deterministic buffer synchronization of sequential processes
+Normal rank
@@ Property / cites work @@
+A trace-based service semantics guaranteeing deadlock freedom
+Normal rank
@@ Property / cites work @@
+Q3785958
@@ Property / cites work: Q3785958 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular construction and partial order semantics of Petri nets
+Normal rank