Given a labeled Petri net, possibly with silent (unobservable) transitions, we are interested in performing marking estimation in a probabilistic setting. We assume a known initial marking or a known finite set of initial markings, each with some a prioriprobability, and our goal is to obtain the conditional probabilities of possible markings of the Petri net, conditioned on an observed sequence of labels. Under the assumptions that (i) the set of possible markings, starting from any reachable marking and following any arbitrarily long sequence of unobservable transitions, is bounded, and (ii) a characterization of the a priori probabilities of occurrence for each transition enabled at each reachable marking is available, explicitly or implicitly, we develop a recursive algorithm that efficiently performs current marking estimation.

Probabilistic marking estimation in labeled petri nets

CABASINO, MARIA PAOLA;SEATZU, CARLA
2015-01-01

Abstract

Given a labeled Petri net, possibly with silent (unobservable) transitions, we are interested in performing marking estimation in a probabilistic setting. We assume a known initial marking or a known finite set of initial markings, each with some a prioriprobability, and our goal is to obtain the conditional probabilities of possible markings of the Petri net, conditioned on an observed sequence of labels. Under the assumptions that (i) the set of possible markings, starting from any reachable marking and following any arbitrarily long sequence of unobservable transitions, is bounded, and (ii) a characterization of the a priori probabilities of occurrence for each transition enabled at each reachable marking is available, explicitly or implicitly, we develop a recursive algorithm that efficiently performs current marking estimation.
2015
labeled petri nets; current/initial marking estimation; probabilistic petri nets
File in questo prodotto:
File Dimensione Formato  
TAC15_CHS.pdf

Solo gestori archivio

Tipologia: versione editoriale
Dimensione 352.7 kB
Formato Adobe PDF
352.7 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

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: https://hdl.handle.net/11584/213940
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 27
  • ???jsp.display-item.citation.isi??? 22
social impact