{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:25:20Z","timestamp":1761596720363,"version":"3.41.2"},"reference-count":16,"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:1008378830715","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T09:41:38Z","timestamp":1040550098000},"page":"5-8","source":"Crossref","is-referenced-by-count":12,"title":["Guest Editorial"],"prefix":"10.1007","volume":"11","author":[{"given":"Angela Di","family":"Febbraro","sequence":"first","affiliation":[]},{"given":"Alessandro","family":"Giua","sequence":"additional","affiliation":[]},{"given":"Guiseppe","family":"Menga","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S. and Franceschinis, G. 1995. Modelling with Generalized Stochastic Petri Nets, John Wiley & Sons.","key":"280788_CR1"},{"key":"280788_CR2","first-page":"275","volume-title":"Proc. 8th Int. Work. on Applications and Theory of Petri Nets","author":"H. Alla","year":"1987","unstructured":"Alla, H. and David, R. 1987. Continuous Petri nets. Proc. 8th Int. Work. on Applications and Theory of Petri Nets, Zaragoza, Spain, pp. 275\u2013294."},{"key":"280788_CR3","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","volume":"736","author":"R. Alur","year":"1993","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 1993 LNCS, Vol. 736, Springer-Verlag, pp. 209\u2013229.","journal-title":"Hybrid Systems 1993"},{"key":"280788_CR4","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"},{"unstructured":"Bibliography on Hybrid Petri Nets. http:\/\/www.diee.unica.it\/\u00bbhpn.","key":"280788_CR5"},{"issue":"9-10","key":"280788_CR6","first-page":"1255","volume":"32","author":"M. Caradec","year":"1998","unstructured":"Caradec, M. and F. Prunet, 1998. Modelling of Hybrid Flexible Production Systems by Coloured Batches Petri Nets. European Journal of Automation APII-JESA, Special Issue on automation of mixed processes and hybrid dynamical systems, 32(9-10), pp. 1255\u20131269.","journal-title":"European Journal of Automation APII-JESA"},{"issue":"1-2","key":"280788_CR7","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/S0166-3615(97)00109-7","volume":"36","author":"R. Champagnat","year":"1998","unstructured":"Champagnat, R., Esteban, P., Pingaud, H. and Valette, R. 1998. Petri net based modeling of hybrid systems. Computers in Industry, 36(1-2), pp. 139\u2013146.","journal-title":"Computers in Industry"},{"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.","key":"280788_CR8","DOI":"10.1109\/PNPM.1997.595536"},{"issue":"4","key":"280788_CR9","doi-asserted-by":"crossref","first-page":"573","DOI":"10.1109\/9.665073","volume":"43","author":"I. Demongodin","year":"1998","unstructured":"Demongodin, I. and Koussoulas, N. T. 1998. Differential Petri nets: Representing continuous systems in a discrete-event world. IEEE Trans. on Automatic Control, 43(4), pp. 573\u2013579.","journal-title":"IEEE Trans. on Automatic Control"},{"issue":"9-10\/98","key":"280788_CR10","first-page":"1209","volume":"32","author":"A. Giua","year":"1998","unstructured":"Giua, A. and Usai, E. 1998. Modeling hybrid systems by high-level Petri nets. European Journal of Automation APII-JESA, Special Issue on Automation of mixed processes and hybrid dynamical systems, 32(9-10\/98): 1209\u20131231.","journal-title":"European Journal of Automation APII-JESA"},{"doi-asserted-by":"crossref","unstructured":"Krogh, B. H. 1993. Condition\/event signal interfaces for block diagram modeling and analysis of hybrid systems. Proc. 8th Int. Symposium on Intelligent Control Systems, pp. 180\u2013185.","key":"280788_CR11","DOI":"10.1109\/ISIC.1993.397717"},{"unstructured":"Le Bail, J., Alla, H. and David, R. 1991. Hybrid Petri nets. Proc. 1st Int. European Control Conference, ECC91 Grenoble, France, pp. 1472\u20131477.","key":"280788_CR12"},{"issue":"4","key":"280788_CR13","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"},{"issue":"11\/12","key":"280788_CR14","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"},{"doi-asserted-by":"crossref","unstructured":"Trivedi, K. S. and Kulkarni, V. G. 1993. FSPNs: Fluid stochastic Petri nets. Proc. 14th Int. Conf. on Applications and Theory of Petri Nets (Chicago, IL, USA), Lecture Notes in Computer Science, Vol. 691, M. Ajmone Marsan, ed., pp. 24\u201331.","key":"280788_CR15","DOI":"10.1007\/3-540-56863-8_38"},{"unstructured":"Valentin-Roubinet, C. 1998. Modeling of hybrid systems: DAE supervised by Petri nets. The example of a gas storage. Proc. of 3rd Int. Conf. on Automation of Mixed Processes, ADPM98 Reims, France, pp. 142\u2013149.","key":"280788_CR16"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008378830715.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008378830715\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008378830715.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,29]],"date-time":"2025-07-29T04:15:36Z","timestamp":1753762536000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008378830715"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,1]]},"references-count":16,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2001,1]]}},"alternative-id":["280788"],"URL":"https:\/\/doi.org\/10.1023\/a:1008378830715","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"type":"print","value":"0924-6703"},{"type":"electronic","value":"1573-7594"}],"subject":[],"published":{"date-parts":[[2001,1]]}}}