{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:23:30Z","timestamp":1725899010058},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642314230"},{"type":"electronic","value":"9783642314247"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31424-7_46","type":"book-chapter","created":{"date-parts":[[2012,6,21]],"date-time":"2012-06-21T10:26:49Z","timestamp":1340274409000},"page":"658-664","source":"Crossref","is-referenced-by-count":3,"title":["MGSyn: Automatic Synthesis for Industrial Automation"],"prefix":"10.1007","author":[{"given":"Chih-Hong","family":"Cheng","sequence":"first","affiliation":[]},{"given":"Michael","family":"Geisinger","sequence":"additional","affiliation":[]},{"given":"Harald","family":"Ruess","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Buckl","sequence":"additional","affiliation":[]},{"given":"Alois","family":"Knoll","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"46_CR1","unstructured":"Eclipse Modeling Framework, \n                    \n                      http:\/\/www.eclipse.org\/modeling\/emf\/"},{"key":"46_CR2","doi-asserted-by":"crossref","unstructured":"Carmona, J., Cortadella, J., Kishinevsky, M.: Genet: A tool for the synthesis and mining of petri nets. In: ACSD 2009, pp. 181\u2013185. IEEE (2009)","DOI":"10.1109\/ACSD.2009.6"},{"key":"46_CR3","doi-asserted-by":"crossref","unstructured":"Cheng, C.-H., Geisinger, M., Ruess, H., Buckl, C., Knoll, A.: Game solving for industrial automation and control. In: ICRA (to appear, May 2012)","DOI":"10.1109\/ICRA.2012.6224814"},{"key":"46_CR4","unstructured":"Cheng, C.-H., Jobstmann, B., Geisinger, M., Diot-Girald, S., Knoll, A., Buckl, C., Ruess, H.: Optimizations for game-based synthesis. Technical Report\u00a012, Verimag (2011)"},{"key":"46_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-642-19835-9_22","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"C.-H. Cheng","year":"2011","unstructured":"Cheng, C.-H., Knoll, A., Luttenberger, M., Buckl, C.: GAVS+: An Open Platform for the Research of Algorithmic Game Solving. In: Abdulla, P.A., Leino, K.R.M. (eds.) TACAS 2011. LNCS, vol.\u00a06605, pp. 258\u2013261. Springer, Heidelberg (2011)"},{"key":"46_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/978-3-642-18275-4_10","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"C.-H. Cheng","year":"2011","unstructured":"Cheng, C.-H., Rue\u00df, H., Knoll, A., Buckl, C.: Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice. In: Jhala, R., Schmidt, D. (eds.) VMCAI 2011. LNCS, vol.\u00a06538, pp. 118\u2013133. Springer, Heidelberg (2011)"},{"issue":"315-325","key":"46_CR7","first-page":"182","volume":"80","author":"J. Cortadella","year":"1997","unstructured":"Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A.: Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers. IEICE Transactions on Information and Systems\u00a080(315-325), 182 (1997)","journal-title":"IEICE Transactions on Information and Systems"},{"issue":"1","key":"46_CR8","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1109\/21.214792","volume":"23","author":"M. Jeng Der","year":"1993","unstructured":"Der Jeng, M., DiCesare, F.: A review of synthesis techniques for petri nets with applications to automated manufacturing systems. IEEE Transactions on Systems, Man and Cybernetics\u00a023(1), 301\u2013312 (1993)","journal-title":"IEEE Transactions on Systems, Man and Cybernetics"},{"key":"46_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/978-3-642-04761-9_24","volume-title":"Automated Technology for Verification and Analysis","author":"R. Dimitrova","year":"2009","unstructured":"Dimitrova, R., Finkbeiner, B.: Synthesis of Fault-Tolerant Distributed Systems. In: Liu, Z., Ravn, A.P. (eds.) ATVA 2009. LNCS, vol.\u00a05799, pp. 321\u2013336. Springer, Heidelberg (2009)"},{"key":"46_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/978-3-642-19835-9_25","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"R. Ehlers","year":"2011","unstructured":"Ehlers, R.: Unbeast: Symbolic bounded synthesis. In: Abdulla, P.A., Leino, K.R.M. (eds.) TACAS 2011. LNCS, vol.\u00a06605, pp. 272\u2013275. Springer, Heidelberg (2011)"},{"key":"46_CR11","unstructured":"Ghallab, M., Aeronautiques, C., Isi, C., Penberthy, S., Smith, D., Sun, Y., Weld, D.: PDDL-the planning domain definition language. Technical Report CVC TR-98003\/DCS TR-1165, Yale Center for Computer Vision and Control (October 1998)"},{"key":"46_CR12","doi-asserted-by":"crossref","unstructured":"Jobstmann, B., Bloem, R.: Optimizations for LTL synthesis. In: FMCAD 2006, pp. 117\u2013124. IEEE (2006)","DOI":"10.1109\/FMCAD.2006.22"},{"key":"46_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-540-73368-3_29","volume-title":"Computer Aided Verification","author":"B. Jobstmann","year":"2007","unstructured":"Jobstmann, B., Galler, S., Weiglhofer, M., Bloem, R.: Anzu: A Tool for Property Synthesis. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol.\u00a04590, pp. 258\u2013262. Springer, Heidelberg (2007)"},{"key":"46_CR14","unstructured":"Madhusudan, P.: Synthesizing reactive programs. In: CSL 2011. LIPIcs, vol.\u00a012, pp. 428\u2013442. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2011)"},{"key":"46_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/11609773_24","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"N. Piterman","year":"2005","unstructured":"Piterman, N., Pnueli, A., Sa\u2019ar, Y.: Synthesis of Reactive(1) Designs. In: Emerson, E.A., Namjoshi, K.S. (eds.) VMCAI 2006. LNCS, vol.\u00a03855, pp. 364\u2013380. Springer, Heidelberg (2005)"},{"issue":"3","key":"46_CR16","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1109\/TSMCA.2007.893484","volume":"37","author":"M. Uzam","year":"2007","unstructured":"Uzam, M., Zhou, M.: An iterative synthesis approach to petri net-based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans\u00a037(3), 362\u2013371 (2007)","journal-title":"IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31424-7_46.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T08:00:06Z","timestamp":1620115206000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31424-7_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642314230","9783642314247"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31424-7_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}