{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:18:20Z","timestamp":1725664700187},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540604723"},{"type":"electronic","value":"9783540475194"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60472-3_26","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:40:39Z","timestamp":1330270839000},"page":"509-528","source":"Crossref","is-referenced-by-count":2,"title":["Modelling of hybrid systems based on extended coloured Petri nets"],"prefix":"10.1007","author":[{"given":"Y. Y.","family":"Yang","sequence":"first","affiliation":[]},{"given":"D. A.","family":"Linkens","sequence":"additional","affiliation":[]},{"given":"S. P.","family":"Banks","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"26_CR1","doi-asserted-by":"crossref","unstructured":"Fahrland, D. A., Combined discrete event continuous system simulation, Simulation, 1970, Feb., 61\u201372.","DOI":"10.1177\/003754977001400203"},{"key":"26_CR2","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0098-1354(93)80240-N","volume":"17","author":"C. C. Pantelides","year":"1992","unstructured":"Pantelides, C. C., and Barton, P. I., Equation-oriented dynamic simulation: current status and future perspectives, Computers and Chemical Engineering, 1992 17, 263\u2013285.","journal-title":"Computers and Chemical Engineering"},{"key":"26_CR3","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1016\/0098-1354(88)85062-2","volume":"12","author":"C. C. Pantelides","year":"1988","unstructured":"Pantelides, C. C., Gritsis, D., Morison, K. R., and Sargent, R. W. H., The mathematical modelling of transient systems using differential-algebraic equations, Computers and Chemical Engineering, 1988, 12, 449\u2013454.","journal-title":"Computers and Chemical Engineering"},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"Nerode, A., and Kohn, W., Models for hybrid systems: automata, topologies, controllability, observability, Hybrid Systems, Lecture Notes in Computer Science 736, Springer-Verlag, 1993, 317\u2013346.","DOI":"10.1007\/3-540-57318-6_35"},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"Antsaklis, P. J., Stiver, J. A., and Lemmon, M., Hybrid system modelling and autonomous control, Hybrid Systems, Lecture Notes in Computer Science 736, Springer-Verlag, 1993, 366\u2013392.","DOI":"10.1007\/3-540-57318-6_37"},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"Lemmon, M., Stiver, J. A., and Antsaklis, P. J., Event identification and intelligent hybrid control, Hybrid Systems, Lecture Notes in Computer Science 736, Springer-Verlag, 1993, 268\u2013296.","DOI":"10.1007\/3-540-57318-6_33"},{"key":"26_CR7","doi-asserted-by":"crossref","unstructured":"Alur, R., Courcoubetis, C., Henzinger, T. A., and Ho, P. H., Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems, Hybrid Systems, Lecture Notes in Computer Science 736, Springer-Verlag, 1993, 209\u2013229.","DOI":"10.1007\/3-540-57318-6_30"},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"Henzinger, T. A., Manna, Z., Pnueli, A., Towards refining temporal specifications into hybrid systems, Hybrid Systems, Lecture Notes in Computer Science 736, Springer-Verlag, 1993, 60\u201376.","DOI":"10.1007\/3-540-57318-6_24"},{"issue":"3","key":"26_CR9","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1145\/356698.356702","volume":"9","author":"J. L. Peterson","year":"1977","unstructured":"Peterson, J. L., Petri Nets, Computer Surveys, 1977, 9(3), 223\u2013253.","journal-title":"Computer Surveys"},{"key":"26_CR10","unstructured":"Yang, Y. Y., Linkens, D. A., and Banks, S. P., An unified approach for modelling of hybrid systems, Proceedings of the European Simulation Multiconference, Barcelona, Spain, 1\u20133 June, 1994, 240\u2013244."},{"key":"26_CR11","volume-title":"PhD Thesis","author":"A. R. Deshpande","year":"1994","unstructured":"Deshpande, A. R., Control of Hybrid System, PhD Thesis, University of California, Berkeley, USA, 1994."},{"key":"26_CR12","unstructured":"Ho, Y. C. (Ed.), Discrete Event Dynamic Systems-Analysing Complexity and Performance in Modern World, IEEE Press, 1992."},{"key":"26_CR13","unstructured":"Barton, P. I., and Pantelides, C. C., The modelling and simulation of combined discrete\/continuous processes, The 1991 ICHEME Event, 1991, 115\u2013118."},{"key":"26_CR14","unstructured":"David, R. and Alla, H., Petri Nets and Grafcet: tools for modelling discrete event systems, Printice Hall, 1992."},{"issue":"4","key":"26_CR15","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T., Petri nets: Properties, analysis and applications, Proceedings of IEEE, 1989, 77 (4), 541\u2013580.","journal-title":"Proceedings of IEEE"},{"key":"26_CR16","doi-asserted-by":"crossref","unstructured":"Zuberek, W. M., Timed Petri nets: definition, properties and applications, Microelectron. Reliab., 1991, 31(4).","DOI":"10.1016\/0026-2714(91)90007-T"},{"key":"26_CR17","doi-asserted-by":"crossref","unstructured":"Jensen, K., Coloured Petri Nets: Basic Concepts, Analysis Methods, and Practical Use, Vol. 1, Springer-Verlag, 1992.","DOI":"10.1007\/978-3-662-06289-0"},{"key":"26_CR18","doi-asserted-by":"crossref","unstructured":"Christensen, S., and Petrucci, L., Towards a modular analysis of coloured Petri nets, in Jensen, K. (Ed.), Application and Theory of Petri Nets 199S, Lecture Notes in Computer Science 616, Springer-Verlag, 1992, 113\u2013133.","DOI":"10.1007\/3-540-55676-1_7"},{"issue":"2","key":"26_CR19","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1109\/32.214828","volume":"19","author":"G. Chiola","year":"1993","unstructured":"Chiola, G., Ajmone, M., Balbo, G., and Conte, G.(1993), Generalized stochastic Petri nets: A definition at the net level and its implementations, IEEE Trans. on Software Eng., 19(2), 89\u2013107.","journal-title":"IEEE Trans. on Software Eng."},{"key":"26_CR20","doi-asserted-by":"crossref","unstructured":"Hatono, I., Yamagata, K., and Tamura, H., Modelling and online scheduling of flexible manufacturing system using stochastic petri nets, IEEE Trans. on Software Engineering, 1991, 17(2).","DOI":"10.1109\/32.67588"},{"key":"26_CR21","first-page":"151","volume":"26","author":"D. Dubois","year":"1990","unstructured":"Dubois, D., and Stecke, K. E., Dynamic analysis of repetitive decision-free discreteevent process: the algebra of timed marked graphs and algorithmic issues, Annuls. of Operations Research, 1990, 26, 151\u2013193.","journal-title":"Annuls. of Operations Research"},{"key":"26_CR22","unstructured":"Dubois, E., and Alla, H., Hybrid Petri nets with a stochastic discrete part, Proc. of European Control Conference 93, Netherlands, June 1993, 144\u2013149."},{"key":"26_CR23","doi-asserted-by":"crossref","unstructured":"Yang, Y. Y., Linkens, D. A., and Mort, N., Modelling of a soaking pit\/rolling mill process based on extended coloured Petri nets, Proceedings of the IFAC\/IFORS\/IMACS Symposium of Large Scale Systems Theory and Applications, London, UK, July 11\u201313, 1995.","DOI":"10.1016\/0967-0661(95)00139-L"},{"key":"26_CR24","unstructured":"Lu, Y. Z., and Williams, T. J., Modelling, Estimation and Control of Soaking Pits, ISA Publisher, 1983."}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60472-3_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:59:37Z","timestamp":1605628777000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60472-3_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540604723","9783540475194"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-60472-3_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}