Recently, in the area of modelling and analysis with Stochastic Well-formed Net it has been introduced a framework that shows promising results for efficient structural analysis. This paper, exploiting such framework, considers a basic task of most SWN analysis methods: the computation of the transitions enabled in a given marking. This task does not affect the efficiency of reachability graph construction only, but also the methods based on model-checking, and especially the discrete-event simulation, which is an interesting alternative when exact stochastic Markovian solutions of SWN are hard to obtain due to the state-space explosion problem or when more general probabilistic distributions are used in the model description.
|Titolo:||Efficient enabling test in simulation of SWN|
CAPRA, LORENZO (Primo)
|Settore Scientifico Disciplinare:||Settore INF/01 - Informatica|
|Data di pubblicazione:||2006|
|Enti collegati al convegno:||The European Multidisciplinary Society for Modelling and Simulation Technology|
|Tipologia:||Book Part (author)|
|Appare nelle tipologie:||03 - Contributo in volume|