Unfolding-Based Diagnosis of Systems with an Evolving Topology

DOI10.1007/978-3-540-85361-9_19zbMATH Open1160.68453OpenAlexW1849681253MaRDI QIDQ3541019FDOQ3541019

Authors: Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König 

Publication date: 25 November 2008

Published in: CONCUR 2008 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.181.1077

Recommendations

• Unfolding-based diagnosis of systems with an evolving topology
• Foundations of Software Science and Computation Structures
• Unfolding Graph Transformation Systems: Theory and Applications to Verification
• Diagnosis with Petri net unfoldings
• Diagnosis Using Unfoldings of Parametric Time Petri Nets

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Contextual Petri nets, asymmetric event structures, and processes
• Title not available (Why is that?)
• Distributed monitoring of concurrent and asynchronous systems
• Diagnosis of asynchronous discrete-event systems: a net unfolding approach
• Diagnosis of discrete event systems using decentralized architectures
• Title not available (Why is that?)
• Title not available (Why is that?)
• Unfolding semantics of graph transformation
• Adhesive and quasiadhesive categories
• Algebraic approach to single-pushout graph transformation
• Unfolding-Based Diagnosis of Systems with an Evolving Topology
• Non-sequential Behaviour of Dynamic Nets
• Foundations of Software Science and Computation Structures

Cited In (5)

• Unfolding-based diagnosis of systems with an evolving topology
• Unfolding Grammars in Adhesive Categories
• Unfolding-Based Diagnosis of Systems with an Evolving Topology
• Causality analysis and fault ascription in component-based systems
• Title not available (Why is that?)

This page was built for publication: Unfolding-Based Diagnosis of Systems with an Evolving Topology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3541019)