Diagnosis with Petri net unfoldings

DOI10.1007/978-1-4471-4276-8_15MaRDI QIDQ5496933zbMATH OpenOpenAlexFDO

Authors Stefan Haar, Eric Fabre

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_15

Mathematics Subject Classification ID

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

Recommendations

• Foundations of Software Science and Computation Structures
• Distributed monitoring of concurrent and asynchronous systems
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Fault detection and diagnosis in distributed systems: An approach by partially stochastic Petri nets
• Diagnosis Using Unfoldings of Parametric Time Petri Nets

Cited in

(14)

• Event Correlation with Boxed Pomsets
• Unfolding-based diagnosis of systems with an evolving topology
• A bidirectional diagnosis algorithm of fuzzy Petri net using inner-reasoning-path
• Trellis processes: a compact representation for runs of concurrent systems
• Unfolding-Based Diagnosis of Systems with an Evolving Topology
• Causality analysis and fault ascription in component-based systems
• Foundations of Software Science and Computation Structures
• Diagnosis of Petri Nets
• Diagnosis Using Unfoldings of Parametric Time Petri Nets
• scientific article; zbMATH DE number 4201656 (Why is no real title available?)
• What topology tells us about diagnosability in partial order semantics
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Distributed monitoring of concurrent and asynchronous systems
• Distributed computation of vector clocks in Petri net unfoldings for test selection

This page was built for publication: Diagnosis with Petri net unfoldings

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