The on-line diagnosis of time Petri nets

DOI10.1007/978-1-4471-4276-8_17MaRDI QIDQ5496935zbMATH OpenOpenAlexFDO

Authors George Jiroveanu, R. K. Boel

Publication date 29 January 2015

Published in Lecture Notes in Control and Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-1-4471-4276-8_17

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Applications of graph theory to circuits and networks (94C15)

Recommendations

• scientific article; zbMATH DE number 5775510
• Diagnosis of Petri Nets
• Diagnosis Using Unfoldings of Parametric Time Petri Nets
• scientific article; zbMATH DE number 4209631
• Online pattern diagnosis of discrete event systems with Petri net diagnosers

Cites work

• scientific article; zbMATH DE number 1956600 (Why is no real title available?)
• A distributed approach for fault detection and diagnosis based on time Petri nets
• An Efficient Approach for Online Diagnosis of Discrete Event Systems
• Diagnosability of discrete-event systems
• Diagnosis of asynchronous discrete-event systems: a net unfolding approach
• Distributed diagnosis of discrete-event systems using Petri nets
• Fault diagnosis for timed automata
• Fault diagnosis in discrete-event systems: Framework and model reduction
• Formal Modeling and Analysis of Timed Systems
• Foundations of Software Science and Computational Structures
• Model checking using net unfoldings
• State observer for DES under partial observation with time Petri nets
• State space computation and analysis of Time Petri Nets
• The extended linear complementarity problem
• Time processes for time Petri nets

Cited in

(9)

• On-Line Fault Diagnosis With Partially Observed Petri Nets
• Study on event correlation detecting mechanism based on time Petri nets
• A distributed approach for fault detection and diagnosis based on time Petri nets
• scientific article; zbMATH DE number 5775510 (Why is no real title available?)
• Diagnosis Using Unfoldings of Parametric Time Petri Nets
• A chronicle-based diagnosability approach for discrete timed-event systems: application to web-services
• Failure detection and localization for timed event graphs in \((\max,+)\)-algebra
• Continuous Petri nets: observability and diagnosis
• An extremum timed extended reachability graph for temporal analysis of time Petri nets

This page was built for publication: The on-line diagnosis of time Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5496935)