Diagnosability of Petri nets with observation graphs (Q312654): Difference between revisions

@@ Property / author @@
+M. Dambrine
@@ Property / author: M. Dambrine / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C65
@@ Property / Mathematics Subject Classification ID: 93C65 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B07
@@ Property / Mathematics Subject Classification ID: 93B07 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C90
@@ Property / Mathematics Subject Classification ID: 05C90 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6627804
@@ Property / zbMATH DE Number: 6627804 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+discrete event systems
@@ Property / zbMATH Keywords: discrete event systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Petri nets
@@ Property / zbMATH Keywords: Petri nets / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+partially observed Petri nets
@@ Property / zbMATH Keywords: partially observed Petri nets / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+observation graphs
@@ Property / zbMATH Keywords: observation graphs / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+diagnosability
@@ Property / zbMATH Keywords: diagnosability / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10626-014-0207-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2061679571
@@ Property / OpenAlex ID: W2061679571 / rank @@
+Normal rank
@@ Property / cites work @@
+An Efficient Approach for Online Diagnosis of Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming
+Normal rank
@@ Property / cites work @@
+Fault detection for discrete event systems using Petri nets with unobservable transitions
+Normal rank
@@ Property / cites work @@
+A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets
+Normal rank
@@ Property / cites work @@
+Q3651735
@@ Property / cites work: Q3651735 / rank @@
+Normal rank
@@ Property / cites work @@
+On-line fault detection in discrete event systems by Petri nets and integer linear programming
+Normal rank
@@ Property / cites work @@
+On reachability graphs of Petri nets
@@ Property / cites work: On reachability graphs of Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+On-Line Fault Diagnosis With Partially Observed Petri Nets
+Normal rank
@@ Property / cites work @@
+Q3911403
@@ Property / cites work: Q3911403 / rank @@
+Normal rank
@@ Property / cites work @@
+Fault diagnosis in discrete event systems modeled by partially observed Petri nets
+Normal rank
@@ Property / cites work @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic approaches for fault identification in discrete-event systems
+Normal rank
@@ Property / cites work @@
+Q4840199
@@ Property / cites work: Q4840199 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:312654