Proceedings of the Fourth International Workshop on Petri Nets and Performance Models (1991)

Melbourne, Victoria, Australia

Dec. 2, 1991 to Dec. 5, 1991

ISBN: 0-8186-2285-7

pp: 2-17

M.A. Marsan , Dipartimento di Elettronica, Politecnico di Torino, Italy

ABSTRACT

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.<>

INDEX TERMS

performance evaluation, Petri nets, queueing theory, stochastic automata

CITATION

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.

doi:10.1109/PNPM.1991.238786

CITATIONS