Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
Branching processes of Petri nets
Acta Informatica
Free choice Petri nets
Diagnosis of large active systems
Artificial Intelligence
Coordinated Decentralized Protocols for Failure Diagnosisof Discrete Event Systems
Discrete Event Dynamic Systems
Event Structure Semantics for CCS and Related Languages
Proceedings of the 9th Colloquium on Automata, Languages and Programming
Categories of Models for Concurrency
Seminar on Concurrency, Carnegie-Mellon University
Using Unfoldings to Avoid the State Explosion Problem in the Verification of Asynchronous Circuits
CAV '92 Proceedings of the Fourth International Workshop on Computer Aided Verification
WODES '02 Proceedings of the Sixth International Workshop on Discrete Event Systems (WODES'02)
Distributed Diagnosis for Qualitative Systems
WODES '02 Proceedings of the Sixth International Workshop on Discrete Event Systems (WODES'02)
A decentralized model-based diagnostic tool for complex systems
ICTAI '01 Proceedings of the 13th IEEE International Conference on Tools with Artificial Intelligence
Introduction to Discrete Event Systems
Introduction to Discrete Event Systems
Distributed diagnosis of discrete-event systems using Petri nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Hierarchical Fault Diagnosis for Discrete-Event Systems under Global Consistency
Discrete Event Dynamic Systems
Diagnosis of Discrete Event Systems Using Decentralized Architectures
Discrete Event Dynamic Systems
Trellis Processes: A Compact Representation for Runs of Concurrent Systems
Discrete Event Dynamic Systems
Partial Order Techniques for Distributed Discrete Event Systems: Why You Cannot Avoid Using Them
Discrete Event Dynamic Systems
True-concurrency probabilistic models: Markov nets and a law of large numbers
Theoretical Computer Science
On-Line Monitoring of Large Petri Net Models Under Partial Observation
Discrete Event Dynamic Systems
Unfolding-Based Diagnosis of Systems with an Evolving Topology
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Discrete Event Dynamic Systems
Local Consistency and Junction Tree for Diagnosis of Discrete-Event Systems
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Exploiting independence in a decentralised and incremental approach of diagnosis
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Modular Construction of Finite and Complete Prefixes of Petri net Unfoldings
Fundamenta Informaticae - Application of Concurrency to System Design
Robust codiagnosability of discrete event systems
ACC'09 Proceedings of the 2009 conference on American Control Conference
An Approach to Post Mortem Diagnosability Analysis for Interacting Finite State Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Unfolding-based diagnosis of systems with an evolving topology
Information and Computation
Diagnosis using unfoldings of parametric time Petri nets
FORMATS'10 Proceedings of the 8th international conference on Formal modeling and analysis of timed systems
Distributed unfolding of petri nets
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
On the construction of pullbacks for safe petri nets
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Modular Construction of Finite and Complete Prefixes of Petri net Unfoldings
Fundamenta Informaticae - Application of Concurrency to System Design
What topology tells us about diagnosability in partial order semantics
Discrete Event Dynamic Systems
Empowering self-diagnosis with self-modeling
Proceedings of the 8th International Conference on Network and Service Management
Symbolic unfolding of parametric stopwatch Petri nets
Formal Methods in System Design
Hi-index | 0.00 |
In this paper we study the diagnosis of distributed asynchronous systems with concurrency. Diagnosis is performed by a peer-to-peer distributed architecture of supervisors. Our approach relies on Petri net unfoldings and event structures, as means to manipulate trajectories of systems with concurrency. This article is an extended version of the paper with same title, which appeared as a plenary address in the Proceedings of CONCUR驴2003.