{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,20]],"date-time":"2025-04-20T21:40:04Z","timestamp":1745185204687,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642351785"},{"type":"electronic","value":"9783642351792"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-35179-2_2","type":"book-chapter","created":{"date-parts":[[2012,11,14]],"date-time":"2012-11-14T02:20:42Z","timestamp":1352859642000},"page":"24-45","source":"Crossref","is-referenced-by-count":5,"title":["Distributed Control of Discrete-Event Systems: A First Step"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Darondeau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurie","family":"Ricker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/3-540-65306-6_22","volume-title":"Lectures on Petri Nets I: Basic Models","author":"E. Badouel","year":"1998","unstructured":"Badouel, E., Darondeau, P.: Theory of Regions. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol.\u00a01491, pp. 529\u2013586. Springer, Heidelberg (1998)"},{"key":"2_CR2","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/s001650200022","volume":"13","author":"E. Badouel","year":"2002","unstructured":"Badouel, E., Caillaud, B., Darondeau, P.: Distributing Finite Automata Through Petri Net Synthesis. Formal Aspects of Computing\u00a013, 447\u2013470 (2002)","journal-title":"Formal Aspects of Computing"},{"issue":"9","key":"2_CR3","doi-asserted-by":"publisher","first-page":"1620","DOI":"10.1109\/9.880613","volume":"45","author":"G. Barrett","year":"2000","unstructured":"Barrett, G., Lafortune, S.: Decentralized Supervisory Control with Communicating Controllers. IEEE Trans. Autom. Control\u00a045(9), 1620\u20131638 (2000)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"2","key":"2_CR4","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/322374.322380","volume":"30","author":"D. Brand","year":"1983","unstructured":"Brand, D., Zafiropulo, P.: On Communicating Finite-State Machines. J. of the ACM\u00a030(2), 323\u2013342 (1983)","journal-title":"J. of the ACM"},{"key":"2_CR5","unstructured":"Caillaud, B.: http:\/\/www.irisa.fr\/s4\/tools\/synet\/"},{"issue":"2","key":"2_CR6","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1016\/0041-5553(65)90045-5","volume":"5","author":"N.V. Chernikova","year":"1965","unstructured":"Chernikova, N.V.: Algorithm for finding a general formula for the non-negative solutions of a system of linear inequalities. USSR Computational Mathematics and Mathematical Physics\u00a05(2), 228\u2013233 (1965)","journal-title":"USSR Computational Mathematics and Mathematical Physics"},{"issue":"3","key":"2_CR7","doi-asserted-by":"publisher","first-page":"605","DOI":"10.1109\/TAC.2009.2039237","volume":"55","author":"K. Cai","year":"2010","unstructured":"Cai, K., Wonham, W.M.: Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems. IEEE Trans. Autom. Control\u00a055(3), 605\u2013618 (2010)","journal-title":"IEEE Trans. Autom. Control"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1007\/978-3-540-27755-2_11","volume-title":"Lectures on Concurrency and Petri Nets","author":"P. Darondeau","year":"2004","unstructured":"Darondeau, P.: Unbounded Petri Net Synthesis. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol.\u00a03098, pp. 413\u2013438. Springer, Heidelberg (2004)"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Darondeau, P.: Distributed Implementation of Ramadge-Wonham Supervisory Control with Petri Nets. In: CDC-ECC 2005, pp. 2107\u20132112 (2005)","DOI":"10.1109\/CDC.2005.1582472"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Giua, A., Di Cesare, F., Silva, M.: Generalized Mutual Exclusion Constraints on Nets with Uncontrollable Transitions. In: IEEE-SMC 1992, pp. 974\u2013979 (1992)","DOI":"10.1109\/ICSMC.1992.271666"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-642-14162-1_5","volume-title":"Automata, Languages and Programming","author":"B. Genest","year":"2010","unstructured":"Genest, B., Gimbert, H., Muscholl, A., Walukiewicz, I.: Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata. In: Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F., Spirakis, P.G. (eds.) ICALP 2010, Part II. LNCS, vol.\u00a06199, pp. 52\u201363. Springer, Heidelberg (2010)"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Ghaffari, A., Rezg, N., Xie, X.: Algebraic and Geometric Characterization of Petri Net Controllers Using the Theory of Regions. In: WODES 2002, pp. 219\u2013224 (2002)","DOI":"10.1109\/WODES.2002.1167691"},{"key":"2_CR13","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1109\/TRA.2002.807555","volume":"19","author":"A. Ghaffari","year":"2003","unstructured":"Ghaffari, A., Rezg, N., Xie, X.: Design of Live and Maximally Permissive Petri Net Controller Using the Theory of Regions. IEEE Trans. Robot. Autom.\u00a019, 137\u2013142 (2003)","journal-title":"IEEE Trans. Robot. Autom."},{"issue":"3","key":"2_CR14","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1145\/233551.233556","volume":"43","author":"R.J. van Glabbeek","year":"1996","unstructured":"van Glabbeek, R.J., Weijland, W.P.: Branching Time and Abstraction in Bisimulation Semantics. J. of the ACM\u00a043(3), 555\u2013600 (1996)","journal-title":"J. of the ACM"},{"issue":"9","key":"2_CR15","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N. Halbwachs","year":"1991","unstructured":"Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The Synchronous Dataflow Programming Language Lustre. Proc. IEEE\u00a079(9), 1305\u20131320 (1991)","journal-title":"Proc. IEEE"},{"issue":"3","key":"2_CR16","doi-asserted-by":"publisher","first-page":"468","DOI":"10.1109\/TAC.2009.2012974","volume":"54","author":"K. Hiraishi","year":"2009","unstructured":"Hiraishi, K.: On Solvability of a Decentralized Supervisory Control Problem with Communication. IEEE Trans. Autom. Control\u00a054(3), 468\u2013480 (2009)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"8","key":"2_CR17","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. CACM\u00a021(8), 666\u2013677 (1978)","journal-title":"CACM"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Kalyon, G., Le Gall, T., Marchand, H., Massart, T.: Synthesis of Communicating Controllers for Distributed Systems. In: CDC-ECC 2011, pp. 1803\u20131810 (2011)","DOI":"10.1109\/CDC.2011.6160584"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Lamouchi, H., Thistle, J.: Effective Control Synthesis for DES under Partial Observations. In: CDC 2000, pp. 22\u201328 (2000)","DOI":"10.1109\/CDC.2000.912726"},{"issue":"2\/3","key":"2_CR20","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/s00446-002-0076-2","volume":"16","author":"L. Lamport","year":"2003","unstructured":"Lamport, L.: Arbiter-Free Synchronization. Distrib. Comput.\u00a016(2\/3), 219\u2013237 (2003)","journal-title":"Distrib. Comput."},{"key":"2_CR21","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/0020-0255(88)90001-1","volume":"44","author":"F. Lin","year":"1988","unstructured":"Lin, F., Wonham, W.M.: On Observability of Discrete-Event Systems. Info. Sci.\u00a044, 173\u2013198 (1988)","journal-title":"Info. Sci."},{"issue":"2","key":"2_CR22","doi-asserted-by":"publisher","first-page":"547","DOI":"10.1109\/TAC.2007.915173","volume":"53","author":"A. Mannani","year":"2008","unstructured":"Mannani, A., Gohari, P.: Decentralized Supervisory Control of Discrete-Event Systems Over Comunication Networks. IEEE Trans. Autom. Control\u00a053(2), 547\u2013559 (2008)","journal-title":"IEEE Trans. Autom. Control"},{"key":"2_CR23","unstructured":"Mukund, M., Sohoni, M.: Gossiping, Asynchronous Automata and Zielonka\u2019s Theorem. Report TCS-94-2, Chennai Mathematical Institute (1994)"},{"key":"2_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/11590156_16","volume-title":"FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science","author":"P. Madhusudan","year":"2005","unstructured":"Madhusudan, P., Thiagarajan, P.S., Yang, S.: The MSO Theory of Connectedly Communicating Processes. In: Sarukkai, S., Sen, S. (eds.) FSTTCS 2005. LNCS, vol.\u00a03821, pp. 201\u2013212. Springer, Heidelberg (2005)"},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"Potop-Butucaru, D., Caillaud, B.: Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. In: ACSD 2005, pp. 48\u201357 (2005)","DOI":"10.1109\/ACSD.2005.10"},{"key":"2_CR26","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"P.J. Ramadge","year":"1987","unstructured":"Ramadge, P.J., Wonham, W.M.: Supervisory Control of a Class of Discrete Event Processes. SIAM J. Control Optim.\u00a025, 206\u2013230 (1987)","journal-title":"SIAM J. Control Optim."},{"key":"2_CR27","first-page":"81","volume":"77","author":"P.J. Ramadge","year":"1989","unstructured":"Ramadge, P.J., Wonham, W.M.: The Control of Discrete Event Systems. Proc. of the IEEE, Special Issue on Dynamics of Discrete Event Systems\u00a077, 81\u201398 (1989)","journal-title":"Proc. of the IEEE, Special Issue on Dynamics of Discrete Event Systems"},{"key":"2_CR28","doi-asserted-by":"crossref","unstructured":"Ricker, S.L., Caillaud, B.: Mind the Gap: Expanding Communication Options in Decentralized Discrete-Event Control. In: CDC 2007, pp. 5924\u20135929 (2007)","DOI":"10.1109\/CDC.2007.4434935"},{"key":"2_CR29","doi-asserted-by":"crossref","unstructured":"Ricker, S.L.: Asymptotic Minimal Communication for Decentralized Discrete-Event Control. In: WODES 2008, pp. 486\u2013491 (2008)","DOI":"10.1109\/WODES.2008.4605994"},{"issue":"6","key":"2_CR30","doi-asserted-by":"publisher","first-page":"957","DOI":"10.1109\/TAC.2003.812780","volume":"48","author":"K. Rudie","year":"2003","unstructured":"Rudie, K., Lafortune, S., Lin, F.: Minimal Communication in a Distributed Discrete-Event System. IEEE Trans. Autom. Control\u00a048(6), 957\u2013975 (2003)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"11","key":"2_CR31","doi-asserted-by":"publisher","first-page":"1692","DOI":"10.1109\/9.173140","volume":"37","author":"K. Rudie","year":"1992","unstructured":"Rudie, K., Wonham, W.M.: Think Globally, Act Locally: Decentralized Supervisory Control. IEEE Trans. Autom. Control\u00a037(11), 1692\u20131708 (1992)","journal-title":"IEEE Trans. Autom. Control"},{"key":"2_CR32","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/j.sysconle.2004.10.002","volume":"54","author":"J.G. Thistle","year":"2005","unstructured":"Thistle, J.G.: Undecidability in Decentralized Supervision. Syst. Control Lett.\u00a054, 503\u2013509 (2005)","journal-title":"Syst. Control Lett."},{"issue":"9","key":"2_CR33","doi-asserted-by":"publisher","first-page":"1489","DOI":"10.1109\/TAC.2004.834116","volume":"49","author":"S. Tripakis","year":"2004","unstructured":"Tripakis, S.: Decentralized Control of Discrete Event Systems with Bounded or Unbounded Delay Communication. IEEE Trans. Autom. Control\u00a049(9), 1489\u20131501 (2004)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"9","key":"2_CR34","doi-asserted-by":"publisher","first-page":"2197","DOI":"10.1109\/TAC.2008.929873","volume":"53","author":"W. Wang","year":"2008","unstructured":"Wang, W., Lafortune, S., Lin, F.: Minimization of Communication of Event Occurrences in Acyclic Discrete-Event Systems. IEEE Trans. Autom. Control\u00a053(9), 2197\u20132202 (2008)","journal-title":"IEEE Trans. Autom. Control"},{"key":"2_CR35","doi-asserted-by":"crossref","unstructured":"Wang, Y., Lafortune, S., Kelly, T., Kudlur, M., Mahlke, S.: The Theory of Deadlock Avoidance via Discrete Control. In: POPL 2009, pp. 252\u2013263 (2009)","DOI":"10.1145\/1594834.1480913"},{"key":"2_CR36","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03687-7","volume-title":"Elements of Distributed Algorithms","author":"W. Reisig","year":"1998","unstructured":"Reisig, W.: Elements of Distributed Algorithms. Springer, Berlin (1998)"},{"key":"2_CR37","doi-asserted-by":"crossref","unstructured":"Xu, X., Kumar, R.: Distributed State Estimation in Discrete Event Systems. In: ACC 2009, pp. 4735\u20134740 (2009)","DOI":"10.1109\/ACC.2009.5160029"},{"issue":"3","key":"2_CR38","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1023\/A:1015625600613","volume":"12","author":"T.S. Yoo","year":"2002","unstructured":"Yoo, T.S., Lafortune, S.: A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems. Discrete Event Dyn. Syst.\u00a012(3), 335\u2013377 (2002)","journal-title":"Discrete Event Dyn. Syst."},{"issue":"1","key":"2_CR39","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/0005-1098(95)00103-4","volume":"32","author":"K. Yamalidou","year":"1996","unstructured":"Yamalidou, K., Moody, J., Lemmon, M., Antsaklis, P.: Feedback Control on Petri Nets Based on Place Invariants. Automatica\u00a032(1), 15\u201328 (1996)","journal-title":"Automatica"},{"key":"2_CR40","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1051\/ita\/1987210200991","volume":"21","author":"W. Zielonka","year":"1987","unstructured":"Zielonka, W.: Notes on Finite Asynchronous Automata. RAIRO Informatique Th\u00e9orique et Applications\u00a021, 99\u2013135 (1987)","journal-title":"RAIRO Informatique Th\u00e9orique et Applications"}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency VI"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35179-2_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,20]],"date-time":"2025-04-20T21:03:29Z","timestamp":1745183009000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-35179-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642351785","9783642351792"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35179-2_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}