Distributed monitoring of concurrent and asynchronous systems (Q1773098): Difference between revisions

@@ Property / cites work @@
+Diagnosis of large active systems
@@ Property / cites work: Diagnosis of large active systems / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4719062
@@ Property / cites work: Q4719062 / rank @@
+Normal rank
@@ Property / cites work @@
+Coordinated decentralized protocols for failure diagnosis of discrete event systems
+Normal rank
@@ Property / cites work @@
+Free Choice Petri Nets
@@ Property / cites work: Free Choice Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Branching processes of Petri nets
@@ Property / cites work: Branching processes of Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4270050
@@ Property / cites work: Q4270050 / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed monitoring of concurrent and asynchronous systems
+Normal rank
@@ Property / cites work @@
+Distributed Diagnosis of Discrete-Event Systems Using Petri Nets
+Normal rank
@@ Property / cites work @@
+Q4423257
@@ Property / cites work: Q4423257 / 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 @@
+Petri nets with individual tokens
@@ Property / cites work: Petri nets with individual tokens / rank @@
+Normal rank
@@ Property / cites work @@
+Diagnosability of discrete-event systems
@@ Property / cites work: Diagnosability of discrete-event systems / rank @@
+Normal rank