Non-sequential Behaviour of Dynamic Nets

Bruni, Roberto; Melgratti, Hernán

doi:10.1007/11767589_7

Cited by 3 publications

(1 citation statement)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This requires the development of a model-based diagnosis approach which applies to other, more expressive, formalisms. Unfoldings of extensions of Petri nets where the topology may change dynamically were studied in [8,6]. Here we focus on the general and well-established formalism of graph transformation systems.…”

Section: Introductionmentioning

confidence: 99%

Unfolding-based diagnosis of systems with an evolving topology

Baldan

Chatain

Haar

et al. 2010

Information and Computation

View full text Add to dashboard Cite

We propose a framework for model-based diagnosis of systems with mobility and variable topologies, modelled as graph transformation systems. Generally speaking, model-based diagnosis is aimed at constructing explanations of observed faulty behaviours on the basis of a given model of the system. Since the number of possible explanations may be huge, we exploit the unfolding as a compact data structure to store them, along the lines of previous work dealing with Petri net models. Given a model of a system and an observation, the explanations can be constructed by unfolding the model constrained by the observation, and then removing incomplete explanations in a pruning phase. The theory is formalised in a general categorical setting: constraining the system by the observation corresponds to taking a product in the chosen category of graph grammars, so that the correctness of the procedure can be proved by using the fact that the unfolding is a right adjoint and thus it preserves products. The theory should hence be easily applicable to a wide class of system models, including graph grammars and Petri nets

show abstract

Section: Introductionmentioning

confidence: 99%

Unfolding-based diagnosis of systems with an evolving topology

Baldan

Chatain

Haar

et al. 2010

Information and Computation

View full text Add to dashboard Cite

show abstract

Unfolding-Based Diagnosis of Systems with an Evolving Topology

Baldan

Chatain

Haar

et al. 2008

CONCUR 2008 - Concurrency Theory

View full text Add to dashboard Cite

Abstract. We propose a framework for model-based diagnosis of systems with mobility and variable topologies, modelled as graph transformation systems. Generally speaking, model-based diagnosis is aimed at constructing explanations of observed faulty behaviours on the basis of a given model of the system. Since the number of possible explanations may be huge we exploit the unfolding as a compact data structure to store them, along the lines of previous work dealing with Petri net models. Given a model of a system and an observation, the explanations can be constructed by unfolding the model constrained by the observation, and then removing incomplete explanations in a pruning phase. The theory is formalised in a general categorical setting: constraining the system by the observation corresponds to taking a product in the chosen category of graph grammars, so that the correctness of the procedure can be proved by using the fact that the unfolding is a right adjoint and thus it preserves products. The theory thus should be easily applicable to a wide class of system models, including graph grammars and Petri nets.

show abstract