Diagnostic temporel dans les systèmes répartis à l'aide de dépliages de réseaux de Petri temporels

Claude Jard; Thomas Chatain; Pierre Bourhis

doi:10.3166/jesa.39.351-365

Diagnostic temporel dans les systèmes répartis à l'aide de dépliages de réseaux de Petri temporels

Translated title of the contribution: Temporal diagnosis of distributed systems using extensions of time Petri nets

Claude Jard, Thomas Chatain, Pierre Bourhis

ENS Paris-Saclay

Research output: Contribution to journal › Article › peer-review

Abstract

Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction, from event (e.g. alarm) observations. We follow a so-called true concurrency approach using time Petri nets: the model defines explicitly the causal and concurrency relations between the observable events, produced by the system under supervision on different points of observation, and constrained by time aspects.

Translated title of the contribution	Temporal diagnosis of distributed systems using extensions of time Petri nets
Original language	French
Pages (from-to)	351-365
Number of pages	15
Journal	Journal Europeen des Systemes Automatises
Volume	39
Issue number	1-3
DOIs	https://doi.org/10.3166/jesa.39.351-365
Publication status	Published - 1 Jan 2005
Externally published	Yes

Access to Document

10.3166/jesa.39.351-365

Cite this

@article{a1e42fc37e284caf9cec20b93cb358bc,

title = "Diagnostic temporel dans les syst{\`e}mes r{\'e}partis {\`a} l'aide de d{\'e}pliages de r{\'e}seaux de Petri temporels",

abstract = "Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction, from event (e.g. alarm) observations. We follow a so-called true concurrency approach using time Petri nets: the model defines explicitly the causal and concurrency relations between the observable events, produced by the system under supervision on different points of observation, and constrained by time aspects.",

keywords = "Distributed systems, Supervision, diagnosis, Time Petri nets",

author = "Claude Jard and Thomas Chatain and Pierre Bourhis",

year = "2005",

month = jan,

day = "1",

doi = "10.3166/jesa.39.351-365",

language = "Fran{\c c}ais",

volume = "39",

pages = "351--365",

journal = "Journal Europeen des Systemes Automatises",

issn = "1269-6935",

number = "1-3",

}

TY - JOUR

T1 - Diagnostic temporel dans les systèmes répartis à l'aide de dépliages de réseaux de Petri temporels

AU - Jard, Claude

AU - Chatain, Thomas

AU - Bourhis, Pierre

PY - 2005/1/1

Y1 - 2005/1/1

N2 - Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction, from event (e.g. alarm) observations. We follow a so-called true concurrency approach using time Petri nets: the model defines explicitly the causal and concurrency relations between the observable events, produced by the system under supervision on different points of observation, and constrained by time aspects.

AB - Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction, from event (e.g. alarm) observations. We follow a so-called true concurrency approach using time Petri nets: the model defines explicitly the causal and concurrency relations between the observable events, produced by the system under supervision on different points of observation, and constrained by time aspects.

KW - Distributed systems

KW - Supervision, diagnosis

KW - Time Petri nets

U2 - 10.3166/jesa.39.351-365

DO - 10.3166/jesa.39.351-365

M3 - Article

AN - SCOPUS:33645867676

SN - 1269-6935

VL - 39

SP - 351

EP - 365

JO - Journal Europeen des Systemes Automatises

JF - Journal Europeen des Systemes Automatises

IS - 1-3

ER -

Diagnostic temporel dans les systèmes répartis à l'aide de dépliages de réseaux de Petri temporels

Abstract

Access to Document

Fingerprint

Cite this