{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:38:54Z","timestamp":1742913534308,"version":"3.40.3"},"publisher-location":"London","reference-count":9,"publisher":"Springer London","isbn-type":[{"type":"electronic","value":"9781447151029"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-1-4471-5102-9_55-1","type":"book-chapter","created":{"date-parts":[[2014,10,2]],"date-time":"2014-10-02T02:12:15Z","timestamp":1412215935000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Discrete Event Systems and Hybrid Systems, Connections Between"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Giua","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,3,18]]},"reference":[{"key":"55-1_CR1","volume-title":"Modelling with generalized stochastic Petri nets","author":"M Ajmone Marsan","year":"1995","unstructured":"Ajmone Marsan M, Balbo G, Conte G, Donatelli S, Franceschinis G (1995) Modelling with generalized stochastic Petri nets. Wiley, Chichester\/New York"},{"key":"55-1_CR2","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur R, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126:183\u2013235","journal-title":"Theor Comput Sci"},{"issue":"7","key":"55-1_CR3","doi-asserted-by":"publisher","first-page":"971","DOI":"10.1109\/5.871304","volume":"88","author":"R Alur","year":"2000","unstructured":"Alur R, Henzinger TA, Lafferriere G, Pappas GJ (2000) Discrete abstractions of hybrid systems. Proc IEEE 88(7):971\u2013984","journal-title":"Proc IEEE"},{"key":"55-1_CR4","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1109\/70.864231","volume":"16","author":"F Balduzzi","year":"2000","unstructured":"Balduzzi F, Giua A, Menga G (2000) First\u2013order hybrid Petri nets: a model for optimization and control. IEEE Trans Robot Autom 16:382\u2013399","journal-title":"IEEE Trans Robot Autom"},{"volume-title":"Stochastic hybrid systems: recent developments and research","year":"2006","key":"55-1_CR5","unstructured":"Cassandras CG, Lygeros J (eds) (2006) Stochastic hybrid systems: recent developments and research. CRC Press, New York"},{"key":"55-1_CR6","volume-title":"Discrete, continuous and hybrid Petri nets","author":"R David","year":"2004","unstructured":"David R, Alla H (2004) Discrete, continuous and hybrid Petri nets. Springer, Berlin"},{"key":"55-1_CR7","volume-title":"Introduction to discrete event systems","author":"S Lafortune","year":"2007","unstructured":"Lafortune S, Cassandras CG (2007) Introduction to discrete event systems, 2nd edn. Springer, Boston","edition":"2"},{"key":"55-1_CR8","doi-asserted-by":"crossref","unstructured":"Seatzu C, Silva M, van Schuppen JH (eds) (2012) Control of discrete event systems. Automata and Petri net perspectives. Volume 433 of lecture notes in control and information science. Springer, London","DOI":"10.1007\/978-1-4471-4276-8"},{"issue":"2","key":"55-1_CR9","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1016\/j.arcontrol.2004.05.002","volume":"28","author":"M Silva","year":"2004","unstructured":"Silva M, Recalde L (2004) On fluidification of Petri net models: from discrete to hybrid and continuous models. Annu Rev Control 28(2):253\u2013266","journal-title":"Annu Rev Control"}],"container-title":["Encyclopedia of Systems and Control"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-5102-9_55-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T23:28:53Z","timestamp":1676849333000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-5102-9_55-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9781447151029"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-5102-9_55-1","relation":{},"subject":[],"published":{"date-parts":[[2013]]},"assertion":[{"value":"16 October 2013, 19:35:22","order":1,"name":"received","label":"Received","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"16 October 2013, 19:35:22","order":2,"name":"accepted","label":"Accepted","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"18 March 2014","order":3,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}