Modeling, simulation, estimation and boundedness analysis of discrete event systems (Q2152875): Difference between revisions

@@ Property / cites work @@
+State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions
+Normal rank
@@ Property / cites work @@
+Fault detection for discrete event systems using Petri nets with unobservable transitions
+Normal rank
@@ Property / cites work @@
+Probabilistic Marking Estimation in Labeled Petri Nets
+Normal rank
@@ Property / cites work @@
+Diagnosis of Partially Observed Petri Net Based on Analytical Redundancy Relationships
+Normal rank
@@ Property / cites work @@
+Marking Estimation of Petri Nets With Silent Transitions
+Normal rank
@@ Property / cites work @@
+State estimation and detection of changes in time interval models
+Normal rank
@@ Property / cites work @@
+State observer for DES under partial observation with time Petri nets
+Normal rank
@@ Property / cites work @@
+Observability of place/transition nets
@@ Property / cites work: Observability of place/transition nets / rank @@
+Normal rank
@@ Property / cites work @@
+State estimation of \(\lambda\)-free labeled Petri nets with contact-free nondeterministic transitions
+Normal rank
@@ Property / cites work @@
+On-line monitoring of large Petri net models under partial observation
+Normal rank
@@ Property / cites work @@
+Minimum Initial Marking Estimation in Labeled Petri Nets
+Normal rank
@@ Property / cites work @@
+Model checking of time Petri nets using the state class timed automaton
+Normal rank
@@ Property / cites work @@
+On‐the‐Fly and Incremental Technique for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets
+Normal rank
@@ Property / cites work @@
+Hierarchical reachability graph of bounded Petri nets for concurrent-software analysis
+Normal rank
@@ Property / cites work @@
+Fault Diagnosis for Discrete Event Systems Modeled By Bounded Petri Nets
+Normal rank
@@ Property / cites work @@
+Structuring acyclic Petri nets for reachability analysis and control
+Normal rank
@@ Property / Wikidata QID @@
+Q127486365
@@ Property / Wikidata QID: Q127486365 / rank @@
+Normal rank