Well-Defined Stochastic Petri Nets

Abstract

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

Topics

  • Presentations referencing similar topics