Proceedings of the Fourth International Workshop on Petri Nets and Performance Models (1991)
Melbourne, Victoria, Australia
Dec. 2, 1991 to Dec. 5, 1991
M.A. Marsan , Dipartimento di Elettronica, Politecnico di Torino, Italy
The GSPN modeling technique can be used in may different ways. It allows the simple development of detailed, easy-to-understand models of complex systems, that typically are very costly to solve due to their exceedingly large state spaces. However, GSPNs can also be used to develop compact, abstract models with much smaller state spaces at the expense of a greater modeling effort. The authors use an example to show how a compact GSPN model can be developed by progressively abstracting the description of the system behaviour, starting with a very simple and detailed model. The chosen example is a multiserver random polling system.<
performance evaluation, Petri nets, queueing theory, stochastic automata
M. Marsan, S. Donatelli, F. Neri and U. Rubino, "On the construction of abstract GSPNs: an exercise in modeling," Proceedings of the Fourth International Workshop on Petri Nets and Performance Models(PNPM), Melbourne, Victoria, Australia, , pp. 2-17.