Deciding detectability for labeled Petri nets (Q1737932): Difference between revisions

@@ Property / OpenAlex ID @@
+W2962780884
@@ Property / OpenAlex ID: W2962780884 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.02087
@@ Property / arXiv ID: 1802.02087 / rank @@
+Normal rank
@@ Property / cites work @@
+ON YEN'S PATH LOGIC FOR PETRI NETS
@@ Property / cites work: ON YEN'S PATH LOGIC FOR PETRI NETS / rank @@
+Normal rank
@@ Property / cites work @@
+A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets
+Normal rank
@@ Property / cites work @@
+Verification of detectability in probabilistic finite automata
+Normal rank
@@ Property / cites work @@
+Complexity of deciding detectability in discrete event systems
+Normal rank
@@ Property / cites work @@
+Deciding detectability for labeled Petri nets
@@ Property / cites work: Deciding detectability for labeled Petri nets / rank @@
+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 @@
+Q3911403
@@ Property / cites work: Q3911403 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized detectability for discrete event systems
+Normal rank
@@ Property / cites work @@
+Delayed Detectability of Discrete Event Systems
@@ Property / cites work: Delayed Detectability of Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Detectability of Discrete Event Systems
@@ Property / cites work: Detectability of Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of opacity verification problems in labeled Petri net systems
+Normal rank
@@ Property / cites work @@
+A unified approach for deciding the existence of certain petri net paths
+Normal rank
@@ Property / cites work @@
+Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures
+Normal rank
@@ Property / cites work @@
+Q5375267
@@ Property / cites work: Q5375267 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Decidability and Complexity of Diagnosability for Labeled Petri Nets
+Normal rank
@@ Property / cites work @@
+Verification complexity of a class of observational properties for modular discrete events systems
+Normal rank
@@ Property / cites work @@
+The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete
+Normal rank