Efficient enabling test in simulation of SWN

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.