On-line monitoring of large Petri net models under partial observation

DOI10.1007/s10626-007-0036-xzbMath1171.93356OpenAlexW2043798931MaRDI QIDQ732251

George Jiroveanu, René K. Boel, Behzad Bordbar

Publication date: 9 October 2009

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10626-007-0036-x

zbMATH Keywords

Petri netsdiagnosismonitoringdiscrete event systems

Mathematics Subject Classification ID

Programming involving graphs or networks (90C35) Discrete event control/observation systems (93C65) Observability (93B07) Large-scale systems (93A15)

Related Items

Modeling, simulation, estimation and boundedness analysis of discrete event systems, Fault diagnosis in labelled Petri nets: a Fourier-Motzkin based approach, Supervisory control of discrete-event systems under external attacks, State Estimation and Fault Detection Using Petri Nets, Counter approach for the estimation of optimal sequences in partially observable untimed Petri nets, On-line fault detection in discrete event systems by Petri nets and integer linear programming, Diagnosis on a sliding window for partially observable Petri nets

Uses Software

• visualSTATE

Cites Work

• Unnamed Item
• Unnamed Item
• Diagnosability of discrete event systems and its applications
• Diagnosis of large active systems
• Distributed monitoring of concurrent and asynchronous systems
• State estimation of \(\lambda\)-free labeled Petri nets with contact-free nondeterministic transitions
• A distributed approach for fault detection and diagnosis based on time Petri nets
• Observability of discrete event dynamic systems
• Distributed Diagnosis of Discrete-Event Systems Using Petri Nets
• On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals
• Diagnosability of discrete-event systems
• Fault diagnosis in discrete-event systems: Framework and model reduction
• Diagnosis of asynchronous discrete-event systems: a net unfolding approach
• Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications
• CONCUR 2003 - Concurrency Theory