Unfolding-Based Diagnosis of Systems with an Evolving Topology

DOI10.1007/978-3-540-85361-9_19MaRDI QIDQ3541019zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cites work

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

Cited in

(5)

• Unfolding-based diagnosis of systems with an evolving topology
• Causality analysis and fault ascription in component-based systems
• Unfolding Grammars in Adhesive Categories
• Unfolding-Based Diagnosis of Systems with an Evolving Topology
• Hyper partial order logic

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)