{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,24]],"date-time":"2026-01-24T03:02:59Z","timestamp":1769223779023,"version":"3.49.0"},"reference-count":12,"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:1008395301582","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T09:41:38Z","timestamp":1040550098000},"page":"163-185","source":"Crossref","is-referenced-by-count":23,"title":["Analysis of Hybrid Systems Based on Hybrid Net Condition\/Event System Model"],"prefix":"10.1007","volume":"11","author":[{"given":"Haoxun","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans-Michael","family":"Hanisch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"280796_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. In R.L. Grossman et al. (eds.), Hybrid Systems, LNCS 736, Springer Verlag, pp. 209\u2013229.","DOI":"10.1007\/3-540-57318-6_30"},{"key":"280796_CR2","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"Alur, R., Courcoubetis, C., Halbwachs, N. and Henzinger, et al. 1995. The algorithmic analysis of hybrid systems. Theoretical Computer Science 138: 3\u201334.","journal-title":"Theoretical Computer Science"},{"key":"280796_CR3","doi-asserted-by":"crossref","unstructured":"Antsaklis, P., et al. (Eds.). 1995. Hybrid Systems II, Lecture Notes in Computer Science, Vol. 999, Springer.","DOI":"10.1007\/3-540-60472-3"},{"key":"280796_CR4","unstructured":"Champagnat, R., et al. 1998. Modeling and simulation of a hybrid system through PR=TR PN-DAE model. Proc. of 3rd Int. Conf. on Automation of Mixed Processes. Reims, France, pp. 131\u20137."},{"key":"280796_CR5","unstructured":"Chen, H. and Hanisch, H.-M. 1998. Hybrid net condition=event systems for modeling and analysis of batch processes. Proc. of 3rd Int. Conf. on Automation of Mixed Processes. Reims, France."},{"key":"280796_CR6","unstructured":"David, R. and Alla H. 1992. Petri Nets and Grafcet. Prentice Hall Int."},{"key":"280796_CR7","unstructured":"Giua, A. and Usai, E. 1998. Modeling hybrid systems by high-level Petri nets. Proc. of 3rd Int. Conf. on Automation of Mixed Processes. Reims, France, pp. 316\u201323."},{"key":"280796_CR8","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.","DOI":"10.1109\/ISIC.1993.397717"},{"key":"280796_CR9","unstructured":"Labinaz, G., et al. 1996. Modeling and control of hybrid systems: A survey. Proc. of 13th IFAC World Congress. San Francisco, USA, pp. 293\u2013304."},{"key":"280796_CR10","volume-title":"Hybrid modeling focused on hybrid Petri nets","author":"S. Pettersson","year":"1995","unstructured":"Pettersson, S., et al. 1995. Hybrid modeling focused on hybrid Petri nets. Control Eng. Lab, Chalmers University of Technology, G\u00f6teborg, Sweden, Technical Report CTH\/RT\/I-95\/009."},{"key":"280796_CR11","first-page":"592","volume":"1","author":"M. Rausch","year":"1995","unstructured":"Rausch, M. and Hanisch, H.-M. 1995. Net condition=event systems with multiple condition outputs. Proc. of the ETFA 95 Conference. Paris, Vol. 1, pp. 592\u2013600.","journal-title":"Proc. of the ETFA 95 Conference"},{"key":"280796_CR12","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. Reims, France, pp. 142."}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008395301582.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008395301582\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008395301582.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,29]],"date-time":"2025-07-29T04:06:54Z","timestamp":1753762014000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008395301582"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,1]]},"references-count":12,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2001,1]]}},"alternative-id":["280796"],"URL":"https:\/\/doi.org\/10.1023\/a:1008395301582","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2001,1]]}}}