The paper addresses the problem of the on-line identification of Petri Nets (PNs) modeling Discrete Event Systems (DESs) that exhibit unobservable events. The identifier monitors the DES events and the corresponding available place markings. Assuming that the observable transition set, the place set and the corresponding PN structure are known, at each event occurrence an identification algorithm defines and solves some integer linear programming problems. We prove that the complete PN system describing both the observable and unobservable DES behavior is recursively identified. An example shows an application of the proposed technique.

On-Line Identification of Petri Nets with Unobservable Transitions

Dotoli, M;Fanti, MP;Mangini, AM;
2008

Abstract

The paper addresses the problem of the on-line identification of Petri Nets (PNs) modeling Discrete Event Systems (DESs) that exhibit unobservable events. The identifier monitors the DES events and the corresponding available place markings. Assuming that the observable transition set, the place set and the corresponding PN structure are known, at each event occurrence an identification algorithm defines and solves some integer linear programming problems. We prove that the complete PN system describing both the observable and unobservable DES behavior is recursively identified. An example shows an application of the proposed technique.
9th International Workshop on Discrete Event Systems, WODES' 08
978-1-4244-2592-1
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11589/21087
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • Scopus 3
  • ???jsp.display-item.citation.isi??? 2
social impact