This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Stochastic High-Level Petri Nets and Applications
July 1988 (vol. 37 no. 7)
pp. 815-825
A class of stochastic Petri nets called stochastic high-level Petri nets (SHLPNs) is proposed. SHLPNs are high-level Petri nets augmented with exponentially distributed firing times. SHLPNs generally lead to models with a smaller state space. A computer marking concept is introduced that allows a considerable reduction of the number of states and induces a correct grouping of states in the Mark

[1] G. Chiola, "A software package for the analysis of Generalized Stochastic Petri Net models," inProc. Int. Workshop Timed Petri Nets, July 1985.
[2] J. Dugan, A. Bobbio, G. Ciardo, and K. Trivedi, "The design of a unified package for the solution of stochastic petri net models," inProc. Int. Workshop Timed Petri Nets, Torino, Italy, 1985.
[3] J. B. Dugan, K. S. Trivedi, R. M. Geist, and V. F. Nicola, "Extended stochastic petri nets: Applications and analysis," inProc. 10th Int. Symp. Comput. Performance (PERFORMANCE 84), Dec. 1984, pp. 507-520.
[4] E. Gelenbe and I. Mitrani,Analysis and Synthesis of Computer Systems. New York: Academic, 1980.
[5] H. J. Genrich and K. Lautenbach, "The analysis of distributed systems by means of predicate/transition nets," inSemantics of Concurrent Computation, G. Kahn Ed. New York: Springer-Verlag, 1979, pp. 123-146; also in Lect. Notes in Computer Sciences, vol. 70.
[6] J. H. Genrich and K. Lautenbach, "System modeling with high-level Petri nets,"Theoret. Comput. Sci., vol. 13, pp. 109-136, 1981.
[7] P. Huber, A. M. Jensen, L. O. Jepsen, and K. Jensen, "Towards reachability trees for high-level Petri nets,"Lecture Notes Comput. Sci., vol. 188, pp. 215-233, 1985.
[8] M. Iosifescu,Finite Markov Processes and their Applications. New York: Wiley, 1980.
[9] K. Jensen, "Coloured Petri nets and the invariant-method,"Theoret. Comput. Sci., vol. 14, pp. 317-336, 1981.
[10] K. Jensen, "High-level Petri nets,"Appl. Theory of Petri Nets, vol. 66, pp. 166-180, Sept. 1982 (Proc. 3rd Eur. Workshop on Appl. and Theory of Petri Nets.)
[11] C. Lin and D. C. Marinescu, "Application of modified predicate transition nets to modeling and simulation of communication protocols," Comput. Sci. Dep., Purdue Univ., Tech. Rep. CSD-TR-599, May 1986.
[12] D. C. Marinescu and J. R. Rice, "Domain oriented analysis of PDE splitting algorithms,"J. Inform. Sci., vol. 43, pp. 3-24, 1987.
[13] M. Ajmone Marsan, G. Balbo, and G. Conte, "A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems,"ACM Trans. Comput. Syst., vol. 2, pp. 93-122, May 1984.
[14] M. A. Marsan, G. Balbo, A. Bobbio, Ct. Chiola, G. Conte, and A. C. Cumani, "On Petri nets with stochastic timing," inProc. Int. Workshop Timed Petri Nets, Torino, Italy, July 1985, pp. 80-87.
[15] J. F. Meyer, A. Movaghar, and W. H. Sanders, "Stochastic activity networks: Structure, behavior, and application," inProc. Int. Workshop Timed Petri Nets, Torino, Italy, July 1985, pp. 106-115.
[16] M. K. Molloy, "Performance analysis using stochastic Petri nets,"IEEE Trans. Comput., vol. C-31, pp. 913-917, Sept. 1982.
[17] M. K. Molloy, "Discrete time stochastic Petri nets,"IEEE Trans. Software Eng., vol. SE-11, Apr. 1985.
[18] S. Natkin, "Les reseaux de Petri stochastique et leur application a l' evaluation des systems informatiques," These de Docteur Ingegneur, CNAM, Paris, 1980.
[19] C. V. Ramamoorthy and G. S. Ho, "Performance evaluation of asynchronous concurrent systems using Petri nets,"IEEE Trans. Software Eng., vol. SE-6, pp. 440-449, Sept. 1980.
[20] W. Reisig, "Petri nets with individual tokens,"Informatik-Fachberichte, vol. 66, pp. 229-249, 1983.
[21] J. Sifakis,Use of Petri Nets for Performance Evaluation in Measuring, Modelling, and Evaluating Computer Systems. Amsterdam, The Netherlands: North-Holland, 1977, pp. 75-93.
[22] K. S. Trivedi,Probability and Statistics with Reliability, Queueing and Computer Science Applications. Englewood Cliffs, NJ: Prentice-Hall, 1982.
[23] A. Zeine, "Coloured stochastic Petri nets," inProc. Int. Workshop Timed Petri Nets, Torino, Italy, July 1985, pp. 262-271.

Index Terms:
stochastic high level Petri nets; models; computer marking concept; multiprocessor systems; directed graphs; multiprocessing systems; stochastic processes.
Citation:
C. Lin, D.C. Marinescu, "Stochastic High-Level Petri Nets and Applications," IEEE Transactions on Computers, vol. 37, no. 7, pp. 815-825, July 1988, doi:10.1109/12.2227
Usage of this product signifies your acceptance of the Terms of Use.