{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T12:45:34Z","timestamp":1743079534192,"version":"3.40.3"},"publisher-location":"London","reference-count":18,"publisher":"Springer London","isbn-type":[{"type":"electronic","value":"9781447151029"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-1-4471-5102-9_52-1","type":"book-chapter","created":{"date-parts":[[2014,9,1]],"date-time":"2014-09-01T11:57:49Z","timestamp":1409572669000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Models for Discrete Event Systems: An Overview"],"prefix":"10.1007","author":[{"given":"Christos G.","family":"Cassandras","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,5,8]]},"reference":[{"key":"52-1_CR1","volume-title":"Synchronization and linearity","author":"F Baccelli","year":"1992","unstructured":"Baccelli F, Cohen G, Olsder GJ, Quadrat JP (1992) Synchronization and linearity. Wiley, Chichester\/New York"},{"key":"52-1_CR2","series-title":"Cambridge tracts in theoretical computer science","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511608841","volume-title":"Process algebra","author":"JCM Baeten","year":"1990","unstructured":"Baeten JCM, Weijland WP (1990) Process algebra. Volume 18 of Cambridge tracts in theoretical computer science. Cambridge University Press, Cambridge\/New York"},{"key":"52-1_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7","volume-title":"Introduction to discrete event systems","author":"CG Cassandras","year":"2008","unstructured":"Cassandras CG, Lafortune S (2008) Introduction to discrete event systems, 2nd edn. Springer, New York","edition":"2"},{"key":"52-1_CR4","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1023\/A:1008323906342","volume":"9","author":"CG Cassandras","year":"1999","unstructured":"Cassandras CG, Panayiotou CG (1999) Concurrent sample path analysis of discrete event systems. J Discret Event Dyn Syst Theory Appl 9:171\u2013195","journal-title":"J Discret Event Dyn Syst Theory Appl"},{"issue":"6","key":"52-1_CR5","doi-asserted-by":"publisher","first-page":"724","DOI":"10.1109\/9.86945","volume":"AC-36","author":"E Chen","year":"1991","unstructured":"Chen E, Lafortune S (1991) Dealing with blocking in supervisory control of discrete event systems. IEEE Trans Autom Control AC-36(6):724\u2013735","journal-title":"IEEE Trans Autom Control"},{"key":"52-1_CR6","doi-asserted-by":"crossref","unstructured":"Cuninghame-Green RA (1979) Minimax algebra. Number 166 in lecture notes in economics and mathematical systems. Springer, Berlin\/New York","DOI":"10.1007\/978-3-642-48708-8"},{"key":"52-1_CR7","volume-title":"Gradient estimation via perturbation analysis","author":"P Glasserman","year":"1991","unstructured":"Glasserman P (1991) Gradient estimation via perturbation analysis. Kluwer Academic, Boston"},{"key":"52-1_CR8","volume-title":"Monotone structure in discrete-event systems","author":"P Glasserman","year":"1994","unstructured":"Glasserman P, Yao DD (1994) Monotone structure in discrete-event systems. Wiley, New York"},{"volume-title":"Discrete event dynamic systems: analyzing complexity and performance in the modern world","year":"1991","key":"52-1_CR9","unstructured":"Ho YC (ed) (1991) Discrete event dynamic systems: analyzing complexity and performance in the modern world. IEEE, New York"},{"key":"52-1_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4024-3","volume-title":"Perturbation analysis of discrete event dynamic systems","author":"YC Ho","year":"1991","unstructured":"Ho YC, Cao X (1991) Perturbation analysis of discrete event dynamic systems. Kluwer Academic, Dordrecht"},{"key":"52-1_CR11","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0005-1098(83)90088-2","volume":"19","author":"YC Ho","year":"1983","unstructured":"Ho YC, Cassandras CG (1983) A new approach to the analysis of discrete event dynamic systems. Automatica 19:149\u2013167","journal-title":"Automatica"},{"key":"52-1_CR12","volume-title":"Communicating sequential processes","author":"CAR Hoare","year":"1985","unstructured":"Hoare CAR (1985) Communicating sequential processes. Prentice-Hall, Englewood Cliffs"},{"key":"52-1_CR13","volume-title":"Introduction to automata theory, languages, and computation","author":"JE Hopcroft","year":"1979","unstructured":"Hopcroft JE, Ullman J (1979) Introduction to automata theory, languages, and computation. Addison-Wesley, Reading"},{"key":"52-1_CR14","volume-title":"Simulation modeling and analysis","author":"AM Law","year":"1991","unstructured":"Law AM, Kelton WD (1991) Simulation modeling and analysis. McGraw-Hill, New York"},{"key":"52-1_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5711-1","volume-title":"Supervisory control of discrete event systems using petri nets","author":"JO Moody","year":"1998","unstructured":"Moody JO, Antsaklis P (1998) Supervisory control of discrete event systems using petri nets. Kluwer Academic, Boston"},{"key":"52-1_CR16","volume-title":"Petri net theory and the modeling of systems","author":"JL Peterson","year":"1981","unstructured":"Peterson JL (1981) Petri net theory and the modeling of systems. Prentice Hall, Englewood Cliffs"},{"issue":"1","key":"52-1_CR17","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"PJ Ramadge","year":"1987","unstructured":"Ramadge PJ, Wonham WM (1987) Supervisory control of a class of discrete event processes. SIAM J Control Optim 25(1):206\u2013230","journal-title":"SIAM J Control Optim"},{"issue":"5","key":"52-1_CR18","doi-asserted-by":"publisher","first-page":"631","DOI":"10.1109\/9.668830","volume":"43","author":"FJ V\u00e1zquez-Abad","year":"1998","unstructured":"V\u00e1zquez-Abad FJ, Cassandras CG, Julka V (1998) Centralized and decentralized asynchronous optimization of stochastic discrete event systems. IEEE Trans Autom Control 43(5):631\u2013655","journal-title":"IEEE Trans Autom 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_52-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,8]],"date-time":"2023-02-08T02:58:10Z","timestamp":1675825090000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-5102-9_52-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9781447151029"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-5102-9_52-1","relation":{},"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"5 February 2014, 03:22:32","order":1,"name":"received","label":"Received","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"5 February 2014, 03:22:32","order":2,"name":"accepted","label":"Accepted","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"8 May 2014","order":3,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}