GSPN models of Markovian multiserver multiqueue systems☆
References (18)
- et al.
Approximate analysis of non-exhaustive multiserver polling systems with applications to local area networks
Comput. Networks ISDN Systems
(1989) - et al.
A class of generalized stochastic Petri nets for the performance analysis of multiprocessor systems
ACM Trans. Comput. Systems
(1984) - et al.
Generalized stochastic Petri nets revisited: Random switches and priorities
- et al.
Design and analysis of multiple token ring networks
A graphical Petri net tool for performance analysis
Structural analysis for generalized stochastic Petri nets: Some results and prospects
- et al.
Introducing a color formalism into generalized stochastic Petri nets
- et al.
Regular stochastic Petri nets
- O.C. Ibe and K.S. Trivedi, Computer-aided analysis of polling systems, submitted for...
Cited by (39)
On compact solution vectors in Kronecker-based Markovian analysis
2017, Performance EvaluationCitation Excerpt :Two of them have been used as benchmarks in [14,27] and another model is from [28]. The first one is an availability model, the second one is a polling model from [29] with state independent transition rates, and the third one is a cloud computing model. The properties of these three models are given in Tables 1 and 2.
Markov Automata: Deciding weak bisimulation by means of non-naïvely vanishing states
2014, Information and ComputationBlock SOR for Kronecker structured representations
2004, Linear Algebra and Its ApplicationsAnalysis of random polling system with an infinite number of coupled servers and correlated input process
2003, Computers and Operations ResearchIntegrating TwoTowers and GreatSPN through a compact net semantics
2002, Performance EvaluationCitation Excerpt :Many variations of these types of systems have been investigated in the literature since they are quite easy to understand but their analysis is not trivial. Performance analysis of MSMQSs through GSPNs can be found in [2], while SPA models of MSMQSs are considered in [22]. Note that the symmetry in the roles of the servers and the queues is reflected at the net level by the presence of two subnets.
A Distributed Algorithm for GSPN Reachability Graph Generation
2001, Journal of Parallel and Distributed Computing
- ☆
Based on the paper “GSPN Models of Multiserver Multiqueue Systems” by M. Ajmone Marsan, S. Donatelli, F. Neri, which appeared in the Proceedings of PNPM89; © 1989 IEEE. This work was supported by the Telecommunications Project of the Italian National Research Council (C.N.R.), and by the Italian Ministry for University and Research.