Well-Defined Stochastic Petri Nets


Formalisms based on stochastic Petri Nets (SPNs) can employ structural analysis to ensure that the underlying stochastic process is fully determined. The focus is on the detection of conflicts and confusions at the net level, but this might require to overspecify a given SPN model. The problem becomes even more critical when reward processes of interest… (More)
DOI: 10.1109/MASCOT.1996.501031

1 Figure or Table


  • Presentations referencing similar topics