{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,23]],"date-time":"2025-12-23T05:03:08Z","timestamp":1766466188088,"version":"3.40.3"},"publisher-location":"London","reference-count":69,"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_59-1","type":"book-chapter","created":{"date-parts":[[2014,10,2]],"date-time":"2014-10-02T02:12:15Z","timestamp":1412215935000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Applications of Discrete Event Systems"],"prefix":"10.1007","author":[{"given":"Spyros","family":"Reveliotis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,2,8]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Akesson K, Fabian M, Flordal H, Malik R (2006) SUPREMICA-an integrated environment for verification, synthesis and simulation of discrete event systems. In: Proceedings of the 8th international workshop on discrete event systems, Ann Arbor. IEEE, pp\u00a0384\u2013385","key":"59-1_CR1","DOI":"10.1109\/WODES.2006.382401"},{"key":"59-1_CR2","doi-asserted-by":"publisher","first-page":"1506","DOI":"10.1109\/TCST.2011.2168607","volume":"20","author":"T Alenljung","year":"2012","unstructured":"Alenljung T, Lennartson B, Hosseini MN (2012) Sensor graphs for discrete event modeling applied to formal verification of PLCs. IEEE Trans Control Syst Technol 20:1506\u20131521","journal-title":"IEEE Trans Control Syst Technol"},{"key":"59-1_CR3","doi-asserted-by":"publisher","first-page":"414","DOI":"10.1109\/TCST.2009.2015591","volume":"18","author":"K Andersson","year":"2010","unstructured":"Andersson K, Richardsson J, Lennartson B, Fabian M (2010) Coordination of operations by relation extraction for manufacturing cell controllers. IEEE Trans Control Syst Technol 18: 414\u2013429","journal-title":"IEEE Trans Control Syst Technol"},{"key":"59-1_CR4","volume-title":"Synchronization and linearity: an algebra for discrete event systems","author":"F Baccelli","year":"1992","unstructured":"Baccelli F, Cohen G, Olsder GJ, Quadrat JP (1992) Synchronization and linearity: an algebra for discrete event systems. Wiley, New York"},{"key":"59-1_CR5","doi-asserted-by":"publisher","first-page":"1040","DOI":"10.1109\/9.231459","volume":"38","author":"S Balemi","year":"1993","unstructured":"Balemi S, Hoffmann GJ, Wong-Toi PG, Franklin GJ (1993) Supervisory control of a rapid thermal multiprocessor. IEEE Trans Autom Control 38:1040\u20131059","journal-title":"IEEE Trans Autom Control"},{"key":"59-1_CR6","volume-title":"Discrete-event system simulation","author":"J Banks","year":"2009","unstructured":"Banks J, Carson\u00a0II JS, Nelson BL, Nicol DM (2009) Discrete-event system simulation, 5th edn. Prentice Hall, Upper Saddle","edition":"5"},{"key":"59-1_CR7","volume-title":"Dynamic programming and optimal control, vols 1, 2","author":"DP Bertsekas","year":"1995","unstructured":"Bertsekas DP (1995) Dynamic programming and optimal control, vols\u00a01, 2. Athena Scientific, Belmont"},{"key":"59-1_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/70.481746","volume":"12","author":"B Brandin","year":"1996","unstructured":"Brandin B (1996) The real-time supervisory control of an experimental manufacturing cell. IEEE Trans Robot Autom 12:1\u201314","journal-title":"IEEE Trans Robot Autom"},{"key":"59-1_CR9","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/s10626-004-6211-4","volume":"15","author":"X-R Cao","year":"2005","unstructured":"Cao X-R (2005) Basic ideas for event-based optimization of Markov systems. Discret Event Syst Theory Appl 15:169\u2013197","journal-title":"Discret Event Syst Theory Appl"},{"key":"59-1_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-69082-7","volume-title":"Stochastic learning and optimization: a sensitivity approach","author":"X-R Cao","year":"2007","unstructured":"Cao X-R (2007) Stochastic learning and optimization: a sensitivity approach. Springer, New York"},{"key":"59-1_CR11","first-page":"243","volume-title":"Dynamics of discrete event systems","author":"CG Cassandras","year":"1994","unstructured":"Cassandras CG (1994) Perturbation analysis and \u201crapid learning\u201d in the control of manufacturing systems. In: Leondes CT (ed) Dynamics of discrete event systems, vol\u00a051. Academic, Boston, pp\u00a0243\u2013284"},{"key":"59-1_CR12","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\u00a0York","edition":"2"},{"key":"59-1_CR13","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1109\/49.192739","volume":"6","author":"CG Cassandras","year":"1988","unstructured":"Cassandras CG, Strickland SG (1988) Perturbation analytic methodologies for design and optimization of communication networks. IEEE J Sel Areas Commun 6:158\u2013171","journal-title":"IEEE J Sel Areas Commun"},{"key":"59-1_CR14","volume-title":"Formal methods in manufacturing","author":"CG Cassandras","year":"2013","unstructured":"Cassandras CG, Yao C (2013) Hybrid models for the control and optimization of manufacturing systems. In: Campos J, Seatzu C, Xie X (eds) Formal methods in manufacturing. CRC\/Taylor and Francis, Boca Raton"},{"key":"59-1_CR15","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1109\/TSMCC.2003.813152","volume":"33","author":"V Chandra","year":"2003","unstructured":"Chandra V, Huang Z, Kumar R (2003) Automated control synthesis for an assembly line using discrete event system theory. IEEE Trans Syst Man Cybern Part C 33:284\u2013289","journal-title":"IEEE Trans Syst Man Cybern Part C"},{"doi-asserted-by":"crossref","unstructured":"Curry JER (2012) Some perspectives and challenges in the (discrete) control of cellular systems. In: Proceedings of the WODES 2012, Guadalajar. IFAC, pp\u00a01\u20133","key":"59-1_CR16","DOI":"10.3182\/20121003-3-MX-4033.00003"},{"key":"59-1_CR17","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1214\/aoap\/1177004828","volume":"5","author":"JG Dai","year":"1995","unstructured":"Dai JG (1995) On positive Harris recurrence of multiclass queueing networks: a unified approach via fluid limit models. Ann Appl Probab 5:49\u201377","journal-title":"Ann Appl Probab"},{"key":"59-1_CR18","volume-title":"Petri nets and Grafcet: tools for modelling discrete event systems","author":"R David","year":"1992","unstructured":"David R, Alla H (1992) Petri nets and Grafcet: tools for modelling discrete event systems. Prentice-Hall, Upper Saddle"},{"key":"59-1_CR19","volume-title":"Discrete, continuous and hybrid Petri nets","author":"R David","year":"2005","unstructured":"David R, Alla H (2005) Discrete, continuous and hybrid Petri nets. Springer, Berlin"},{"doi-asserted-by":"crossref","unstructured":"David-Henriet X, Hardouin L, Raisch J, Cottenceau B (2013) Optimal control for timed event graphs under partial synchronization. In: Proceedings of the 52nd IEEE conference on decision and control, Florence. IEEE","key":"59-1_CR20","DOI":"10.1109\/CDC.2013.6761097"},{"key":"59-1_CR21","doi-asserted-by":"publisher","first-page":"1089","DOI":"10.1109\/TAC.2010.2042008","volume":"55","author":"J Dubreil","year":"2010","unstructured":"Dubreil J, Darondeau P, Marchand H (2010) Supervisory control for opacity. IEEE Trans Autom Control 55:1089\u20131100","journal-title":"IEEE Trans Autom Control"},{"key":"59-1_CR22","doi-asserted-by":"publisher","first-page":"1127","DOI":"10.1016\/j.conengprac.2006.02.001","volume":"14","author":"EW Endsley","year":"2006","unstructured":"Endsley EW, Almeida EE, Tilbury DM (2006) Modular finite state machines: development and application to reconfigurable manufacturing cell controller generation. Control Eng Pract 14:1127\u20131142","journal-title":"Control Eng Pract"},{"key":"59-1_CR23","first-page":"173","volume":"11","author":"J Ezpeleta","year":"1995","unstructured":"Ezpeleta J, Colom JM, Martinez J (1995) A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans R&A 11:173\u2013184","journal-title":"IEEE Trans R&A"},{"doi-asserted-by":"crossref","unstructured":"Feng L, Wonham WM (2006) TCT: a computation tool for supervisory control synthesis. In: Proceedings of the 8th international workshop on discrete event systems, Ann Arbor. IEEE, pp\u00a0388\u2013389","key":"59-1_CR24","DOI":"10.1109\/WODES.2006.382399"},{"key":"59-1_CR25","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/s10703-006-0023-0","volume":"30","author":"L Feng","year":"2007","unstructured":"Feng L, Wonham WM, Thiagarajan PS (2007) Designing communicating transaction processes by supervisory control theory. Formal Methods Syst Design 30:117\u2013141","journal-title":"Formal Methods Syst Design"},{"key":"59-1_CR26","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1023\/A:1019759524969","volume":"12","author":"M Fu","year":"2002","unstructured":"Fu M, Xie X (2002) Derivative estimation for buffer capacity of continuous transfer lines subject to operation-dependent failures. Discret Event Syst Theory Appl 12:447\u2013469","journal-title":"Discret Event Syst Theory Appl"},{"key":"59-1_CR27","volume-title":"Manufacturing systems engineering","author":"SB Gershwin","year":"1994","unstructured":"Gershwin SB (1994) Manufacturing systems engineering. Prentice Hall, Englewood Cliffs"},{"key":"59-1_CR28","first-page":"1231","volume":"10","author":"A Giua","year":"2006","unstructured":"Giua A, Fanti MP, Seatzu C (2006) Monitor design for colored Petri nets: an application to deadlock prevention in railway networks. Control Eng Pract 10:1231\u20131247","journal-title":"Control Eng Pract"},{"key":"59-1_CR29","doi-asserted-by":"publisher","first-page":"1152","DOI":"10.1016\/j.automatica.2010.04.002","volume":"46","author":"RC Hill","year":"2010","unstructured":"Hill RC, Cury JER, de\u00a0Queiroz MH, Tilbury DM, Lafortune S (2010) Multi-level hierarchical interface-based supervisory control. Automatica 46:1152\u20131164","journal-title":"Automatica"},{"key":"59-1_CR30","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4024-3","volume-title":"Perturbation analysis of discrete event systems","author":"YC Ho","year":"1991","unstructured":"Ho YC, Cao X-R (1991) Perturbation analysis of discrete event systems. Kluwer Academic, Boston"},{"key":"59-1_CR31","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1287\/mnsc.45.1.86","volume":"45","author":"T Homem-de Mello","year":"1999","unstructured":"Homem-de Mello T, Shapiro A, Spearman ML (1999) Finding optimal material release times using simulation-based optimization. Manage Sci 45:86\u2013102","journal-title":"Manage Sci"},{"key":"59-1_CR32","volume-title":"Introduction to automata theory, languages and computation","author":"JE Hopcroft","year":"1979","unstructured":"Hopcroft JE, Ullman JD (1979) Introduction to automata theory, languages and computation. Addison-Wesley, Reading"},{"key":"59-1_CR33","doi-asserted-by":"publisher","first-page":"913","DOI":"10.1109\/5.871301","volume":"88","author":"R Horowitz","year":"2000","unstructured":"Horowitz R, Varaiya P (2000) Control design of automated highway system. Proc IEEE 88: 913\u2013925","journal-title":"Proc IEEE"},{"key":"59-1_CR34","doi-asserted-by":"publisher","first-page":"875","DOI":"10.1109\/TRA.2002.805655","volume":"18","author":"M Jeng","year":"2002","unstructured":"Jeng M, Xie X, Peng MY (2002) Process nets with resources for manufacturing modeling and their analysis. IEEE Trans Robot Autom 18:875\u2013889","journal-title":"IEEE Trans Robot Autom"},{"key":"59-1_CR35","first-page":"3063","volume-title":"Feedback control design for cluster tools with wafer residency time constraints","author":"J-H Kim","year":"2012","unstructured":"Kim J-H, Lee T-E (2012) Feedback control design for cluster tools with wafer residency time constraints. In: IEEE conference on systems, man and cybernetics, Seoul. IEEE, pp\u00a03063\u20133068"},{"key":"59-1_CR36","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/TAC.2009.2034216","volume":"55","author":"R Kumar","year":"2010","unstructured":"Kumar R, Takai S (2010) Decentralized prognosis of failures in discrete event systems. IEEE Trans Autom Control 55:48\u201359","journal-title":"IEEE Trans Autom Control"},{"key":"59-1_CR37","first-page":"1","volume-title":"A review of cluster tool scheduling and control for semiconductor manufacturing","author":"T-E Lee","year":"2008","unstructured":"Lee T-E (2008) A review of cluster tool scheduling and control for semiconductor manufacturing. In: Proceedings of the winter simulation conference, Miami. INFORMS, pp\u00a01\u20136"},{"key":"59-1_CR38","doi-asserted-by":"publisher","DOI":"10.1049\/PBCE050E","volume-title":"Programming industrial control systems using IEC 1131\u20133","author":"RW Lewis","year":"1998","unstructured":"Lewis RW (1998) Programming industrial control systems using IEC 1131\u20133. Technical report, The Institution of Electrical Engineers"},{"key":"59-1_CR39","volume-title":"Model-based automatic test generation for Simulink\/Stateflow using extended finite automaton","author":"M Li","year":"2012","unstructured":"Li M, Kumar R (2012) Model-based automatic test generation for Simulink\/Stateflow using extended finite automaton. In: Proceedings of the CASE, Seoul. IEEE"},{"unstructured":"Li R, Reveliotis S (2013) Performance optimization for a class of generalized stochastic Petri nets. In: Proceedings of the 52nd IEEE conference on decision and control, Florence. IEEE","key":"59-1_CR40"},{"key":"59-1_CR41","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1109\/TSMCC.2007.913920","volume":"38","author":"Z Li","year":"2008","unstructured":"Li Z, Zhou M, Wu N (2008) A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems. IEEE Trans Syst Man Cybern Part C 38:173\u2013188","journal-title":"IEEE Trans Syst Man Cybern Part C"},{"key":"59-1_CR42","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/s10626-012-0139-x","volume":"23","author":"H Liao","year":"2013","unstructured":"Liao H, Wang Y, Cho HK, Stanley J, Kelly T, Lafortune S, Mahlke S, Reveliotis S (2013) Concurrency bugs in multithreaded software: modeling and analysis using Petri nets. Discret Event Syst Theory Appl 23:157\u2013195","journal-title":"Discret Event Syst Theory Appl"},{"doi-asserted-by":"crossref","unstructured":"Markovski J, Su R (2013) Towards optimal supervisory controller synthesis of stochastic nondeterministic discrete event systems. In: Proceedings of the 52nd IEEE conference on decision and control, Florence. IEEE","key":"59-1_CR43","DOI":"10.1109\/CDC.2013.6761098"},{"key":"59-1_CR44","volume-title":"Control techniques for complex networks","author":"S Meyn","year":"2008","unstructured":"Meyn S (2008) Control techniques for complex networks. Cambridge University Press, Cambridge"},{"key":"59-1_CR45","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata T (1989) Petri nets: properties, analysis and applications. Proc IEEE 77:541\u2013580","journal-title":"Proc IEEE"},{"key":"59-1_CR46","doi-asserted-by":"publisher","first-page":"1521","DOI":"10.1016\/S0005-1098(99)00074-6","volume":"35","author":"CG Panayiotou","year":"1999","unstructured":"Panayiotou CG, Cassandras CG (1999) Optimization of kanban-based manufacturing systems. Automatica 35:1521\u20131533","journal-title":"Automatica"},{"key":"59-1_CR47","doi-asserted-by":"publisher","first-page":"1046","DOI":"10.1109\/70.817669","volume":"15","author":"E Park","year":"1999","unstructured":"Park E, Tilbury DM, Khargonekar PP (1999) Modular logic controllers for machining systems: formal representations and performance analysis using Petri nets. IEEE Trans Robot Autom 15:1046\u20131061","journal-title":"IEEE Trans Robot Autom"},{"key":"59-1_CR48","volume-title":"Scheduling","author":"M Pinedo","year":"2002","unstructured":"Pinedo M (2002) Scheduling. Prentice Hall, Upper Saddle River"},{"issue":"7","key":"59-1_CR49","first-page":"647","volume":"32","author":"SA Reveliotis","year":"2000","unstructured":"Reveliotis SA (2000) Conflict resolution in AGV systems. IIE Trans 32(7):647\u2013659","journal-title":"IIE Trans"},{"key":"59-1_CR50","volume-title":"Real-time management of resource allocation systems: a discrete event systems approach","author":"SA Reveliotis","year":"2005","unstructured":"Reveliotis SA (2005) Real-time management of resource allocation systems: a discrete event systems approach. Springer, New York"},{"key":"59-1_CR51","first-page":"235","volume-title":"Facility logistics: approaches and solutions to next generation challenges","author":"SA Reveliotis","year":"2007","unstructured":"Reveliotis SA (2007) Algebraic deadlock avoidance policies for sequential resource allocation systems. In: Lahmar M (ed) Facility logistics: approaches and solutions to next generation challenges. Auerbach Publications, Boca Raton, pp\u00a0235\u2013289"},{"key":"59-1_CR52","doi-asserted-by":"publisher","first-page":"845","DOI":"10.1109\/70.544768","volume":"12","author":"SA Reveliotis","year":"1996","unstructured":"Reveliotis SA, Ferreira PM (1996) Deadlock avoidance policies for automated manufacturing cells. IEEE Trans Robot Autom 12:845\u2013857","journal-title":"IEEE Trans Robot Autom"},{"key":"59-1_CR53","volume-title":"Formal methods in manufacturing","author":"S Reveliotis","year":"2013","unstructured":"Reveliotis S, Nazeem A (2013) Deadlock avoidance policies for automated manufacturing systems using finite state automata. In: Campos J, Seatzu C, Xie X (eds) Formal methods in manufacturing. CRC\/Taylor and Francis"},{"key":"59-1_CR54","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1109\/TRO.2010.2098270","volume":"27","author":"S Reveliotis","year":"2011","unstructured":"Reveliotis S, Roszkowska E (2011) Conflict resolution in free-ranging multi-vehicle systems: a\u00a0resource allocation paradigm. IEEE Trans Robot 27:283\u2013296","journal-title":"IEEE Trans Robot"},{"doi-asserted-by":"crossref","unstructured":"Ricker L, Lafortune S, Gene S (2006) DESUMA: a tool integrating giddes and umdes. In: Proceedings of the 8th international workshop on discrete event systems, Ann Arbor. IEEE, pp\u00a0392\u2013393","key":"59-1_CR55","DOI":"10.1109\/WODES.2006.382402"},{"key":"59-1_CR56","doi-asserted-by":"publisher","first-page":"1155","DOI":"10.1109\/TAC.2011.2170453","volume":"57","author":"A Saboori","year":"2012","unstructured":"Saboori A, Hadjicostis CN (2012) Opacity-enforcing supervisory strategies via state estimator constructions. IEEE Trans Autom Control 57:1155\u20131165","journal-title":"IEEE Trans Autom Control"},{"key":"59-1_CR57","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1109\/TAC.2013.2279914","volume":"59","author":"A Saboori","year":"2014","unstructured":"Saboori A, Hadjicostis CN (2014) Current-state opacity formulations in probabilistic finite automata. IEEE Trans Autom Control 59:120\u2013133","journal-title":"IEEE Trans Autom Control"},{"key":"59-1_CR58","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1109\/87.486338","volume":"4","author":"M Sampath","year":"1996","unstructured":"Sampath M, Sengupta R, Lafortune S, Sinnamohideen K, Teneketzis D (1996) Failure diagnosis using disrcete event models. IEEE Trans Control Syst Technol 4:105\u2013124","journal-title":"IEEE Trans Control Syst Technol"},{"key":"59-1_CR59","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1109\/TASE.2007.911688","volume":"5","author":"R Sampath","year":"2008","unstructured":"Sampath R, Darabi H, Buy U, Liu J (2008) Control reconfiguration of discrete event systems with dynamic control specifications. IEEE Trans Autom Sci Eng 5:84\u2013100","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"59-1_CR60","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1016\/j.ejor.2004.01.046","volume":"167","author":"T Santoso","year":"2005","unstructured":"Santoso T, Ahmed S, Goetschalckx M, Shapiro A (2005) A stochastic programming approach for supply chain network design under uncertainty. Europ J Oper Res 167:96\u2013115","journal-title":"Europ J Oper Res"},{"doi-asserted-by":"crossref","unstructured":"Schmidt K (2012) Computation of supervisors for reconfigurable machine tools. In: Proceedings of the WODES 2012, Guadalajara. IFAC, pp\u00a0227\u2013232","key":"59-1_CR61","DOI":"10.3182\/20121003-3-MX-4033.00038"},{"key":"59-1_CR62","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0285-1","volume-title":"Hierarchical decision making in stochastic manufacturing systems","author":"SP Sethi","year":"1994","unstructured":"Sethi SP, Zhang Q (1994) Hierarchical decision making in stochastic manufacturing systems. Birkh\u00e4user, Boston"},{"key":"59-1_CR63","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-8176-8216-3","volume-title":"The mathematics of internet congestion control","author":"R Srikant","year":"2004","unstructured":"Srikant R (2004) The mathematics of internet congestion control. Birkh\u00e4user, Boston"},{"key":"59-1_CR64","first-page":"407","volume-title":"Lecture notes in computer science","author":"W Van der Aalst","year":"1997","unstructured":"Van\u00a0der Aalst W (1997) Verification of workflow nets. In: Azema P, Balbo G (eds) Lecture notes in computer science, vol\u00a01248. Springer, New York, pp\u00a0407\u2013426"},{"doi-asserted-by":"crossref","unstructured":"Wardi Y, Cassandras CG (2013) Approximate IPA: trading unbiasedness for simplicity. In: Proceedings of the 52nd IEEE conference on decision and control, Florence. IEEE","key":"59-1_CR65","DOI":"10.1109\/CDC.2013.6761096"},{"doi-asserted-by":"crossref","unstructured":"Wassyng A, Lawford M, Maibaum T (2011) Software certification experience in the Canadian muclear industry: lessons for the future. In: EMSOFT\u201911, Taipei","key":"59-1_CR66","DOI":"10.1145\/2038642.2038676"},{"key":"59-1_CR67","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1109\/TCST.2010.2047106","volume":"19","author":"N Wightkin","year":"2011","unstructured":"Wightkin N, Guy U, Darabi H (2011) Formal modeling of sequential function charts with time Petri nets. IEEE Trans Control Syst Technol 19:455\u2013464","journal-title":"IEEE Trans Control Syst Technol"},{"unstructured":"Wonham WM (2006) Supervisory control of discrete event systems. Technical report ECE 1636F\/1637S 2006-07, Electrical & Computer Eng., University of Toronto","key":"59-1_CR68"},{"volume-title":"Deadlock resolution in computer-integrated systems","year":"2004","unstructured":"Zhou M, Fanti MP\u00a0(eds) (2004) Deadlock resolution in computer-integrated systems. Marcel Dekker, Singapore","key":"59-1_CR69"}],"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_59-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,30]],"date-time":"2023-01-30T23:24:27Z","timestamp":1675121067000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-5102-9_59-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9781447151029"],"references-count":69,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-5102-9_59-1","relation":{},"subject":[],"published":{"date-parts":[[2013]]},"assertion":[{"value":"27 September 2013, 20:06:06","order":1,"name":"received","label":"Received","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"27 September 2013, 20:06:06","order":2,"name":"accepted","label":"Accepted","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"8 February 2014","order":3,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}