What topology tells us about diagnosability in partial order semantics

DOI10.1007/s10626-011-0121-zzbMath1267.93108OpenAlexW2115052909MaRDI QIDQ351726

Stefan Haar

Publication date: 9 July 2013

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

Full work available at URL: https://doi.org/10.1007/s10626-011-0121-z

zbMATH Keywords

observabilityPetri netspartial order semanticsdiagnosisdiscrete event systemsevent structuresevents

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Observability (93B07)

Related Items (2)

What topology tells us about diagnosability in partial order semantics ⋮ A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• What topology tells us about diagnosability in partial order semantics
• Prognosis of \(\omega\)-languages for the diagnosis of *-languages: a topological perspective
• A metric for traces
• Predictability of event occurrences in partially-observed discrete-event systems
• Petri nets, event structures and domains. I
• Branching processes of Petri nets
• The topology of Mazurkiewicz traces.
• An improvement of McMillan's unfolding algorithm
• Distributed monitoring of concurrent and asynchronous systems
• Contextual Petri nets, asymmetric event structures, and processes
• Unfolding-based diagnosis of systems with an evolving topology
• Partial order techniques for distributed discrete event systems: why you cannot avoid using them
• Diagnosability of discrete-event systems
• Types of Asynchronous Diagnosability and the Reveals-Relation in Occurrence Nets
• Diagnosis of asynchronous discrete-event systems: a net unfolding approach
• A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets

This page was built for publication: What topology tells us about diagnosability in partial order semantics