Diagnosis with Petri net unfoldings

DOI10.1007/978-1-4471-4276-8_15zbMATH Open1304.93056OpenAlexW149236339MaRDI QIDQ5496933FDOQ5496933

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

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

Mathematics Subject Classification ID

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

Cited In (14)

• 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
• Title not available (Why is that?)
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• What topology tells us about diagnosability in partial order semantics
• Distributed monitoring of concurrent and asynchronous systems
• Distributed computation of vector clocks in Petri net unfoldings for test selection
• Event Correlation with Boxed Pomsets

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)