{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:07:44Z","timestamp":1761487664762},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2006,8,18]],"date-time":"2006-08-18T00:00:00Z","timestamp":1155859200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form Method Syst Des"],"published-print":{"date-parts":[[2007,2,23]]},"DOI":"10.1007\/s10703-006-0023-0","type":"journal-article","created":{"date-parts":[[2006,8,17]],"date-time":"2006-08-17T19:18:01Z","timestamp":1155842281000},"page":"117-141","source":"Crossref","is-referenced-by-count":12,"title":["Designing communicating transaction processes by supervisory control theory"],"prefix":"10.1007","volume":"30","author":[{"given":"L.","family":"Feng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W. M.","family":"Wonham","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P. S.","family":"Thiagarajan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,8,18]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"\u00c5kesson K, Flordal H, Fabian M (2002) Exploiting modularity for synthesis and verification of supervisors. In: Proceedings of the 15th IFAC World Congress on automatic control, Barcelona, Spain, 2002","DOI":"10.3182\/20020721-6-ES-1901.00517"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"Balarin F, Lavagno L, Passerone C, Sangiovanni-Vincentelli A, Watanabe Y, Yang G (2002) Concurrent execution semantics and sequential simulation algorithms for the metropolis meta-model. In: International symposium on hardware\/software codesign (CODES), May 6\u20138, pp 13\u201318","DOI":"10.1145\/774789.774793"},{"key":"23_CR3","unstructured":"Cadence Berkeley Laboratories (2004) The SMV model checker, www-cad.eecs.berkeley.edu\/~kenmcmil\/smv"},{"key":"23_CR4","unstructured":"Brandin BA, Charbonnier FE (1994) The supervisory control of the automated manufacturing system of the AIP. In: Proceedings of the fourth international conference on computer integrated manufacturing and automation technology. IEEE Computer Society Press, New York, USA, pp 319\u2013324"},{"key":"23_CR5","unstructured":"Cao X-R, Cohen G, Giua A, Wonham WM, van Schuppen JH (2002) Unity in diversity, diversity in unity: retrospective and prospective views on control of discrete event systems. Discr Event Dyn Syst: Theory Appl 12(3):253\u2013264"},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Cassandras C, Lafortune S (1999) Introduction to discrete event systems, 2nd edn. Kluwer, Boston, USA","DOI":"10.1007\/978-1-4757-4070-7"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Chandra V, Huang Z, Kumar R (2003) Automated control synthesis for an assembly line using discrete event system control theory. IEEE Trans Syst Man Cybern\u2014Part C: Appl Rev 33(2):284\u2013289","DOI":"10.1109\/TSMCC.2003.813152"},{"key":"23_CR8","unstructured":"Cohen G, Gaubert S, Quadrat JP (1991) Algebraic tools for performance evaluation in discrete event systems. In: Discrete event dynamic systems: analyzing complexity and performance in the modern world. IEEE Press, New York, USA"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Gajski D, Zhu J, Dmer R, Gerstlauer A, Zhao S (2000) SpecC: Specification language and methodology. Kluwer, Boston, USA","DOI":"10.1007\/978-1-4615-4515-6"},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"Gohari P, Wonham WM (2000) On the complexity of supervisory control design in the RW framework. IEEE Trans Syst Man Cybern\u2014Part B: Cybern 30(5):643\u2013652","DOI":"10.1109\/3477.875441"},{"key":"23_CR11","unstructured":"Grotker T, Liao S, Martin G, Swan S (2002) System design with system C. Kluwer, Boston, USA"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Harel D, Kugler H, Marelly R, Pnueli A (2002) Smart play-out of behavioral requirements. International conference on formal methods in computer aided design (FMCAD), pp 378\u2013398","DOI":"10.1007\/3-540-36126-X_23"},{"key":"23_CR13","unstructured":"Ho YC (1992) Discrete event dynamic systems: analyzing complexity and performance in the modern world. IEEE Press, New York, USA"},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"Holloway LE, Krogh BH, Giua A (1997) A survey of petri net methods for controlled discrete event systems. Discr Event Dyn Syst: Theory Appl 7(2):151\u2013190","DOI":"10.1023\/A:1008271916548"},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"Holzmann GJ (1997) The model checker SPIN. IEEE Trans Softw Eng 23(5):279\u2013295","DOI":"10.1109\/32.588521"},{"key":"23_CR16","unstructured":"International Telecommunication Union (1996) Z.120: Message Sequence Charts, http:\/\/www.itu.int\/ITU-T\/studygroups\/com10\/languages , 1996."},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"Jafari MA, Darabi H, Boucher TO, Amini A (2002) A distributed discrete event dynamic model for supply chain of business enterprises. Proceedings of the sixth international workshop on discrete event systems (WODES'02), pp 279\u2013285","DOI":"10.1109\/WODES.2002.1167700"},{"key":"23_CR18","doi-asserted-by":"crossref","unstructured":"Koz\u00e1k P, Wonham WM (1996) Design of transaction management protocols. IEEE Trans Autom Contr 41(9):1330\u20131335","DOI":"10.1109\/9.536503"},{"key":"23_CR19","unstructured":"Lee SH, Wong KC (2002) Structural decentralized control of concurrent discrete-event systems. Eur J Contr 8(5):477\u2013491"},{"key":"23_CR20","unstructured":"Peterson JL (1981) Petri net theory and the modeling of systems. Prentice-Hall, Upper Saddle River, NJ, USA"},{"key":"23_CR21","doi-asserted-by":"crossref","unstructured":"de Queiroz MH, Cury JER (2000) Modular supervisory control of large scale discrete event systems. Discr Event Syst: Anal Control. Kluwer, Boston, USA, pp 103\u2013110","DOI":"10.1007\/978-1-4615-4493-7_10"},{"key":"23_CR22","unstructured":"Ramadge PJ, Wonham WM (1987) Supervisory control of a class of discrete event processes. SIAM J Control Optimization 25(1):206\u2013230"},{"key":"23_CR23","unstructured":"Ramadge PJ, Wonham WM (1989) The control of discrete-event systems. Proc IEEE 77(1):81\u201398"},{"key":"23_CR24","doi-asserted-by":"crossref","unstructured":"Ricker S, Sarkar N, Rudie K (1996) A discrete-event system approach to modeling dexterous manipulation. Robotica 14(5):515\u2013526","DOI":"10.1017\/S0263574700020002"},{"key":"23_CR25","doi-asserted-by":"crossref","unstructured":"Roychoudhury A, Thiagarajan P (2003) Communicating transaction processes. IEEE international conference on applications of concurrency in system design (ACSD), June 18\u201320, pp 157\u2013166","DOI":"10.1109\/CSD.2003.1207710"},{"key":"23_CR26","doi-asserted-by":"crossref","unstructured":"Roychoudhury A, Thiagarajan P (2003) An executable specification language based on message sequence charts. Formal methods at the crossroads: From panacea to foundational support, LNCS 2757. Springer Verlag","DOI":"10.1007\/978-3-540-40007-3_15"},{"key":"23_CR27","doi-asserted-by":"crossref","unstructured":"Schmidt K, Reger J, Moor T (2004) Hierarchical control for structural decentralized DES. Proceedings of the seventh international workshop on discrete event systems (WODES'04), pp 289\u2013294","DOI":"10.1016\/S1474-6670(17)30759-0"},{"key":"23_CR28","doi-asserted-by":"crossref","unstructured":"Su R, Wonham WM (2004) Supervisor reduction for discrete-event systems. Discr Event Dyn Syst: Theory Appl 14(1):31\u201353","DOI":"10.1023\/B:DISC.0000005009.40749.b6"},{"key":"23_CR29","unstructured":"Wong KC, Wonham WM (1998) Modular control and coordination of discrete event systems. Discr Event Dyn Syst: Theory Appl 8(3):247\u2013297."},{"key":"23_CR30","doi-asserted-by":"crossref","unstructured":"Wonham WM (2005) Supervisory control of discrete event systems and XPTCT software (Version 85). Department of Electrical and Computer Engineering, University of Toronto, http:\/\/www.control.toronto.edu\/DES","DOI":"10.1007\/978-3-319-77452-7_3"},{"key":"23_CR31","unstructured":"Wonham WM, Ramadge PJ (1987) On the supremal controllable sub-language of a given language. SIAM J Contr Optim 25(3):637\u2013659"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-006-0023-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10703-006-0023-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-006-0023-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T15:21:52Z","timestamp":1683559312000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10703-006-0023-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,8,18]]},"references-count":31,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2007,2,23]]}},"alternative-id":["23"],"URL":"https:\/\/doi.org\/10.1007\/s10703-006-0023-0","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"value":"0925-9856","type":"print"},{"value":"1572-8102","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,8,18]]}}}