{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T17:42:39Z","timestamp":1784223759072,"version":"3.55.0"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dynamic Systems"],"published-print":{"date-parts":[[2001,1]]},"DOI":"10.1023\/a:1008383031624","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T09:41:38Z","timestamp":1040550098000},"page":"41-57","source":"Crossref","is-referenced-by-count":14,"title":["Decidability results in First\u2013Order Hybrid Petri Nets"],"prefix":"10.1007","volume":"11","author":[{"given":"Fabio","family":"Balduzzi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Angela Di","family":"Febbraro","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alessandro","family":"Giua","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Carla","family":"Seatzu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"280790_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R., Courcoubetis, C., Henzinger, T.A., and Ho, P.-H. 1993. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. Hybrid Systems I, Lecture Notes in Computer Science 736. Springer-Verlag, pp. 209\u2013229.","DOI":"10.1007\/3-540-57318-6_30"},{"key":"280790_CR2","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., and Dill, D.L. 1994. A theory of timed automata. Theoretical Computer Science 126, pp. 183\u2013235.","journal-title":"Theoretical Computer Science"},{"key":"280790_CR3","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T.A., and Wong-Toi, H. 1997. Symbolic analysis of hybrid systems. Proc. 36th Conf. on Decision and Control. San Diego, California, pp. 702\u2013707.","DOI":"10.1109\/CDC.1997.650717"},{"key":"280790_CR4","doi-asserted-by":"crossref","unstructured":"Antsaklis, P. J., Kohn, W., Lemmon, M., Nerode, A., and Sastry, S. (eds.). 1998. Symbolic analysis of hybrid systems. Hybrid Systems V, Lecture Notes in Computer Science. Springer-Verlag.","DOI":"10.1007\/3-540-49163-5"},{"key":"280790_CR5","doi-asserted-by":"crossref","unstructured":"Antsaklis, P. J., and Nerode, A. (eds.). 1998. Special issue on \u201cHybrid control systems\u201d. IEEE Trans. on Automatic Control 43.","DOI":"10.1109\/TAC.1998.664148"},{"key":"280790_CR6","unstructured":"Antsaklis, P. J., and Lemmon, M. (eds.). 1998. Special issue on \u201cHybrid systems\u201d. J. of Discrete Event Dynamical Systems 8."},{"key":"280790_CR7","unstructured":"Balduzzi, F., Di Febbraro, A., Giua, A., and Seatzu, C. 1999. Decidability of single-rate hybrid Petri nets. 38th IEEE Conf. on Decision and Control. Phoenix, Arizona, pp. 2263\u20132268."},{"key":"280790_CR8","unstructured":"Balduzzi, F., Di Febbraro, A., Giua, A., and Seatzu, C. 2000a. Timed automata and Petri nets. Proc. 3rd IMACS Symp. on Mathematical Modelling MATHMOD. Vienna, Austria, pp. 461-465."},{"issue":"4","key":"280790_CR9","doi-asserted-by":"crossref","first-page":"382","DOI":"10.1109\/70.864231","volume":"16","author":"F. Balduzzi","year":"2000","unstructured":"Balduzzi, F., Giua, A., and Menga, G. 2000b. First-order hybrid Petri nets: A model for optimization and control. IEEE Trans. on Robotics and Automation 16(4), pp. 382\u2013399.","journal-title":"IEEE Trans. on Robotics and Automation"},{"key":"280790_CR10","doi-asserted-by":"crossref","unstructured":"Branicky, M. S., Borkar, V.S., and Mitter, S.K. 1994. A unified framework for hybrid control. Proc. 33rd IEEE Conf. on Decision and Control. Lake Buena Vista, Florida, pp. 4228-4234.","DOI":"10.1109\/CDC.1994.411615"},{"key":"280790_CR11","doi-asserted-by":"crossref","unstructured":"David, R., and Alla, H. 1992. Autonomous and timed continuous Petri nets. Advances in Petri Nets 1993, LNCS 674, G. Rozenberg (ed.). Springer-Verlag, pp. 71\u201390.","DOI":"10.1007\/3-540-56689-9_40"},{"key":"280790_CR12","doi-asserted-by":"crossref","unstructured":"David, R. 1997. Modeling of hybrid systems using continuous and hybrid Petri nets. Proc. 6th Int. Work. Petri Nets and Performance Models, PNPM97. St-Malo, France, pp. 47\u201357.","DOI":"10.1109\/PNPM.1997.595536"},{"key":"280790_CR13","unstructured":"Gribaudo, M., Sereno, M., and Bobbio, A. 1999. Fluid stochastic Petri nets: An extended formalism to include non-Markovian models. Proc. 7th Int. Work. Petri Nets and Performance Models, PNPM99. Zaragoza, Spain."},{"key":"280790_CR14","doi-asserted-by":"crossref","unstructured":"Kesten, Y., Pnueli, A., Sifakis, J., and Yovine, S. 1993. Integration graphs: A class of decidable hybrid systems. Hybrid Systems, LNCS 736. Springer, pp. 179\u2013208.","DOI":"10.1007\/3-540-57318-6_29"},{"key":"280790_CR15","doi-asserted-by":"crossref","unstructured":"Kopke, P. W., Henzinger, T.A, Puri, A., and Varaiya, P. 1995. What' decidable about hybrid automata? 27-th Annual ACM Symposioum on Theory of Computing (STOCS), pp. 372\u2013382.","DOI":"10.1145\/225058.225162"},{"issue":"4","key":"280790_CR16","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T. 1989. Petri nets: Properties, analysis and applications. Proceedings IEEE 77(4), pp. 541\u2013580.","journal-title":"Proceedings IEEE"},{"key":"280790_CR17","doi-asserted-by":"crossref","unstructured":"Nicollin, X., Olivero, A., Sifakis, J., and Yovine, S. 1993. An approach to the description and analysis of hybrid systems. Hybrid Systems, LNCS 736. Springer-Verlag.","DOI":"10.1007\/3-540-57318-6_28"},{"issue":"11\/12","key":"280790_CR18","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/0895-7177(96)00072-6","volume":"23","author":"A. Puri","year":"1996","unstructured":"Puri, A., and Varaiya, P. 1996. Decidable hybrid systems. Computer and Mathematical Modeling 23(11\/12), pp. 191\u2013202.","journal-title":"Computer and Mathematical Modeling"},{"key":"280790_CR19","unstructured":"Reutenauer, C. 1990. The Mathematics of Petri Nets, Prentice-Hall Intern."}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008383031624.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008383031624\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008383031624.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,29]],"date-time":"2025-07-29T04:18:11Z","timestamp":1753762691000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008383031624"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,1]]},"references-count":19,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2001,1]]}},"alternative-id":["280790"],"URL":"https:\/\/doi.org\/10.1023\/a:1008383031624","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2001,1]]}}}