{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:55:50Z","timestamp":1725566150886},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642157837"},{"type":"electronic","value":"9783642157844"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15784-4_12","type":"book-chapter","created":{"date-parts":[[2010,9,20]],"date-time":"2010-09-20T08:39:38Z","timestamp":1284971978000},"page":"175-190","source":"Crossref","is-referenced-by-count":7,"title":["Accurate Performance Estimation for Stochastic Marked Graphs by Bottleneck Regrowing"],"prefix":"10.1007","author":[{"given":"Ricardo J.","family":"Rodr\u00edguez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge","family":"J\u00falvez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"12_CR1","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1109\/TSE.1980.230492","volume":"6","author":"C.V. Ramamoorthy","year":"1980","unstructured":"Ramamoorthy, C.V., Ho, G.S.: Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets. IEEE Trans. Softw. Eng.\u00a06(5), 440\u2013449 (1980)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Burns, S.M.: Performance Analysis and Optimization of Asynchronous Circuits. PhD thesis, Pasadena, CA, USA (1991)","DOI":"10.21236\/ADA447734"},{"key":"12_CR3","first-page":"221","volume-title":"ICCD","author":"P. Kudva","year":"1994","unstructured":"Kudva, P., Gopalakrishnan, G., Brunvand, E., Akella, V.: Performance analysis and optimization of asynchronous circuits. In: ICCD, pp. 221\u2013224. IEEE Computer Society, Los Alamitos (1994)"},{"key":"12_CR4","first-page":"64","volume-title":"ASYNC","author":"A. Xie","year":"1997","unstructured":"Xie, A., Beerel, P.A.: Symbolic Techniques for Performance Analysis of Timed Systems Based on Average Time Separation of Events. In: ASYNC, pp. 64\u201375. IEEE Computer Society, Los Alamitos (1997)"},{"key":"12_CR5","first-page":"247","volume-title":"ASYNC","author":"A. Xie","year":"1998","unstructured":"Xie, A., Beerel, P.A.: Accelerating Markovian Analysis of Asynchronous Systems using String- based State Compression. In: ASYNC, pp. 247\u2013260. IEEE Computer Society, Los Alamitos (1998)"},{"issue":"3","key":"12_CR6","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/BF00935211","volume":"2","author":"M.R. Greenstreet","year":"1990","unstructured":"Greenstreet, M.R., Steiglitz, K.: Bubbles Can Make Self-Timed Pipelines Fast. VLSI Signal Processing\u00a02(3), 139\u2013148 (1990)","journal-title":"VLSI Signal Processing"},{"issue":"5","key":"12_CR7","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1109\/81.139289","volume":"39","author":"J. Campos","year":"1992","unstructured":"Campos, J., Chiola, G., Colom, J., Silva, M.: Properties and Performance Bounds for Timed Marked Graphs. IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications\u00a039(5), 386\u2013401 (1992)","journal-title":"IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications"},{"key":"12_CR8","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1109\/PNPM.1993.393428","volume-title":"Proceedings of the 5th International Workshop on Petri Nets and Performance Models, Toulouse, France","author":"G. Chiola","year":"1993","unstructured":"Chiola, G., Anglano, C., Campos, J., Colom, J., Silva, M.: Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds. In: Proceedings of the 5th International Workshop on Petri Nets and Performance Models, Toulouse, France, pp. 128\u2013137. IEEE Computer Society Press, Los Alamitos (1993)"},{"key":"12_CR9","first-page":"316","volume-title":"Proceedings of the 16th International Conference on Application and Theory of Petri Nets, London, UK","author":"Z. Liu","year":"1995","unstructured":"Liu, Z.: Performance Bounds for Stochastic Timed Petri Nets. In: Proceedings of the 16th International Conference on Application and Theory of Petri Nets, London, UK, pp. 316\u2013334. Springer, Heidelberg (1995)"},{"key":"12_CR10","first-page":"94","volume-title":"ASYNC 1999: Proceedings of the 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems, Washington, DC, USA","author":"A. Xie","year":"1999","unstructured":"Xie, A., Kim, S., Beerel, P.A.: Bounding Average Time Separations of Events in Stochastic Timed Petri Nets with Choice. In: ASYNC 1999: Proceedings of the 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems, Washington, DC, USA, pp. 94\u2013107. IEEE Computer Society, Los Alamitos (1999)"},{"issue":"2","key":"12_CR11","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1109\/TII.2009.2017201","volume":"5","author":"S. Bernardi","year":"2009","unstructured":"Bernardi, S., Campos, J.: Computation of Performance Bounds for Real-Time Systems Using Time Petri Nets. IEEE Transactions on Industrial Informatics\u00a05(2), 168\u2013180 (2009)","journal-title":"IEEE Transactions on Industrial Informatics"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Brglez, F., Bryan, D., Kozminski, K.: Combinational Profiles of Sequential Benchmark Circuits. In: IEEE International Symposium on Circuits and Systems, vol.\u00a03, pp. 1929\u20131934 (1989)","DOI":"10.1109\/ISCAS.1989.100747"},{"key":"12_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-94-011-6955-4_1","volume-title":"Practice of Petri Nets in Manufacturing","author":"M. Silva","year":"1993","unstructured":"Silva, M.: Introducing Petri Nets. In: Practice of Petri Nets in Manufacturing, pp. 1\u201362. Chapman & Hall, Boca Raton (1993)"},{"key":"12_CR14","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE\u00a077, 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"issue":"4","key":"12_CR15","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1109\/32.16598","volume":"15","author":"G. Florin","year":"1989","unstructured":"Florin, G., Natkin, S.: Necessary and Sufficient Ergodicity Condition for Open Synchronized Queueing Networks. IEEE Trans. Softw. Eng.\u00a015(4), 367\u2013380 (1989)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"3","key":"12_CR16","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1287\/opre.9.3.383","volume":"9","author":"J.D.C. Little","year":"1961","unstructured":"Little, J.D.C.: A Proof for the Queuing Formula: L= \u03bb W. Operations Research\u00a09(3), 383\u2013387 (1961)","journal-title":"Operations Research"},{"key":"12_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1007\/3-540-55610-9_178","volume-title":"Advances in Petri Nets 1992","author":"J. Campos","year":"1992","unstructured":"Campos, J., Silva, M.: Structural Techniques and Performance Bounds of Stochastic Petri Net Models. In: Rozenberg, G. (ed.) APN 1992. LNCS, vol.\u00a0609, pp. 352\u2013391. Springer, Heidelberg (1992)"},{"key":"12_CR18","unstructured":"Ramchandani, C.: Analysis of Asynchronous Concurrent Systems by Petri Nets. PhD thesis, Cambridge, MA, USA (1974)"},{"key":"12_CR19","unstructured":"Campos, J.: Performance Bounds. In: Balbo, G., Silva, M. (eds.) Performance Models for Discrete Event Systems with Synchronizations: Formalisms and Analysis Techniques, Editorial KRONOS, Zaragoza, Spain, pp. 587\u2013635 (1998)"},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"Carmona, J., J\u00falvez, J., Cortadella, J., Kishinevsky, M.: Scheduling Synchronous Elastic Designs. In: Proceedings of the 2009 Application of Concurrency to System Design conference (ACSD 2009), Augsburg, Germany (2009)","DOI":"10.1109\/ACSD.2009.12"},{"key":"12_CR21","volume-title":"Introduction to Algorithms","author":"T.H. Cormen","year":"2001","unstructured":"Cormen, T.H., Stein, C., Rivest, R.L., Leiserson, C.E.: Introduction to Algorithms. McGraw-Hill Higher Education, New York (2001)"},{"key":"12_CR22","unstructured":"The MathWorks: Matlab (2008), http:\/\/www.mathworks.com\/ (version R2008a)"},{"key":"12_CR23","unstructured":"University of Torino: The GreatSPN tool (2002), http:\/\/www.di.unitorino.it\/~greatspn"},{"key":"12_CR24","series-title":"Wiley Series in Parallel Computing","volume-title":"Modelling with Generalized Stochastic Petri Nets","author":"M. Ajmone Marsan","year":"1995","unstructured":"Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. Wiley Series in Parallel Computing. John Wiley and Sons, Chichester (1995)"}],"container-title":["Lecture Notes in Computer Science","Computer Performance Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15784-4_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,4]],"date-time":"2019-06-04T18:59:59Z","timestamp":1559674799000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15784-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642157837","9783642157844"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15784-4_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}