Petri nets for modeling of dynamic systems—a survey
Automatica (Journal of IFAC)
Modular Construction and Partial Order Semantics of Petri Nets
Modular Construction and Partial Order Semantics of Petri Nets
Generalized Stochastic Petri Nets Revisitied: Random Switches and Priorities
PNPM '87 The Proceedings of the Second International Workshop on Petri Nets and Performance Models
State Observation and Diagnosis of Discrete-Event SystemsDescribed by Stochastic Automata
Discrete Event Dynamic Systems
Probabilistic Unfoldings and Partial Order Fairness in Petri Nets
PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Probabilistic cluster unfoldings
Fundamenta Informaticae
Diagnosis of Intermittent Faults
Discrete Event Dynamic Systems
Qualitative Diagnosis of Condition Systems
Discrete Event Dynamic Systems
Control of Safe Ordinary Petri Nets Using Unfolding
Discrete Event Dynamic Systems
Diagnosability of Discrete Event Systems with Modular Structure
Discrete Event Dynamic Systems
IEA/AIE '08 Proceedings of the 21st international conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: New Frontiers in Applied Artificial Intelligence
Chronicles for On-line Diagnosis of Distributed Systems
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Fault Diagnosis in Discrete Event Systems Modeled by Partially Observed Petri Nets
Discrete Event Dynamic Systems
Distributed state estimation in discrete event systems
ACC'09 Proceedings of the 2009 conference on American Control Conference
Distributed diagnosis of discrete-event systems using Petri nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Fault distinguishability of discrete event systems
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part III
Fault diagnosis of discrete event systems using place invariants
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Events, causality and symmetry
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
Probabilistic Cluster Unfoldings
Fundamenta Informaticae
| Hi-index | 0.00 |
We address the problem of alarm correlation in large distributedsystems. The key idea is to make use of the concurrence of events in orderto separate and simplify the state estimation in a faulty system. Petri netsand their causality semantics are used to model concurrency. Specialpartially stochastic Petri nets are developed, that establish some kind ofequivalence between concurrence and independence. The diagnosis problem isdefined as the computation of the most likely history of the net given asequence of observed alarms. Solutions are provided in four contexts, with agradual complexity on the structure of observations.