References

1

M. Ajmone-Marsan, G. Balbo, G. Conti. Performance Models of Multiprocessor Systems. MIT Press Series in Computer Science, 1986.

2

M. Ajmone-Marsan, G. Conti, G. Balbo. A class of Generalised Stochastic Petri Nets for the performance evaluation of multiprocessor systems. ACM Transactions on Computer Systems, 2:93-122, 1984.

3

F. Bause. Queueing Petri Nets: a formalism for the combined qualitative and quantitative analysis of systems. In [21].

4

F. Bause, H. Beilner. Eine Modellwelt zur Integration von Warteschlangen- und Petri-Netz-Modellen. In Proceedings of the 5th GI/ITG-Fachtagung, Messung, Modellierung und Bewertung von Rechensystemen und Netzen, pages 190-204. Gesellschaft für Informatik (GI), Braunschweig (Germany), September 1989.

5

F. Bause, P. Buchholz, P. Kemper. Hierarchically Combined Queueing Petri Nets. 11th International Conference on Analysis and Optimizations of Systems, Discrete Event Systems, Sophia-Antipolis (France), June 1994.

6

F. Bause, P. Kemper. Queueing Petri nets. In Proceedings of the 3rd Fachtagung Entwurf komplexer Automatisierungssysteme, Braunschweig. Technische Universität Braunschweig (Germany), May 1993.

7

E. Gelenbe, G. Pujolle. Introduction to Queueing Networks. John Wiley &Sons, 1987.

8

P. Buchholz. Die strukturierte Analyse Markovscher Modelle. Informatik-Fachberichte, 282, Springer, 1991.

9

P. Buchholz, J. Dunkel, B. Müller-Clostermann, M. Sczittnick, S. Zäske. Quantitative Systemanalyse mit Markovschen Ketten. Eine Darstellung für Informatiker und Ingenieure Teubner-Verlag, to be published.

10

G. Chiola, G. Bruno, T. Demaria. Introducing a Color Formalism into Generalized Stochastic Petri Nets. In Proceedings of the 9th International Workshop on Application and Theory of Petri Nets, Venice (Italy), pp 202-215, 1988.

11

G. Chiola. GreatSPN 1.5 Software Architecture. In Proceedings of the 5th International Conference Modeling Techniques and Tools for Computer Performance Evaluation, Torino (Italy), Feb. 1991.

12

G. Ciardo, J. Muppala, K. Trivedi. SPNP: Stochastic Petri Net Package. In [19].

13

P. Kemper. Linear time algorithm to find a minimal deadlock in a strongly connected free-choice net. In M. Ajmone-Marsan, editor, Application and Theory of Petri Nets 1993, LNCS 691, pages 319-338, Berlin, 1993. Springer.

14

P. Kemper, F. Bause. An efficient polynomial-time algorithm to decide liveness and boundedness of free-choice nets. In K. Jensen, editor, Application and Theory of Petri Nets 1992, LNCS 616, pages 263-278, Berlin, 1992. Springer.

15

L. Kleinrock. Queueing Systems. Volume 1: Theory. John Wiley and Sons, 1975.

16

K. Lautenbach. Linear algebraic calculation of deadlocks and traps. In K. Voss, H.J. Genrich, and G. Rozenberg, editors, Concurrency and Nets, Advances of Petri Nets, Berlin, 1987. Springer.

17

J.L. Peterson. Petri Nets and the Modelling of Systems. MIT Press Series in Computer Science, 1981.

18

Proceedings of the 2nd International Workshop on Petri Nets and Performance Models, Madison (USA). IEEE Computer Society Press, 1987.

19

Proceedings of the 3rd International Workshop on Petri Nets and Performance Models, Kyoto (Japan). IEEE Computer Society Press, 1989.

20

Proceedings of the 4th International Workshop on Petri Nets and Performance Models, Melbourne (Australia). IEEE Computer Society Press, 1991.

21

Proceedings of the 5th International Workshop on Petri Nets and Performance Models, Toulouse (France). IEEE Computer Society Press, 1993.

22

W. Reisig. Petri Nets. An Introduction, volume 4. EATCS Monographs on Theoretical Computer Science, Berlin, 1985, Springer.