GSPN models of Markovian multiserver multiqueue systems

GSPN models of random, cyclic, and optimal 1-limited multiserver multiqueue systems

SIGCOMM '91 Proceedings of the conference on Communications architecture & protocols

Stochastic Automata Network of Modeling Parallel Systems

IEEE Transactions on Software Engineering

State space reductions using stochastic well-formed net simplifications: an application to random polling systems

Proceedings of the 1995 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems

Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications

IEEE Transactions on Software Engineering

Integrating TwoTowers and GreatSPN through a compact net semantics

Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras

Analysis of random polling system with an infinite number of coupled servers and correlated input process

Computers and Operations Research