What topology tells us about diagnosability in partial order semantics
From MaRDI portal
Publication:351726
DOI10.1007/S10626-011-0121-ZzbMath1267.93108OpenAlexW2115052909MaRDI QIDQ351726
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
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
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
