Title :
Timed Petri nets and performance evaluation of systems
Author_Institution :
Dept. of Comput. Sci., Memorial Univ. of Newfoundland, St. John´´s, Nfld., Canada
Abstract :
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.
Keywords :
Petri nets; computer science education; educational courses; performance evaluation; reachability analysis; Memorial University; concurrent systems; discrete-event systems; graduate course; performance evaluation; timed Petri nets; Analytical models; Application software; Computer science; Discrete event simulation; Inhibitors; Performance analysis; Petri nets; Protocols; Reachability analysis; Stochastic processes;
Conference_Titel :
Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on
Print_ISBN :
0-7803-4778-1
DOI :
10.1109/ICSMC.1998.725422
