Unfolding-based diagnosis of systems with an evolving topology
type: Item
instance of: scholarly article
title: Unfolding-based diagnosis of systems with an evolving topology
zbMATH Open document ID: 1214.68242
author: Paolo Baldan
author: Thomas Chatain
author: Stefan Haar
author: Barbara König
published in: Information and Computation
publication date: 2010-10-07T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 68R10
zbMATH DE Number: 5796780
zbMATH Keywords: model-based diagnosis
zbMATH Keywords: distributed and concurrent systems
zbMATH Keywords: partial order methods
zbMATH Keywords: graph rewriting
describes a project that uses: Augur 2
describes a project that uses: UMDES
describes a project that uses: GROOVE
MaRDI profile type: Publication
full work available at URL: j.ic.2009.11.009
OpenAlex ID: W2085178451
cites work: Q4719062
cites work: Diagnosis of discrete event systems using decentralized architectures
cites work: Distributed monitoring of concurrent and asynchronous systems
cites work: Diagnosis of asynchronous discrete-event systems: a net unfolding approach
cites work: Non-sequential Behaviour of Dynamic Nets
cites work: Unfolding-Based Diagnosis of Systems with an Evolving Topology
cites work: Algebraic approach to single-pushout graph transformation
cites work: Unfolding semantics of graph transformation
cites work: Q4890710
cites work: Q3030239
cites work: Petri nets, algebras, morphisms, and compositionality
cites work: Adhesive and quasiadhesive categories
cites work: Contextual Petri nets, asymmetric event structures, and processes
cites work: Foundations of Software Science and Computation Structures
cites work: Unfolding Grammars in Adhesive Categories
DOI: 10.1016/J.IC.2009.11.009
description: scientific article; zbMATH DE number 5796780