Information Processing Letters
Branching processes of Petri nets
Acta Informatica
Contextual Petri nets, asymmetric event structures, and processes
Information and Computation
An Improvement of McMillan's Unfolding Algorithm
Formal Methods in System Design
Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986-Part II
Regular event structures and finite Petri nets: a conjecture
Formal and natural computing
The topology of Mazurkiewicz traces
Theoretical Computer Science - Topology in computer science
Distributed Monitoring of Concurrent and Asynchronous Systems*
Discrete Event Dynamic Systems
Partial Order Techniques for Distributed Discrete Event Systems: Why You Cannot Avoid Using Them
Discrete Event Dynamic Systems
Fault Diagnosis with Static and Dynamic Observers
Fundamenta Informaticae - Application of Concurrency to System Design, the Sixth Special Issue
Predictability of event occurrences in partially-observed discrete-event systems
Automatica (Journal of IFAC)
Diagnosability verification with Petri net unfoldings
International Journal of Knowledge-based and Intelligent Engineering Systems
Unfolding-based diagnosis of systems with an evolving topology
Information and Computation
| Hi-index | 0.00 |
From a partial observation of the behaviour of a labeled Discrete Event System, fault diagnosis strives to determine whether or not a given "invisible" fault event has occurred. The diagnosability problem can be stated as follows: does the labeling allow for an outside observer to determine the occurrence of the fault, no later than a bounded number of events after that unobservable occurrence? When this problem is investigated in the context of concurrent systems, partial order semantics adds to the difficulty of the problem, but also provides a richer and more complex picture of observation and diagnosis. In particular, it is crucial to clarify the intuitive notion of "time after fault occurrence". To this end, we will use a unifying metric framework for event structures, providing a general topological description of diagnosability in both sequential and nonsequential semantics for Petri nets.