{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,5,16]],"date-time":"2022-05-16T21:25:11Z","timestamp":1652736311795},"publisher-location":"Berlin, Heidelberg","reference-count":57,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540524946","type":"print"},{"value":"9783540469988","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-52494-0_23","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:32:10Z","timestamp":1330205530000},"page":"1-29","source":"Crossref","is-referenced-by-count":72,"title":["Stochastic Petri nets: An elementary introduction"],"prefix":"10.1007","author":[{"given":"M. Ajmone","family":"Marsan","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"1_CR1","series-title":"Tech. Rep. Rep.","volume-title":"Communication with Automata","author":"C.A. Petri","year":"1966","unstructured":"C.A. Petri, \u201cCommunication with Automata\u201d, Tech. Rep. Rep. RADC-TR-65-377, Rome Air Dev. Center, New York, NY, 1966."},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"W. Reisig, Petri Nets: an Introduction, Springer Verlag, 1985.","DOI":"10.1007\/978-3-642-69968-9"},{"key":"1_CR3","volume-title":"Petri Net Theory and the Modeling of Systems","author":"J.L. Peterson","year":"1981","unstructured":"J.L. Peterson, Petri Net Theory and the Modeling of Systems, Prentice-Hall, Englewood Cliffs, NJ, 1981."},{"key":"1_CR4","volume-title":"Introduction to Stochastic Processes","author":"E. Cinlar","year":"1975","unstructured":"E. Cinlar, Introduction to Stochastic Processes, Prentice-Hall, Englewood Cliffs, NJ, 1975."},{"key":"1_CR5","volume-title":"An Introduction to Probability Theory and Its Applications","author":"W. Feller","year":"1966","unstructured":"W. Feller, An Introduction to Probability Theory and Its Applications, John Wiley, New York, NY, 1966."},{"key":"1_CR6","volume-title":"Dynamic Probabilistic Systems","author":"R.A. Howard","year":"1971","unstructured":"R.A. Howard, Dynamic Probabilistic Systems, John Wiley, New York, NY, 1971."},{"key":"1_CR7","volume-title":"Queueing Systems Volume I: Theory","author":"L. Kleinrock","year":"1975","unstructured":"L. Kleinrock, Queueing Systems Volume I: Theory, John Wiley, New York, NY, 1975."},{"key":"1_CR8","volume-title":"The Single Server Queue","author":"J.W. Cohen","year":"1969","unstructured":"J.W. Cohen, The Single Server Queue, American Elsevier, New York, NY, 1969."},{"key":"1_CR9","volume-title":"Queues","author":"D.R. Cox","year":"1961","unstructured":"D.R. Cox and W.L. SmithQueues, John Wiley, New York, NY, 1961."},{"key":"1_CR10","volume-title":"Introduction to Queueing Theory","author":"R.B. Cooper","year":"1972","unstructured":"R.B. Cooper, Introduction to Queueing Theory, Mac Millan New York, NY, 1972."},{"key":"1_CR11","volume-title":"Computer Performance Modeling Handbook","author":"S.S. Lavenberg","year":"1983","unstructured":"S.S. Lavenberg, Computer Performance Modeling Handbook, Academic Press, New York, NY, 1983."},{"key":"1_CR12","volume-title":"Analysis and Synthesis of Computer Systems","author":"E. Gelenbe","year":"1980","unstructured":"E. Gelenbe and I. Mitrani, Analysis and Synthesis of Computer Systems, Academic Press, New York, NY, 1980."},{"key":"1_CR13","volume-title":"Performance Models of Multiprocessor Systems","author":"M. Ajmone Marsan","year":"1986","unstructured":"M. Ajmone Marsan, G. Balbo and G. Conte, Performance Models of Multiprocessor Systems, The MIT Press, Cambridge, Massachusetts, 1986."},{"key":"1_CR14","unstructured":"S. Natkin, \u201cLes Reseaux de Petri Stochastiques et leur Application a l'Evaluation des Syst\u00e8mes Informatiques\u201d, Th\u00e8se de Docteur Ingegneur, CNAM, Paris, France, 1980."},{"key":"1_CR15","unstructured":"M.K. Molloy, \u201cOn the Integration of Delay and Throughput Measures in Distributed Processing Models\u201d, Ph.D. Thesis, UCLA, Los Angeles, CA, 1981."},{"issue":"1","key":"1_CR16","first-page":"28","volume":"14","author":"F.J.W. Symons","year":"1980","unstructured":"F.J.W. Symons, \u201cIntroduction to Numerical Petri Nets, a General Graphical Model of Concurrent Processing Systems\u201d, Australian Telecommunications Research, Vol. 14, n. 1, pp. 28\u201333, January 1980.","journal-title":"Australian Telecommunications Research"},{"key":"1_CR17","first-page":"20","volume":"13","author":"F.J.W. Symons","year":"1980","unstructured":"F.J.W. Symons, \u201cThe Description and Definition of Queueing Systems by Numerical Petri Nets\u201d, Australian Telecommunications Research, Vol. 13, pp. 20\u201331, 1980.","journal-title":"Australian Telecommunications Research"},{"key":"1_CR18","unstructured":"M. Ajmone Marsan, A. Bobbio, G. Conte, A. Cumani \u201cPerformance Analysis of Degradable Multiprocessor Systems using Generalized Stochastic Petri Nets\u201d, Distributed Processing T-C Newsletters, IEEE Computer Society, n. 6, SI-1, 1984, pp. 47\u201354."},{"key":"1_CR19","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1287\/opre.9.3.383","volume":"9","author":"J. D. C. Little","year":"1961","unstructured":"J. D. C. Little, \u201cA Proof of the Queueing Formula L = \u03bbW\u201d, Operations Research, Vol. 9, 1961, pp. 383\u2013387.","journal-title":"Operations Research"},{"issue":"1","key":"1_CR20","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"M. Ajmone Marsan","year":"1984","unstructured":"M. Ajmone Marsan, G. Balbo, G. Conte, \u201cA Class of Generalized Stochastic Petri Nets for the Performance Analysis of Multiprocessor Systems\u201d, ACM Transactions on Computer Systems, Vol. 2, n. 1, May 1984, pp. 93\u2013122.","journal-title":"ACM Transactions on Computer Systems"},{"key":"1_CR21","unstructured":"M. Ajmone Marsan, G. Balbo, G. Chiola, G. Conte, \u201cGeneralized Stochastic Petri Nets Revisited: Random Switches and Priorities\u201d, Proceedings of the International Workshop on Petri Nets and Performance Models, Madison, WI, USA, August 1987."},{"key":"1_CR22","unstructured":"G. Balbo, G. Chiola, G. Franceschinis, G. Molinar Roet, \u201cOn the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets\u201d, Proceedings of the International Workshop on Petri Nets and Performance Models, Madison, WI, USA, August 1987."},{"key":"1_CR23","unstructured":"H. H. Ammar, R. W. Liu, \u201cAnalysis of the Generalized Stochastic Petri Nets by State Aggregation\u201d, Proceedings of the International Workshop on Timed Petri Nets, Torino,Italy, July 1985."},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"J.B. Dugan, K.S. Trivedi, R.M. Geist, V.F. Nicola, \u201cExtended Stochastic Petri Nets: Applications and Analysis\u201d, Proceedings of PERFORMANCE '84, Paris, France, December 1984.","DOI":"10.21236\/ADA148439"},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"M. Ajmone Marsan, G. Chiola, \u201cOn Petri Nets with Deterministic and Exponential Transition Firing Times\u201d, Proceedings of the 7-th European Workshop on Application and Theory of Petri Nets, Oxford, England, June 1986.","DOI":"10.1007\/3-540-18086-9_23"},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"M. Ajmone Marsan, G. Chiola, \u201cOn Petri Nets with Deterministic and Exponentially Distributed Firing Times\u201d, in: G.Rozenberg (editor), Advances in Petri Nets 1987, Lecture Notes on Computer Science, n. 266, Springer Verlag, 1987.","DOI":"10.1007\/3-540-18086-9_23"},{"key":"1_CR27","unstructured":"M. Ajmone Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte, A. Cumani, \u201cOn Petri Nets with Stochastic Timing\u201d, Proceedings of the International Workshop on Timed Petri Nets, Torino, Italy, July 1985."},{"key":"1_CR28","doi-asserted-by":"crossref","unstructured":"M. Ajmone Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte, A. Cumani, \u201cThe Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets\u201d, IEEE Transactions on Software Engineering, Vol. SE-15, n. 7, July 1989.","DOI":"10.1109\/32.29483"},{"key":"1_CR29","unstructured":"M. Ajmone Marsan, G. Chiola, A. Fumagalli, \u201cImproving the Efficiency of the Analysis of DSPN Models\u201d, Proceedings of the 9-th European Workshop on Application and Theory of Petri Nets, Venezia, Italy, June 1988."},{"key":"1_CR30","unstructured":"W. Henderson, D. Lucic, \u201cApplication of Generalized Semi Markov Processes to Stochastic Petri Nets\u201d, Proceedings of the International Seminar on Performance of Distributed and Parallel Systems, Kyoto, Japan, December 1988."},{"key":"1_CR31","volume-title":"Net Theory and Applications","author":"J. Sifakis","year":"1979","unstructured":"J. Sifakis, \u201cPerformance Evaluation of Systems Using Petri Nets\u201d, in Net Theory and Applications, edited by G. Goos and J. Hartmanis, Springer Verlag, New York, NY, 1979."},{"key":"1_CR32","unstructured":"C.Y. Wong, T.S. Dillon, K.E. Forward, \u201cTimed Places Petri Nets with Stochastic Representation of Place Time\u201d, Proceedings of the International Workshop on Timed Petri Nets, Torino, Italy, July 1985."},{"key":"1_CR33","unstructured":"R.R. Razouk, C.V. Phelps, \u201cPerformance Analysis using Timed Petri Nets\u201d, Proceedings of the International Conference on Parallel Processing, August 1984."},{"key":"1_CR34","unstructured":"M.A. Holliday, M.K. Vernon, \u201cA Generalized Timed Petri Net Model for Performance Analysis\u201d, Proceedings of the International Workshop on Timed Petri Nets, Torino, Italy, July 1985."},{"key":"1_CR35","doi-asserted-by":"crossref","unstructured":"W.M. Zuberek, \u201cTimed Petri Nets and Preliminary Performance Evaluation\u201d, Proceedings of the 7-th Annual Symposium on Computer Architecture, La Baule, France, May 1980.","DOI":"10.1145\/800053.801913"},{"key":"1_CR36","unstructured":"W.M. Zuberek, \u201cPerformance Evaluation using Timed Petri Nets\u201d, Proceedings of the International Workshop on Timed Petri Nets, Torino, Italy, July 1985."},{"key":"1_CR37","doi-asserted-by":"crossref","unstructured":"W.M. Zuberek, \u201cM-Timed Petri Nets, Priorities, Preemptions, and Performance Evaluation of Systems\u201d, in Advances on Petri Nets '85 edited by G. Rozenberg, LNCS 222, Springer Verlag, 1986.","DOI":"10.1145\/320599.320700"},{"key":"1_CR38","unstructured":"M.K. Molloy, \u201cFast Bounds for Stochastic Petri Nets\u201d, Proceedings of the International Workshop on Timed Petri Nets, Torino, Italy, July 1985."},{"key":"1_CR39","unstructured":"M.K. Molloy, \u201cStructurally Bounded Stochastic Petri Nets\u201d, Proceedings of the International Workshop on Petri Nets and Performance Models, Madison, WI, USA, August 1987."},{"key":"1_CR40","unstructured":"G. Balbo, S. C. Bruell, G. Chiola, P. Chen, \u201cAn Example of Validation and Evaluation of a Concurrent Program: Lamport's Fast Mutual Exclusion Algorithm\u201d, submitted for publication."},{"key":"1_CR41","doi-asserted-by":"crossref","unstructured":"P.J. Haas, G.S. Shedler, \u201cRegenerative Simulation of Stochastic Petri Nets\u201d, Proceedings of the International Workshop on Timed Petri Nets, Torino, Italy, July 1985.","DOI":"10.1016\/0167-7136(86)90041-7"},{"issue":"3","key":"1_CR42","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0166-5316(86)90017-9","volume":"6","author":"P.J. Haas","year":"1986","unstructured":"P.J. Haas, G.S. Shedler, \u201cRegenerative Stochastic Petri Nets\u201d, Performance Evaluation, Vol. 6, n. 3, September 1986, pp. 189\u2013204.","journal-title":"Performance Evaluation"},{"key":"1_CR43","unstructured":"P.J. Haas, G.S. Shedler, \u201cStochastic Petri Nets with Timed and Immediate Transitions\u201d, Stochastic Models, to appear."},{"key":"1_CR44","doi-asserted-by":"crossref","unstructured":"G. Chiola, \u201cCompiling Techniques for the Analysis of Stochastic Petri Nets\u201d, Proceedings of the 4-th International Conference on Modeling Techniques and Tools for Computer Performance Evaluation, Palma de Mallorca, Spain, September 1988.","DOI":"10.1007\/978-1-4613-0533-0_2"},{"key":"1_CR45","unstructured":"A. Zenie, \u201cColored Stochastic Petri Nets\u201d, Proceedings of the International Workshop on Timed Petri Nets, Torino, Italy, July 1985."},{"key":"1_CR46","unstructured":"C. Marinescu, Chuang Lin, \u201cOn Stochastic High Level Petri Nets\u201d, Proceedings of the International Workshop on Petri Nets and Performance Models, Madison, WI, USA, August 1987."},{"key":"1_CR47","unstructured":"G. Chiola, G. Bruno, T. Demaria, \u201cIntroducing a Color Formalism into Generalized Stochastic Petri Nets\u201d, Proceedings of the 9-th European Workshop on Application and Theory of Petri Nets, Venezia, Italy, June 1988."},{"key":"1_CR48","doi-asserted-by":"crossref","unstructured":"G. Balbo, S. C. Bruell, S. Ghanta, \u201cCombining Queueing Network and Generalized Stochastic Petri Net Models for the Analysis of a Software Blocking Phenomenon\u201d, Proceedings of the International Workshop on Timed Petri Nets, Torino, Italy, July 1985.","DOI":"10.1109\/TSE.1986.6312904"},{"issue":"4","key":"1_CR49","doi-asserted-by":"crossref","first-page":"561","DOI":"10.1109\/TSE.1986.6312904","volume":"SE-12","author":"G. Balbo","year":"1986","unstructured":"G. Balbo, S. C. Bruell, S. Ghanta, \u201cCombining Queueing Network and Generalized Stochastic Petri Net Models for the Analysis of Some Software Blocking Phenomena\u201d, IEEE Transactions on Software Engineering, Vol. SE-12, n. 4, April 1986, pp. 561\u2013576.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR50","unstructured":"G. Florin, S. Natkin, \u201cOn Open Synchronized Queuing Networks\u201d, Proceedings of the International Workshop on Timed Petri Nets, Torino, Italy, July 1985."},{"issue":"1","key":"1_CR51","first-page":"143","volume":"4","author":"G. Florin","year":"1985","unstructured":"G. Florin, S. Natkin, \u201cLes Reseaux de Petri Stochastiques\u201d, Technique et Science Informatiques, Vol. 4, n. 1, February 1985, pp. 143\u2013160.","journal-title":"Technique et Science Informatiques"},{"key":"1_CR52","unstructured":"G. Florin, S. Natkin, \u201cA Necessary and Sufficient Saturation Condition for Open Synchronized Queueing Networks\u201d, Proceedings of the International Workshop on Petri Nets and Performance Models, Madison, WI, USA, August 1987."},{"key":"1_CR53","unstructured":"A. A. Lazar, T. G. Robertazzi, \u201cMarkovian Petri Net Protocol Models with Product Form Solution\u201d, Proceedings of INFOCOM 87, San Francisco, CA, USA, March 1987."},{"key":"1_CR54","volume-title":"Proceedings of the 24-th Annual Allerton Conference on Communications, Control and Computing","author":"A. A. Lazar","year":"1986","unstructured":"A. A. Lazar, T. G. Robertazzi, \u201cThe Algebraic and Geometric Structure of Markovian Petri Network Lattices\u201d, Proceedings of the 24-th Annual Allerton Conference on Communications, Control and Computing, Urbana-Champaigne, Illinois, USA, 1986."},{"key":"1_CR55","unstructured":"I. Y. Wang, T. G. Robertazzi, \u201cService Stage Petri Net Protocols with Product Form\u201d, submitted for publication."},{"key":"1_CR56","unstructured":"W. Henderson, P. Taylor, D. Lucic, \u201cA Net Level Performance Analysis of Stochastic Petri Nets with Conflict Sets\u201d, submitted for publication."},{"issue":"2","key":"1_CR57","doi-asserted-by":"crossref","first-page":"248","DOI":"10.1145\/321879.321887","volume":"22","author":"F. Baskett","year":"1975","unstructured":"F. Baskett, K. M. Chandy, R. R. Muntz, F. Palacios, \u201cOpen, Closed and Mixed Networks of Queues with Different Classes of Customers\u201d, Journal of the ACM, Vol. 22, n. 2, April 1975, pp. 248\u2013260.","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Advances in Petri Nets 1989"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-52494-0_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T03:10:36Z","timestamp":1640920236000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-52494-0_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540524946","9783540469988"],"references-count":57,"URL":"http:\/\/dx.doi.org\/10.1007\/3-540-52494-0_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"published":{"date-parts":[[1990]]}}}