{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:43:43Z","timestamp":1725497023402},"edition-number":"1","reference-count":10,"publisher":"Wiley","isbn-type":[{"type":"print","value":"9780471383932"},{"type":"electronic","value":"9780470050118"}],"license":[{"start":{"date-parts":[[2008,6,13]],"date-time":"2008-06-13T00:00:00Z","timestamp":1213315200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This article introduces the class of dynamic systems known as discrete event systems, which are characterized by event\u2010driven transitions over a discrete set of states. The modeling formalism of automata is employed, and their language properties characterized. Parallel composition of automata is defined. Analysis of logical properties of discrete event systems modeled by automata is discussed, with a special focus on partially observed systems and event diagnosis using diagnoser automata.<\/jats:p>","DOI":"10.1002\/9780470050118.ecse113","type":"other","created":{"date-parts":[[2008,6,30]],"date-time":"2008-06-30T11:24:27Z","timestamp":1214825067000},"page":"0-0","source":"Crossref","is-referenced-by-count":0,"title":["Discrete Event Systems: Untimed Models and their Analysis"],"prefix":"10.1002","author":[{"given":"St\u00e9phane","family":"Lafortune","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2008,6,13]]},"reference":[{"volume-title":"Introduction to Discrete Event Systems","year":"2007","author":"Cassandras C.","key":"e_1_2_6_2_1"},{"volume-title":"Introduction to the Theory of Computation","year":"2006","author":"Sipser M.","key":"e_1_2_6_3_1"},{"volume-title":"Modeling and Control of Discrete\u2010Event Dynamic Systems","year":"2007","author":"Hr\u00faz B.","key":"e_1_2_6_4_1"},{"volume-title":"Computer Networks","year":"1996","author":"Tanenbaum A.","key":"e_1_2_6_5_1"},{"key":"e_1_2_6_6_1","doi-asserted-by":"crossref","unstructured":"L.Ricker S.Lafortune andS.Genc DESUMA: A Tool Integrating GIDDES and UMDES inProceedings of the 8th International Workshop on Discrete Event Systems Ann Arbor MI 2006 pp.392\u2013393.","DOI":"10.1109\/WODES.2006.382402"},{"volume-title":"Design and Validation of Computer Protocols","year":"1991","author":"Holzmann G. J.","key":"e_1_2_6_7_1"},{"volume-title":"Stochastic Discrete Event Systems: Modeling, Evaluation, Applications","year":"2007","author":"Zimmermann A.","key":"e_1_2_6_8_1"},{"key":"e_1_2_6_9_1","doi-asserted-by":"crossref","unstructured":"W. M.Wonham Supervisory Control of Discrete\u2010Event Systems. Available:http:\/\/www.control.utoronto.ca\/DES\/wonham.html. updated 1 July2007.","DOI":"10.1007\/978-1-4471-5102-9_54-1"},{"volume-title":"Supervisory Control of Concurrent Systems \u2010 A Petri Net Structural Approach","year":"2006","author":"Iordache M. V.","key":"e_1_2_6_10_1"},{"volume-title":"Simulation Modeling & Analysis","year":"2007","author":"Law A. M.","key":"e_1_2_6_11_1"}],"container-title":["Wiley Encyclopedia of Computer Science and Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/9780470050118.ecse113","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,27]],"date-time":"2024-02-27T23:22:07Z","timestamp":1709076127000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/9780470050118.ecse113"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6,13]]},"ISBN":["9780471383932","9780470050118"],"references-count":10,"alternative-id":["10.1002\/9780470050118.ecse113","10.1002\/9780470050118"],"URL":"https:\/\/doi.org\/10.1002\/9780470050118.ecse113","archive":["Portico"],"relation":{},"subject":[],"published":{"date-parts":[[2008,6,13]]}}}