{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:12:53Z","timestamp":1762521173403},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540403340"},{"type":"electronic","value":"9783540449195"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44919-1_16","type":"book-chapter","created":{"date-parts":[[2007,9,2]],"date-time":"2007-09-02T20:38:42Z","timestamp":1188765522000},"page":"221-240","source":"Crossref","is-referenced-by-count":18,"title":["On Reachability in Autonomous Continuous Petri Net Systems"],"prefix":"10.1007","author":[{"given":"Jorge","family":"J\u00falvez","sequence":"first","affiliation":[]},{"given":"Laura","family":"Recalde","sequence":"additional","affiliation":[]},{"given":"Manuel","family":"Silva","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,5,27]]},"reference":[{"issue":"1","key":"16_CR1","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1142\/S0218126698000079","volume":"8","author":"H. Alla","year":"1998","unstructured":"H. Alla and R. David. Continuous and hybrid Petri nets. Journal of Circuits, Systems, and Computers, 8(1):159\u2013188, 1998.","journal-title":"Journal of Circuits, Systems, and Computers"},{"issue":"2","key":"16_CR2","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1109\/32.761446","volume":"25","author":"G. Ciardo","year":"1999","unstructured":"G. Ciardo, D. Nicol, and K. S. Trivedi. Discrete-event simulation of fluid stochastic Petri nets. IEEE Trans. on Software Engineering, 25(2):207\u2013217, 1999.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"16_CR3","unstructured":"R. David and H. Alla. Continuous Petri nets. In Proc. of the 8th European Workshop on Application and Theory of Petri Nets, pages 275\u2013294, Zaragoza, Spain, 1987."},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"F. DiCesare, G. Harhalakis, J. M. Proth, M. Silva, and F. B. Vernadat. Practice of Petri Nets in Manufacturing. Chapman & Hall, 1993.","DOI":"10.1007\/978-94-011-6955-4"},{"key":"16_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1007\/3-540-56689-9_42","volume-title":"Advances in Petri Nets 1993","author":"J. Ezpeleta","year":"1993","unstructured":"J. Ezpeleta, J. M. Couvreur, and M. Silva. A new technique for finding a generating family of siphons, traps and ST-components. application to coloured Petri nets. In G. Rozenberg, editor, Advances in Petri Nets 1993, volume 674 of Lecture Notes in Computer Science, pages 126\u2013147. Springer, 1993."},{"issue":"4","key":"16_CR6","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, 1989.","journal-title":"Proceedings of the IEEE"},{"key":"16_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/3-540-48745-X_8","volume-title":"Application and Theory of Petri Nets 1999","author":"L. Recalde","year":"1999","unstructured":"L. Recalde, E. Teruel, and M. Silva. Autonomous continuous P\/T systems. In J. Kleijn S. Donatelli, editor, Application and Theory of Petri Nets 1999, volume 1639 of Lecture Notes in Computer Science, pages 107\u2013126. Springer, 1999."},{"key":"16_CR8","series-title":"Lect Notes Comput Sci","first-page":"387","volume-title":"Advances in Petri Nets 1988","author":"M. Silva","year":"1988","unstructured":"M. Silva and J. M. Colom. On the computation of structural synchronic invariants in P\/T nets. In G. Rozenberg, editor, Advances in Petri Nets 1988, volume 340 of Lecture Notes in Computer Science, pages 387\u2013417. Springer, 1988."},{"issue":"4","key":"16_CR9","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1109\/TSMCC.2002.806063","volume":"32","author":"M. Silva","year":"2002","unstructured":"M. Silva and L. Recalde. Petri nets and integrality relaxations: A view of continuous petri net models. IEEE Trans. on Systems, Man, and Cybernetics, 32(4):314\u2013327, 2002.","journal-title":"IEEE Trans. on Systems, Man, and Cybernetics"},{"key":"16_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/3-540-65306-6_19","volume-title":"Lectures in Petri Nets. I: Basic Models","author":"M. Silva","year":"1998","unstructured":"M. Silva, E. Teruel, and J. M. Colom. Linear algebraic and linear programming techniques for the analysis of net systems. In G. Rozenberg and W. Reisig, editors, Lectures in Petri Nets. I: Basic Models, volume 1491 of Lecture Notes in Computer Science, pages 309\u2013373. Springer, 1998."},{"key":"16_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1007\/3-540-56863-8_38","volume-title":"Application and Theory of Petri Nets 1993","author":"K. Trivedi","year":"1993","unstructured":"K. Trivedi and V. G. Kulkarni. FSPNs: Fluid stochastic Petri nets. In M. Ajmone Marsan, editor, Application and Theory of Petri Nets 1993, volume 691 of Lecture Notes in Computer Science, pages 24\u201331. Springer, 1993."}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44919-1_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,23]],"date-time":"2019-02-23T05:24:37Z","timestamp":1550899477000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44919-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540403340","9783540449195"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-44919-1_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}