Unfolding-based diagnosis of systems with an evolving topology

DOI10.1016/J.IC.2009.11.009zbMath1214.68242OpenAlexW2085178451MaRDI QIDQ1959480

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

Publication date: 7 October 2010

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2009.11.009

zbMATH Keywords

graph rewritingmodel-based diagnosispartial order methodsdistributed and concurrent systems

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)

Related Items (4)

What topology tells us about diagnosability in partial order semantics ⋮ Processes and unfoldings: concurrent computations in adhesive categories ⋮ Unnamed Item ⋮ Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems

Uses Software

• Augur 2
• GROOVE
• UMDES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraic approach to single-pushout graph transformation
• Unfolding semantics of graph transformation
• Diagnosis of discrete event systems using decentralized architectures
• Petri nets, algebras, morphisms, and compositionality
• Distributed monitoring of concurrent and asynchronous systems
• Contextual Petri nets, asymmetric event structures, and processes
• Unfolding Grammars in Adhesive Categories
• Unfolding-Based Diagnosis of Systems with an Evolving Topology
• Non-sequential Behaviour of Dynamic Nets
• Diagnosis of asynchronous discrete-event systems: a net unfolding approach
• Adhesive and quasiadhesive categories
• Foundations of Software Science and Computation Structures

This page was built for publication: Unfolding-based diagnosis of systems with an evolving topology