The Community for Technology Leaders
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
96 ms
(Ver 3.3 (11022016))