
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
G. Chiola, M.A. Marsan, G. Balbo, G. Conte, "Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications," IEEE Transactions on Software Engineering, vol. 19, no. 2, pp. 89107, February, 1993.  
BibTex  x  
@article{ 10.1109/32.214828, author = {G. Chiola and M.A. Marsan and G. Balbo and G. Conte}, title = {Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications}, journal ={IEEE Transactions on Software Engineering}, volume = {19}, number = {2}, issn = {00985589}, year = {1993}, pages = {89107}, doi = {http://doi.ieeecomputersociety.org/10.1109/32.214828}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Software Engineering TI  Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications IS  2 SN  00985589 SP89 EP107 EPD  89107 A1  G. Chiola, A1  M.A. Marsan, A1  G. Balbo, A1  G. Conte, PY  1993 KW  generalized stochastic Petri net; qualitative behavior; structural analysis; structural properties; firing probabilities; netlevel specification; model specification; formal specification; performance evaluation; Petri nets; stochastic processes VL  19 JA  IEEE Transactions on Software Engineering ER   
The class of Petri nets obtained by eliminating timing from generalized stochastic Petri net (GSPN) models while preserving the qualitative behavior is identified. Structural results for those nets are derived, obtaining the first structural analysis of Petri nets with priority and inhibitor arcs. A revision of the GSPN definition based on the structural properties of the models is presented. It is shown that for a (wide) class of nets, the definition of firing probabilities of conflicting immediate transitions does not require the information on reachable markings. Identification of the class of models for which the netlevel specification is possible is also based on the structural analysis results. The procedure for the model specification is illustrated by means of an example. It is also shown that a netlevel specification of the model associated with efficient structural analysis techniques can have a substantial impact on model analysis.
[1] 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. 93122, May 1984.
[2] M. Ajmone Marsan, G. Balbo, G. Chiola, and G. Conte, "Generalized stochastic Petri nets revisited: Random switches and priorities," inProc. Int. Workshop Petri Nets and Performance Models, Madison, WI, IEEE Computer Society Press, Aug. 1987, pp. 4453.
[3] W. Reisig, "Petri nets: An introduction," inEATCS Monographs on Theoretical Computer Science. New York: SpringerVerlag, 1985.
[4] J. L. Peterson,Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: PrenticeHall, 1981.
[5] T. Murata, "Petri nets: Properties, analysis, and applications,"Proc. IEEE, vol. 77, no. 4, pp. 541580, Apr. 1989.
[6] E. Best and C. Fernandez, "Notations and terminology on Petri net theory," GMD, St. Augustin, Germany, Tech. Rep. 195, 1986.
[7] M. Ajmone Marsan, G. Balbao, and G. Conte,Performance Modeling of Multiprocessor Systems. Cambridge, MA: MIT Press, 1986.
[8] M. Ajmone Marsan, G. Balbo, G. Chiola, and G. Conte, "Modeling the software architecture of a prototype parallel machine," inProc. 1987 SIGMETRICS Conf., Alberta, Canada, May 1987.
[9] J. B. Dugan and G. Ciardo, "Stochastic Petri net analysis of a replicated file system,"IEEE Trans. Software Eng., vol. 15, no. 4, pp. 394401, 1989.
[10] H. H. Ammar, S. M. R. Islam, and S. Deng, "Performability analysis of parallel and distributed algorithms," inProc. 3rd Int. Workshop on Petri Nets and Performance Models, Kyoto, Japan, Dec. 1989.
[11] G. Balbo, G. Chiola, S. C. Bruell, and P. Chen, "An example of modelling and evaluation of a concurrent program using coloured stochastic Petri nets: Lamport's fast mutual exclusion algorithm,"IEEE Trans. Parallel Distributed Syst., vol. 3, no. 2, pp. 221240, Mar. 1992.
[12] E. Gressier, "A stochastic Petric net model for ethernet," inProc. Int. Workshop on Timed Petri Nets, Torino, Italy, July 1985.
[13] O. C. Ibe and K. S. Trivedi, "Stochastic petri net models of polling systems,"IEEE J. Select. Areas Commun., vol. 8, no. 9, Dec. 1990.
[14] M.A. Marsan, S. Donatelli, and F. Neri, "Gspn models of Markovian multiserver multiqueue systems,"Perform. Eval., vol. 11, no. 4, Nov. 1990.
[15] G. Bruno and P. Biglia, "Performance evaluation and validation of tool handling in flexible manufactoring systems using Petri nets," inProc. Int. Workshop Timed Petri Nets, Torino, Italy, July 1985.
[16] G. Balbo, G. Chiola, G. Franceschinis, and G. Molinar Roet, "Generalized stochastic Petri nets for the performance evaluation of fms," inProc. 1987 Int. Conf. Robotics Automat., Raleigh, NC, Apr. 1987, pp. 10131018.
[17] G. Chiola, S. Donatelli, and G. Franceschinis, "GSPN versus SPN: What is the actual role of immediate transitions?" inProc. 4th Int. Workshop Petri Nets and Performance Models, Melbourne, Australia, Dec. 1991, pp. 2031.
[18] J. Campos, G. Chiola, and M. Silva, "Ergodicity and throughput bounds for Petri nets with unique consistent firing count vector,"IEEE Trans. Software Eng., vol. 17, no. 2, pp. 117125, Feb. 1991.
[19] J. Campos, G. Chiola, and M. Silva, "Properties and performance bounds for closed free choice synchronized monoclass queueing networks,"IEEE Trans. Automatic Contr., vol. 36, no. 12, pp. 1368382, Dec. 1991.
[20] G. Balbo, G. Chiola, G. Franceschinis, and G. Molinar Roet, "On the efficient construction of the tangible reachability graph of generalized stochastic Petri nets," inProc. Int. Workshop Petri Nets and Performance Models, Madison, WI, Aug. 1987.
[21] G. Chiola, "Compiling techniques for the analysis of stochastic Petri nets," in R. Puigjaner and D. Potier, Eds.,Proc. 4th Int. Conf. Modeling Techniques and Tools for Computer Performance Evaluation, Palma de Mallorca, Spain, Sept. 1988.
[22] G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad, "Stochastic wellformed coloured nets and multiprocessor modelling applications," in K. Jensen and G. Rozenberg, Eds.,HighLevel Petri Nets. Theory and Application. New York: SpringerVerlag, 1991.
[23] G. Chiola, "GreatSPN1:5 software architecture," inProc. 5th Int. Conf. Modeling Techniques and Tools for Computer Performance Evaluation, Torino, Italy, Feb. 1991.
[24] G. Chiola, G. Franceschinis, and R. Gaeta, "A symbolic simulation mechanism for wellformed coloured Petri nets," inProc. 25th SCS Annual Simulation Symp., Orlando, FL, April 1992.
[25] M. Ajmone Marsan, G. Chiola, and A. Fumagalli, "Improving the efficiency of the analysis of DSPN models," in G. Rozenberg, Ed.,Advances on Petri Nets '89, vol. 424,LNCS. New York: SpringerVerlag, 1990.
[26] M. K. Molloy, "Performance analysis using stochastic Petri nets,"IEEE Trans. Comput., vol. C31, no. 9, pp. 913917, Sept. 1982.
[27] G. Florin and S. Natkin, "Les reseaux de Petri stochastiques,"Technique et Science Informatiques, vol. 4, no. 1, Feb. 1985.
[28] 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. 507520.
[29] E. Best and M. Koutny, "Partial order semantics of priority systems," DEMON Esprit B.R.A., Institut für Informatik, Universität Hildesheim, Germany, Tech. Rep., 1990.
[30] G. Chiola, S. Donatelli, and G. Franceschinis, "Priorities, inhibitor arcs, and concurrency in P/T nets," inProc. 12th Int. Conf. Application and Theory of Petri Nets, Aarhus, Denmark, June 1991.
[31] G. Chiola, S. Donatelli, and G. Franceschinis, "On parametric P/T nets and their modelling power," inProc. 12th Int. Conf. Application and Theory of Petri Nets, Aarhus, Denmark, June 1991.
[32] G. Chiola, "Structural analysis for generalized stochastic Petri nets: Some result and prospects," inProc. 8th European Workshop on Application and Theory of Petri Nets, Zaragoza, Spain, June 1987, pp. 317332.
[33] J. Martinez and M. Silva, "A simple and fast algorithm to obtain all invariants of a generalised Petri net,"Second European Workshop on Application and Theory of Petri Nets, 1982, pp. 301310.
[34] P. S. Thiagarajan, "Elementary net systems," in W. Brawer, W. Reisig, and G. Rozenberg, Eds.,Advances on Petri Nets '86Part I, vol. 254 ofLNCS. Bad Honnef, Germany: SpringerVerlag, 1987.
[35] E. Best, "Structure theory of Petri nets: The free choice hiatus," in W. Brawer, W. Reisig, and G. Rozenberg, Eds.,Advances on Petri Nets '86Part I, vol. 254,LNCS. Bad Honnef, Germany: SpringerVerlag, 1987, pp. 168205.
[36] M. K. Molloy, "Discrete time stochastic Petri nets,"IEEE Trans. Software Eng., vol. SE11, Apr. 1985.
[37] W. M. Zuberek, "Timed Petri nets and preliminary performance evaluation," inProc. 7th Annu. Symp. Computer Architecture, May 68, 1980, pp. 8896.
[38] R. R. Razouk and C. V. Phelps, "Performance analysis using timed Petri nets," inProc. Int. Conf. on Parallel Processing, Aug. 1984, pp. 126129.
[39] M.A. Holliday and M.K. Vernon, "A Generalized Timed Petri Nets Model for Performance Analysis,"Proc. Int'l Workshop Timed Petri Nets, IEEE Computer Society Press, July 1985.
[40] 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. 8087.
[41] M. Ajmone Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte, and A. Cumani, "The effect of execution policies on the semantics and analysis of stochastic Petri nets,"IEEE Trans. Software Eng., vol. 15, no. 7, pp. 832846, July 1989.
[42] A. Zeine, "Coloured stochastic Petri nets," inProc. Int. Workshop Timed Petri Nets, Torino, Italy, July 1985, pp. 262271.
[43] C. Lin and D. C. Marinescu, "Stochastic high level Petri nets and applications,"IEEE Trans. Comput., vol. 37, no. 7, pp. 815825, July 1988.
[44] C. Dutheillet and S. Haddad, "Aggregation of states in colored stochastic Petri nets: application to a multiprocessor architecture," inProc. 3rd Int. Workshop on Petri Nets and Performance Models(Kyoto, Japan), Dec. 1989, pp. 4049.
[45] G. Bruno and G. Marchetto, "Processtranslatable Petri nets for the rapid prototyping of process control systems,"IEEE Trans. Software Eng., vol. SE12, Feb. 1986.
[46] G. Chiola and S. Donatelli, "A framework for studying sets of related petri net models," UniversitéParis 6, Paris, France, Institut Bloise Pascal Tech. Rep. 90/51, July 1990.