Timed Petri nets and performance evaluation of systems

Several simple applications of timed Petri nets to modeling and performance analysis of concurrent systems are presented as an illustration of a uniform approach to analysis of a wide class of discrete-event systems. Such a unified approach is used in a graduate course on performance evaluation of systems at Memorial University.

[1]  Frits Feldbrugge,et al.  Petri Net Tool Overview 1992 , 1991, Applications and Theory of Petri Nets.

[2]  Rainer Fehling,et al.  A Concept of Hierarchical Petri Nets with Building Blocks , 1991, Applications and Theory of Petri Nets.

[3]  Rüdiger Valk.  Test on Zero in Petri Nets , 1981, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets.

[4]  Peter Buchholz,et al.  Hierarchical structuring of superposed GSPNs , 1997, Proceedings of the Seventh International Workshop on Petri Nets and Performance Models.

[5]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[6]  Mary K. Vernon,et al.  Exact Performance Estimates for Multiprocessor Memory and Bus Interference , 1987, IEEE Transactions on Computers.

[7]  Tilak Agerwala,et al.  Special Feature: Putting Petri Nets to Work , 1979, Computer.

[8]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[9]  Wlodzimierz M. Zuberek,et al.  Timed Petri nets definitions, properties, and applications , 1991 .

[10]  Tilak Agerwala,et al.  Comments on capabilities, limitations and “correctness” of Petri nets , 1973, ISCA 1973.

[11]  Kurt Jensen,et al.  Coloured Petri Nets , 1997, Monographs in Theoretical Computer Science An EATCS Series.

[12]  Peter Buchholz,et al.  Hierarchical High Level Petri Nets for Complex System Analysis , 1994, Application and Theory of Petri Nets.

[13]  T. Agerwala,et al.  Putting Petri nets to work , 1989 .