Embedded Processes in Stochastic Petri Nets
IEEE Transactions on Software Engineering
Product form equilibrium distributions and a convolution algorithm for stochastic Petri nets
Performance Evaluation
Mean value analysis of stochastic Petri nets
Performance Evaluation
Open, Closed, and Mixed Networks of Queues with Different Classes of Customers
Journal of the ACM (JACM)
Modelling with Generalized Stochastic Petri Nets
ACM SIGMETRICS Performance Evaluation Review - Special issue on Stochastic Petri Nets
Representing LCFSPR BCMP service center with Coxian service time by GSPN
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Transformations in Reconfigurable Place/Transition Systems
Concurrency, Graphs and Models
A general result for deriving product-form solutions in markovian models
Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering
Independence of net transformations and token firing in reconfigurable place/transition systems
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Product form approximations for communicating Markov processes
Performance Evaluation
Methodological construction of product-form stochastic Petri nets for performance evaluation
Journal of Systems and Software
Operational semantics for product-form solution
EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
Operational semantics for product-form solution
EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
| Hi-index | 0.00 |
In this paper, we show the structural characteristics that a particular class of Generalized Stochastic Petri Nets must exhibit in order for their stationary probabilities to have a product-form. Sufficient conditions for identifying such a class are derived and proven with the development of a series of transformations that can also be used to construct, for any GSPN of the class, an equivalent SPN. These resulting SPNs represent the structures that can be analyzed with standard methods for Product-Form SPNs to establish whether the original GSPNs have Product-Form solutions and to compute their performance indices with effective approaches based on computationally efficient algorithms that avoid the generation of their underlying state spaces.