{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:25:19Z","timestamp":1742401519915},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540422525"},{"type":"electronic","value":"9783540457404"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45740-2_11","type":"book-chapter","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T10:30:51Z","timestamp":1195122651000},"page":"164-183","source":"Crossref","is-referenced-by-count":2,"title":["Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets"],"prefix":"10.1007","author":[{"given":"Serge","family":"Haddad","sequence":"first","affiliation":[]},{"given":"Patrice","family":"Moreaux","sequence":"additional","affiliation":[]},{"given":"Matteo","family":"Sereno","sequence":"additional","affiliation":[]},{"given":"Manuel","family":"Silva","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,28]]},"reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1145\/183018.183028","volume-title":"Proc. 1994 ACM SIGMETRICS Conference","author":"G. Balbo","year":"1994","unstructured":"G. Balbo, S. C. Bruell, and M. Sereno. Arrival theorems for product-form stochastic Petri nets. In Proc. 1994 ACM SIGMETRICS Conference, pages 87\u201397, Nashville, Tennessee, USA, May 1994. ACM."},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1239\/jap\/1032192862","volume":"35","author":"R. J. Boucherie","year":"1998","unstructured":"R. J. Boucherie and M. Sereno. On closed support t-invariants and traffic equations. Journal of Applied Probability, (35):473\u2013481, 1998.","journal-title":"Journal of Applied Probability"},{"key":"11_CR3","volume-title":"Computational Algorithms for Closed Queueing Networks","author":"S. C. Bruell","year":"1980","unstructured":"S. C. Bruell and G. Balbo. Computational Algorithms for Closed Queueing Networks. Elsevier North-Holland, New York, 1980."},{"issue":"9","key":"11_CR4","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1145\/362342.362345","volume":"16","author":"J. P. Buzen","year":"1973","unstructured":"J. P. Buzen. Computational algorithms for closed queueing networks with exponential servers. Communications of the ACM, 16(9):527\u2013531, September 1973.","journal-title":"Communications of the ACM"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"E. Cardoza, R.J. Lipton, and A.R. Meyer. Exponential space complete problems for Petri nets and commutative semigroups. In Proc. of the 8th Annual Symposium on Theory of Computing, pages 50\u201354, 1976.","DOI":"10.1145\/800113.803630"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"A. Cheng, J. Esparza, and J. Palberg. Complexity results for 1-safe nets. In Proc. of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, Bombay, India, 1993.","DOI":"10.1007\/3-540-57529-4_66"},{"issue":"3","key":"11_CR7","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1016\/0166-5316(95)00023-2","volume":"26","author":"J. L. Coleman","year":"1996","unstructured":"J. L. Coleman, W. Henderson, and P. G. Taylor. Product form equilibrium distributions and an algorithm for classes of batch movement queueing networks and stochastic Petri nets. Performance Evaluation, 26(3):159\u2013180, September 1996.","journal-title":"Performance Evaluation"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"J. Esparza. Decidability and Complexity of Petri nets problems-an introduction, pages 374\u2013428. 1998. in [22].","DOI":"10.1007\/3-540-65306-6_20"},{"issue":"3","key":"11_CR9","first-page":"143","volume":"30","author":"J. Esparza","year":"1994","unstructured":"J. Esparza and M. Nielsen. Decidability issues for Petri nets-a survey. Journal of Information Processing and Cybernetics, 30(3):143\u2013160, 1994. former version in Bulletin of the EATCS, volume 52, pages 245-262, 1994.","journal-title":"Journal of Information Processing and Cybernetics"},{"key":"11_CR10","series-title":"Technical report, LERI-RESYCOM","volume-title":"Revisiting Product Form Stochastic Petri Nets","author":"S. Haddad","year":"2001","unstructured":"S. Haddad, P. Moreaux, M. Sereno, and M. Silva. Revisiting Product Form Stochastic Petri Nets. Technical report, LERI-RESYCOM, Universit\u00e9 de Reims Champagne-Ardenne, Reims, France, June 2001."},{"key":"11_CR11","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1017\/S0334270000006573","volume":"31","author":"W. Henderson","year":"1989","unstructured":"W. Henderson, D. Lucic, and P.G. Taylor. A net level performance analysis of stochastic Petri nets. Journal of Australian Mathematical Soc. Ser. B, 31:176\u2013187, 1989.","journal-title":"Journal of Australian Mathematical Soc. Ser"},{"key":"11_CR12","first-page":"12","volume-title":"Proc. 3rd Intern. Workshop on Petri Nets and Performance Models","author":"W. Henderson","year":"1989","unstructured":"W. Henderson and P.G. Taylor. Aggregation methods in exact performance analysis ofstochastic Petri nets. In Proc. 3rd Intern. Workshop on Petri Nets and Performance Models, pages 12\u201318, Kyoto, Japan, December 1989. IEEE-CS Press."},{"key":"11_CR13","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1109\/32.67592","volume":"17","author":"W. Henderson","year":"1991","unstructured":"W. Henderson and P.G. Taylor. Embedded processes in stochastic Petri nets. IEEE Transactions on Software Engineering, 17:108\u2013116, February 1991.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR14","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/0304-3975(77)90014-7","volume":"4","author":"N.D. Jones","year":"1977","unstructured":"N.D. Jones, L.H. Landweber, and Y.E. Lien. Complexity ofsome problems in Petri nets. Theoretical Computer Science, 4:277\u2013299, 1977.","journal-title":"Theoretical Computer Science"},{"key":"11_CR15","unstructured":"A. A. Lazar and T. G. Robertazzi. Markovian Petri net protocols with product form solution. In Proc. of INFOCOM\u2019 87, pages 1054\u20131062, San Francisco, CA, USA, 1987."},{"key":"11_CR16","unstructured":"R.J. Lipton. The reachability problem requires exponential space. Technical report, Dpt. ofComputer Science, Yale University, 1976."},{"key":"11_CR17","volume-title":"Proc. 2nd European Workshop on Application and Theory of Petri Nets","author":"J. Martinez","year":"1981","unstructured":"J. Martinez and M. Silva. A simple and fast algorithm to obtain all invariants of a generalized Petri net. In Proc. 2nd European Workshop on Application and Theory of Petri Nets, Bad Honnef, West Germany, September 1981. Springer Verlag."},{"key":"11_CR18","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1016\/0001-8708(82)90048-2","volume":"46","author":"E.W. Mayr","year":"1982","unstructured":"E.W. Mayr and A.R. Meyer. The complexity ofthe word problems for commutative semigroups and polynomial ideals. Advances in Mathematics, (46):305\u2013329, 1982.","journal-title":"Advances in Mathematics"},{"issue":"4","key":"11_CR19","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"T. Murata. Petri nets: properties, analysis, and applications. Proceedings of the IEEE, 77(4):541\u2013580, April 1989.","journal-title":"Proceedings of the IEEE"},{"key":"11_CR20","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."},{"issue":"2","key":"11_CR21","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1145\/322186.322195","volume":"27","author":"M. Reiser","year":"1980","unstructured":"M. Reiser and S. S. Lavenberg. Mean value analysis ofclosed multichain queueing networks. Journal of the ACM, 27(2):313\u2013322, April 1980.","journal-title":"Journal of the ACM"},{"key":"11_CR22","series-title":"Lect Notes Comput Sci","volume-title":"Lectures on Petri Nets I: Basic models","author":"W. Reisig","year":"1998","unstructured":"W. Reisig and G. Rozenberg, editors. Lectures on Petri Nets I: Basic models. Number 1491 in LNCS. Springer-Verlag, June 1998. Advances in Petri nets."},{"key":"11_CR23","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1109\/PNPM.1993.393431","volume-title":"Proc. 5th Intern. Workshop on Petri Nets and Performance Models","author":"M. Sereno","year":"1993","unstructured":"M. Sereno and G. Balbo. Computational algorithms for product form solution stochastic Petri nets. In Proc. 5th Intern. Workshop on Petri Nets and Performance Models, pages 98\u2013107, Toulouse, France, October 1993. IEEE-CS Press."},{"issue":"1","key":"11_CR24","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/S0166-5316(96)00003-X","volume":"29","author":"M. Sereno","year":"1997","unstructured":"M. Sereno and G. Balbo. Mean value analysis ofsto chastic Petri nets. Performance Evaluation, 29(1):35\u201362, 1997.","journal-title":"Performance Evaluation"},{"issue":"2","key":"11_CR25","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1145\/322248.322257","volume":"28","author":"K. C. Sevcik","year":"1981","unstructured":"K. C. Sevcik and I. Mitrani. The distribution ofqueueing network states at input and output instants. Journal of the ACM, 28(2):358\u2013371, April 1981.","journal-title":"Journal of the ACM"},{"key":"11_CR26","unstructured":"M. Silva. Las Redes de Petri en la Automatica y la Informatica. Ed. AC, Madrid, Spain, 1985. In Spanish."},{"key":"11_CR27","doi-asserted-by":"crossref","unstructured":"M. Silva, E. Teruel, and J.M Colom. Linear algebraic and linear programming techniques for the analysis of Place\/Transition net systems, pages 309\u2013372. 1998. in [22].","DOI":"10.1007\/3-540-65306-6_19"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2001"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45740-2_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T09:17:25Z","timestamp":1556961445000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45740-2_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422525","9783540457404"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-45740-2_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}