{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:08:14Z","timestamp":1725664094403},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540600299"},{"type":"electronic","value":"9783540494089"}],"license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60029-9_47","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:31:47Z","timestamp":1330277507000},"page":"316-334","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Performance bounds for stochastic timed Petri nets"],"prefix":"10.1007","author":[{"given":"Zhen","family":"Liu","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1109\/32.29483","volume":"15","author":"M. A. Marsan","year":"1989","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 Trans. Software Eng., Vol 15, pp. 832\u2013846, 1989.","journal-title":"IEEE Trans. Software Eng."},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"M. Ajmone Marsan, G. Balbo, and G. Conte. \u201cA Class of Generalized Stochastic Petri Nets for the Performance Analysis of Multiprocessor Systems\u201d, ACM Transactions on Computer Systems, Vol. 2, No. 1, May 1984.","DOI":"10.1145\/190.191"},{"key":"19_CR3","volume-title":"Performance Models of Multiprocessor Systems","author":"M. A. Marsan","year":"1986","unstructured":"M. Ajmone Marsan, G. Balbo, G. Conte, Performance Models of Multiprocessor Systems, Cambridge, MA, MIT Press, 1986."},{"key":"19_CR4","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1214\/aop\/1176989932","volume":"20","author":"F. Baccelli","year":"1992","unstructured":"F. Baccelli, \u201cErgodic Theory of Stochastic Petri Nets\u201d, The Annals of Probability, Vol. 20, pp. 375\u2013396, 1992.","journal-title":"The Annals of Probability"},{"key":"19_CR5","series-title":"CWI Tract 105 & 106","volume-title":"Performance Evaluation of Parallel and Distributed Systems \u2014 Solution Methods","author":"F. Baccelli","year":"1994","unstructured":"F. Baccelli, G. Balbo, R.J. Boucherie, J. Campos, and G. Chiola. \u201cAnnotated Bibliography on Stochastic Petri Nets\u201d, In O.J. Boxma and G.M. Koole (editors), Performance Evaluation of Parallel and Distributed Systems \u2014 Solution Methods. CWI Tract 105 & 106, CWI, Amsterdam, 1994."},{"key":"19_CR6","volume-title":"Elements of Queueing Theory","author":"F. Baccelli","year":"1994","unstructured":"F. Baccelli, P. Bremaud, Elements of Queueing Theory, Springer-Verlag, Berlin, 1994."},{"key":"19_CR7","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1145\/151527.151545","volume":"3","author":"F. Baccelli","year":"1993","unstructured":"F. Baccelli, M. Canales, \u201cParallel Simulation of Stochastic Petri Nets Using Recursive Equations\u201d, ACM-Tomacs, Vol. 3, pp. 20\u201341, 1993.","journal-title":"ACM-Tomacs"},{"key":"19_CR8","first-page":"415","volume":"1","author":"F. Baccelli","year":"1992","unstructured":"F. Baccelli, G. Cohen, B. Gaujal, \u201cRecursive Equations and Basic properties of Timed Petri Nets\u201d, Journal of Discrete Event Systems, Vol. 1, pp. 415\u2013439, 1992.","journal-title":"Journal of Discrete Event Systems"},{"key":"19_CR9","volume-title":"Stationary regime and stability of free-choice Petri nets","author":"F. Baccelli","year":"1994","unstructured":"F. Baccelli and B. Gaujal. \u201cStationary regime and stability of free-choice Petri nets\u201d, In Proceedings of the 11-th International Conference on Analysis and Optimisation of Systems, Juan les Pins, France, June 1994. Springer Verlag."},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"F. Baccelli and P. Konstantopoulos. \u201cEstimates of Cycle Times in Stochastic Petri Nets\u201d, Lecture Notes in Control and Information Sciences, Springer Verlag, Vol. 177, pp. 1\u201321, 1992.","DOI":"10.1007\/BFb0007044"},{"key":"19_CR11","doi-asserted-by":"crossref","first-page":"1905","DOI":"10.1109\/9.182477","volume":"37","author":"F. Baccelli","year":"1992","unstructured":"F. Baccelli, Z. Liu, \u201cComparison Properties of Stochastic Decision Free Petri Nets\u201d, IEEE Trans. on Automatic Control, Vol. 37, pp. 1905\u20131920, 1992.","journal-title":"IEEE Trans. on Automatic Control"},{"key":"19_CR12","unstructured":"F. Baccelli, Z. Liu, M. Silva, \u201cGlobal and Local Monotonicities of Stochastic Petri Nets\u201d, in preparation."},{"key":"19_CR13","unstructured":"D. Bertsimas, I. Paschalidis, J. Tsitsiklis, \u201cOptimization of Multiclass Queueing Networks: Polyhedral and Nonlinear Characterizations of Achievable Performance\u201d, to appear in Annals of Applied Probability."},{"key":"19_CR14","unstructured":"D. Bertsimas, I. Paschalidis, J. Tsitsiklis, \u201cBranching Bandits and Klimov's Problem: Achievable Region and Side Constraints\u201d, preprint."},{"key":"19_CR15","unstructured":"R.J. Boucherie. \u201cA Characterisation of Independence for Competing Markov Chains with Applications to Stochastic Petri Nets\u201d, Proceedings of PNPM, 1993."},{"key":"19_CR16","doi-asserted-by":"crossref","first-page":"527","DOI":"10.1145\/362342.362345","volume":"14","author":"J. P. Buzen","year":"1973","unstructured":"J. P. Buzen, \u201cA computational Algorithm for Closed Queueing Networks with Exponential Servers.\u201d Comm. ACM, Vol. 14, pp. 527\u2013531, 1973.","journal-title":"Comm. ACM"},{"key":"19_CR17","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1109\/32.67593","volume":"17","author":"J. Campos","year":"1991","unstructured":"J. Campos, G. Chiola, and M. Silva. \u201cErgodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector\u201d, IEEE Transactions on Software Engineering, Vol. 17, pp. 117\u2013125, February 1991.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"19_CR18","doi-asserted-by":"crossref","first-page":"1368","DOI":"10.1109\/9.106153","volume":"36","author":"J. Campos","year":"1991","unstructured":"J. Campos, G. Chiola, and M. Silva. \u201cProperties and performance bounds for closed free choice synchronized monoclass queueing networks\u201d, IEEE Transactions on Automatic Control, Vol. 36, pp. 1368\u20131382, December 1991.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"19_CR19","first-page":"322","volume-title":"Throughput Lower Bounds for Markovian Petri Nets: Transformation Techniques","author":"J. Campos","year":"1991","unstructured":"J. Campos, B. S\u00e1nchez, and M. Silva. \u201cThroughput Lower Bounds for Markovian Petri Nets: Transformation Techniques\u201d, In Proceedings of the 4rd International Workshop on Petri Nets and Performance Models, pages 322\u2013331, Melbourne, Australia, December 1991. IEEE-Computer Society Press."},{"key":"19_CR20","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0166-5316(93)90024-O","volume":"18","author":"J. Campos","year":"1993","unstructured":"J. Campos, M. Silva, \u201cEmbedded Product-form Queueing Networks and the Improvement of Performance Bounds for Petri Net Systems\u201d, Performance Evaluation, Vol. 18, pp. 3\u201319, 1993.","journal-title":"Performance Evaluation"},{"key":"19_CR21","doi-asserted-by":"crossref","first-page":"573","DOI":"10.1145\/359015.359020","volume":"23","author":"K. M. Chandy","year":"1980","unstructured":"K. M. Chandy and C. H. Sauer, \u201cComputational Algorithms for Product Form Queueing Networks.\u201d Comm. ACM, Vol. 23, pp. 573\u2013583, 1980.","journal-title":"Comm. ACM"},{"key":"19_CR22","unstructured":"G. Chiola. \u201cGreatSPN 1.5 Software Architecture\u201d, In Proc. 5th Int. Conf. Modeling Techniques and Tools for Computer Performance Evaluation, Torino, Italy, February 1991."},{"key":"19_CR23","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1109\/32.214828","volume":"19","author":"G. Chiola","year":"1993","unstructured":"G. Chiola, M. Ajmone Marsan, G. Balbo, and G. Conte. \u201cGeneralized Stochastic Petri Nets: A Definition at the Net Level and Its Implications\u201d, IEEE Transactions on Software Engineering, Vol. 19, pp. 89\u2013107, February 1993.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"19_CR24","first-page":"128","volume-title":"Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds","author":"G. Chiola","year":"1993","unstructured":"G. Chiola, C. Anglano, J. Campos, J. M. Colom, and M. Silva. \u201cOperational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds\u201d, In itProceedings of the 5th International Workshop on Petri Nets and Performance Models, pages 128\u2013137, Toulouse, France, October 1993. IEEE-Computer Society Press."},{"key":"19_CR25","first-page":"20","volume-title":"GSPN versus SPN: What is the Actual Role of Immediate Transitions?","author":"G. Chiola","year":"1991","unstructured":"G. Chiola, S. Donatelli, G. Franceschinis, \u201cGSPN versus SPN: What is the Actual Role of Immediate Transitions?\u201d, In Proceedings of the 4rd International Workshop on Petri Nets and Performance Models, pages 20\u201331, Melbourne, Australia, December 1991. IEEE-Computer Society Press."},{"key":"19_CR26","volume-title":"SPNP: Stochastic Petri net package","author":"G. Ciardo","year":"1989","unstructured":"G. Ciardo, J. Muppala, and K.S. Trivedi. \u201cSPNP: Stochastic Petri net package\u201d, In Proc. 3rd Intern. Workshop on Petri Nets and Performance Models, Kyoto, Japan, December 1989. IEEE-CS Press."},{"key":"19_CR27","doi-asserted-by":"crossref","unstructured":"J.B. Dugan, K.S. Trivedi, R.M. Geist, and V.F. Nicola. \u201cExtended Stochastic Petri Nets: Applications and Analysis\u201d, In Proc. PERFORMANCE '84, Paris, France, December 1984.","DOI":"10.21236\/ADA148439"},{"key":"19_CR28","unstructured":"G. Florin and S. Natkin. \u201cLes r\u00e9seaux de Petri stochastiques\u201d, Technique et Science Informatiques, Vol. 4, February 1985."},{"key":"19_CR29","doi-asserted-by":"crossref","unstructured":"C. Hanen, A. Munier, \u201cCyclic scheduling on parallel processors: an overview\u201d, In Scheduling Theory and Its Applications, P. Chretienne et al. (Eds.), J. Wiley, to appear, 1995.","DOI":"10.1016\/0166-218X(94)00102-J"},{"key":"19_CR30","doi-asserted-by":"crossref","unstructured":"J. Keilson, Markov Chain Models \/ Rarity and Exponentiality, Springer-Verlag, 1979.","DOI":"10.1007\/978-1-4612-6200-8"},{"key":"19_CR31","unstructured":"S. Kumar, P. R. Kumar, \u201cPerformance Bounds for Queueing Networks and Scheduling Policies\u201d, Technical Report, Coordinated Science Laboratory, Univ. of Illinois, 1992."},{"key":"19_CR32","unstructured":"P. R. Kumar, S. P. Meyn, \u201cStability of Queueing Networks and Scheduling Policies\u201d, Technical Report, Coordinated Science Laboratory, Univ. of Illinois, 1993."},{"key":"19_CR33","unstructured":"Z. Liu, \u201cPerformance Bounds of Stochastic Timed Petri Nets by Linear Programming Approach\u201d, in preparation."},{"key":"19_CR34","doi-asserted-by":"crossref","first-page":"913","DOI":"10.1109\/TC.1982.1676110","volume":"31","author":"M.K. Molloy","year":"1982","unstructured":"M.K. Molloy. \u201cPerformance Analysis using Stochastic Petri Nets\u201d, IEEE Transaction on Computers, Vol. 31, pp.913\u2013917, September 1982.","journal-title":"IEEE Transaction on Computers"},{"key":"19_CR35","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"T. Murata, \u201cPetri Nets: Properties, Analysis and Applications\u201d, Proc. of the IEEE, Vol. 77, pp. 541\u2013580, 1989.","journal-title":"Proc. of the IEEE"},{"key":"19_CR36","volume-title":"Matrix-Geometric Solutions in Stochastic Models","author":"M. Neuts","year":"1981","unstructured":"M. Neuts, Matrix-Geometric Solutions in Stochastic Models, Johns Hopkins, Baltimore, Md. 1981."},{"key":"19_CR37","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1147\/rd.193.0283","volume":"19","author":"M. Reiser","year":"1975","unstructured":"M. Reiser and H. Kobayashi, \u201cQueueing Networks with Multiple Closed Chains: Theory and Computational Algorithms.\u201d IBM J. Res. Dev., Vol. 19, pp. 283\u2013294, 1975.","journal-title":"IBM J. Res. Dev."},{"key":"19_CR38","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1145\/322186.322195","volume":"27","author":"M. Reiser","year":"1980","unstructured":"M. Reiser and S. S. Lavenberg, \u201cMean-value analysis of closed multichain queueing networks.\u201d J. ACM, Vol. 27, pp. 313\u2013322, 1980.","journal-title":"J. ACM"},{"key":"19_CR39","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1287\/opre.22.2.417","volume":"22","author":"S. Stidham","year":"1974","unstructured":"S. Stidham, \u201cA Last Word on L=\u03bbW\u201d, Oper. Res., Vol. 22, pp.417\u2013421, 1974.","journal-title":"Oper. Res."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1995"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60029-9_47","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T09:19:58Z","timestamp":1640942398000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60029-9_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600299","9783540494089"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/3-540-60029-9_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]},"assertion":[{"value":"9 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}