Discovering of the unobservable behaviour of an Interpreted Petri Net model - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Discovering of the unobservable behaviour of an Interpreted Petri Net model

Francesco Basile
  • Fonction : Auteur
  • PersonId : 1061265
Luigi Ferrara
  • Fonction : Auteur
  • PersonId : 1061266

Résumé

This paper focuses on the problem of discovering a Petri Net model from long event sequences generated by a discrete event system. Precisely, it is assumed that the behavior of the relations between input and output events (i.e. the observable behaviour of the system) is already modeled by a set of Interpreted Petri Net fragments while the behavior of the internal state evolutions (i.e. the unobservable behaviour) must be discovered. An approach inspired to net synthesis is proposed. It relies on an optimization-based procedure for the identification of the unobservable structure, consisting of a set of places only without adding new transitions, and the initial marking of the added places.

Domaines

Automatique
Fichier principal
Vignette du fichier
BasileFerraraFarautLesageCDC19.pdf (2.39 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04484317 , version 1 (29-02-2024)

Identifiants

  • HAL Id : hal-04484317 , version 1

Citer

Francesco Basile, Gregory Faraut, Luigi Ferrara, Jean-Jacques Lesage. Discovering of the unobservable behaviour of an Interpreted Petri Net model. 58th IEEE Conf. on Decision and Control (CDC’19), Dec 2019, Nice, France. pp. 2021-2026. ⟨hal-04484317⟩
2 Consultations
2 Téléchargements

Partager

Gmail Facebook X LinkedIn More