On-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets (Q1784050): Difference between revisions

@@ Property / cites work @@
+On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming
+Normal rank
@@ Property / cites work @@
+An Efficient Approach for Online Diagnosis of Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets
+Normal rank
@@ Property / cites work @@
+A Petri Net Diagnoser for Discrete Event Systems Modeled by Finite State Automata
+Normal rank
@@ Property / cites work @@
+Q3619797
@@ Property / cites work: Q3619797 / rank @@
+Normal rank
@@ Property / cites work @@
+A polynomial algorithm for testing diagnosability of discrete-event systems
+Normal rank
@@ Property / cites work @@
+Parallel program schemata
@@ Property / cites work: Parallel program schemata / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+Diagnosability of discrete-event systems
@@ Property / cites work: Diagnosability of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Polynomial-time verification of diagnosability of partially observed discrete-event systems
+Normal rank