References

1

M. Ajmone-Marsan, G. Balbo, and G. Conte. Performance models of multiprocessor systems. MIT Press Series in Computer Science (1986).

2

F. Bause. Queueing Petri Nets - a formalism for the combined qualitative and quantitative analysis of systems. In: PNPM'93, IEEE Press (1993) 14-23.

3

F. Bause, P. Buchholz, and P. Kemper. Hierarchically combined Queueing Petri Nets. In: G. Cohen, J. P. Quadrat (eds.), 11th Int. Conference on Analysis and Optimizations of Systems, Springer LNCIS 199 (1994) 176-182.

4

F. Bause and P. Kemper. QPN-Tool for the qualitative and quantitative analysis of Queueing Petri Nets. In: G. Haring, G. Kotsis (eds.); Computer Performance Evaluation, Modelling Techniques and Tools 94, Springer LNCS 794 (1994).

5

F. Bause, H. Kabutz, P. Kemper, P. Kritzinger. SDL and Petri net performance analysis of Communicating systems. 15th International Symposium on Protocol Specification, Testing and Verification, Warsaw (Poland), June 1995.

6

H. Beilner, J. Mäter, N. Weißenberg. Towards a performance modelling environment: news on HIT. In R. Puigjaner (ed.), Proc. of the 4th Int. Conf. on Modelling Tools and Techniques for Comp. Perf. Eval., Plenum Publishers (1988).

7

P. Buchholz. A hierarchical view of GCSPNs and its impact on qualitative and quantitative analysis. J. of Parallel and Distributed Computing 15 (1992) 207-224.

8

P. Buchholz. Aggregation and reduction techniques for hierarchical GCSPNs. In: PNPM'93, IEEE Press (1993) 216-225.

9

P. Buchholz. A class of hierarchical queueing networks and their analysis. Queueing Systems 15 (1994) 59-80.

10

G. Chiola, C. Dutheillet, G. Franceschini, S. Haddad. Stochastic well-formed coloured nets and multiprocessor modelling applications. IEEE Trans. on Comp. 42 (1993).

11

G. Chiola. GreatSPN 1.5 Software Architecture. In: G. Balbo and G. Serazzi (eds.), Computer Performance Evaluation, North Holland (1992) 121-136.

12

G. Ciardo, J. Muppala, K.S. Trivedi. SPNP: stochastic Petri net package. in PNPM'89, IEEE Press (1989) 142-151.

13

T. Demaria, G. Chiola, G. Bruno. Introducing a color formalism into Generalized Stochastic Petri nets. In: Proc. of the 9th Int. Workshop on Application and Theory of Petri Nets (1988) 202-215.

14

S. Donatelli. Superposed Generalized Stochastic Petri nets: definition and efficient solution. In R. Valette (ed.), Application and Theory of Petri Nets 1994, Springer LNCS 815 (1994) 258-277.

15

R. German, C. Kelling, A. Zimmermann, G. Hommel. TimeNET: a toolkit for evaluating non-markovian stochastic Petri nets. to appear in Performance Evaluation (1995).

16

P. Huber, K. Jensen, R.M. Shapiro. Hierarchies in coloured Petri nets. In: G. Rozenberg (ed.), Adv. in Petri Nets 1990, Springer LNCS 483 (1991) 215-243.

17

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

18

K. Lautenbach. Linear algebraic calculation of deadlocks and traps. In: K. Voss, H.J. Genrich, and G. Rozenberg (eds.). Concurrency and Nets, Springer (1987).

19

C. Lindemann. DSPNexpress: a software package for the efficient solution deterministic and stochastic Petri nets. to appear in Performance Evaluation (1995).

20

J. Martinez and M. Silva. A simple and fast algorithm to obtain all invariants of a generalized Petri net. Application and Theory of Petri Nets, Selected Papers 1st, 2nd Europ. Workshop on Application and Theory of Petri Nets, 1981.

21

B. Plateau, J.M. Forneau, K.H. Lee. PEPS: A package for solving complex Markov models of parallel systems. In R. Puigjaner (ed.), Proc. of the 4th Int. Conf. on Modelling Tools and Techniques for Comp. Perf. Eval., Plenum Publishers (1988).

22

D.A. Reed. Experimental analysis of parallel systems: techniques and open problems. In: G. Haring, G. Kotsis (eds.); Computer Performance Evaluation, Modelling Techniques and Tools 94, Springer LNCS 794 (1994).

23

W.H. Sanders, W.D. Obal, M.A. Qureshi, F.K. Widjanarko. The UltraSAN modelling environment. to appear in Performance Evaluation (1995).

24

W.J. Stewart. Introduction to the numerical solution of Markov chains. Princeton University Press (1994).