On-line monitoring of large Petri net models under partial observation (Q732251): 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 @@
+Diagnosis of asynchronous discrete-event systems: a net unfolding approach
+Normal rank
@@ Property / cites work @@
+State estimation of \(\lambda\)-free labeled Petri nets with contact-free nondeterministic transitions
+Normal rank
@@ Property / cites work @@
+Distributed monitoring of concurrent and asynchronous systems
+Normal rank
@@ Property / cites work @@
+Q2842877
@@ Property / cites work: Q2842877 / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed Diagnosis of Discrete-Event Systems Using Petri Nets
+Normal rank
@@ Property / cites work @@
+Q4263300
@@ Property / cites work: Q4263300 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications
+Normal rank
@@ Property / cites work @@
+A distributed approach for fault detection and diagnosis based on time Petri nets
+Normal rank
@@ Property / cites work @@
+Diagnosability of discrete event systems and its applications
+Normal rank
@@ Property / cites work @@
+On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals
+Normal rank
@@ Property / cites work @@
+Observability of discrete event dynamic systems
@@ Property / cites work: Observability of discrete event dynamic systems / rank @@
+Normal rank
@@ Property / cites work @@
+Diagnosability of discrete-event systems
@@ Property / cites work: Diagnosability of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Fault diagnosis in discrete-event systems: Framework and model reduction
+Normal rank