{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T13:51:17Z","timestamp":1761486677709,"version":"3.43.0"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1999,9,1]],"date-time":"1999-09-01T00:00:00Z","timestamp":936144000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,9,1]],"date-time":"1999-09-01T00:00:00Z","timestamp":936144000000},"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":["Formal Methods in System Design"],"published-print":{"date-parts":[[1999,9]]},"DOI":"10.1023\/a:1008740917111","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T11:37:32Z","timestamp":1040557052000},"page":"123-167","source":"Crossref","is-referenced-by-count":17,"title":["A Comparative Study of Synthesis Methods for Discrete Event Controllers"],"prefix":"10.1007","volume":"15","author":[{"given":"L.E.","family":"Pinzon","sequence":"first","affiliation":[]},{"given":"H.-M.","family":"Hanisch","sequence":"additional","affiliation":[]},{"given":"M.A.","family":"Jafari","sequence":"additional","affiliation":[]},{"given":"T.","family":"Boucher","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"236616_CR1","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/978-1-4615-2045-0","volume-title":"Computer Automation in Manufacturing","author":"T. Boucher","year":"1996","unstructured":"T. Boucher, Computer Automation in Manufacturing, Chapman and Hall, London, pp. 359\u2013368, 1996."},{"issue":"2","key":"236616_CR2","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"E.M. Clarke, E.A. Emerson, and A.P. Sistla, \u201cAutomatic verification of finite state concurrent systems using temporal logic,\u201d ACM Transactions on Programming Languages and Systems, Vol. 8,No. 2, pp. 244\u2013263, April 1986.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"236616_CR3","unstructured":"A. Galton, editor, Temporal Logics and their Applications, Academic Press, 1987."},{"key":"236616_CR4","doi-asserted-by":"crossref","unstructured":"H.J. Genrich and G. Thieler-Mevissen, The Calculus of Facts, Lecture Notes in Computer Science, Vol. 45, Springer, 1976, pp. 588\u2013595.","DOI":"10.1007\/3-540-07854-1_232"},{"key":"236616_CR5","volume-title":"Petri Nets as Discrete Event Models for Supervisory Control","author":"A. Giua","year":"1992","unstructured":"A. Giua, \u201cPetri Nets as Discrete Event Models for Supervisory Control,\u201d Ph.D Thesis. Dept. of Computer and Systems Engineering, Rensselaer Polytechnic Institute. Troy, N.Y., July 1992."},{"key":"236616_CR6","unstructured":"H.M. Hanisch and M. Rausch, \u201cSynthesis of supervisory controllers based on a novel representation of condition\/event systems,\u201d IEEE International Conference on Systems Man and Cybernetics, Vancouver, British Columbia, Canada, Oct. 22\u201325, 1995."},{"key":"236616_CR7","first-page":"495","volume":"J","author":"H.-M. Hanisch","year":"1996","unstructured":"H.-M. Hanisch, S. K\u00f6lbel, and M. Rausch, \u201cA modular modelling, controller synthesis, and control code generation framework,\u201d 13th IFAC World Congress, San Francisco, July 1996, Proceedings, Vol. J, 495\u2013500.","journal-title":"A modular modelling, controller synthesis, and control code generation framework"},{"key":"236616_CR8","doi-asserted-by":"crossref","unstructured":"L.E. Holloway and B.H. Krogh, \u201cSynthesis of feedback control logic for a class of controlled Petri Nets,\u201d IEEE Transactions on Automatic Control, Vol. 35,No. 5, May 1990.","DOI":"10.1109\/9.53517"},{"key":"236616_CR9","volume-title":"Theory and Applications of Resource Control Petri Nets for Automated Manufacturing Systems","author":"M.D. Jeng","year":"1992","unstructured":"M.D. Jeng, \u201cTheory and Applications of Resource Control Petri Nets for Automated Manufacturing Systems,\u201d Ph.D Thesis, Dept. of Computer and Systems Engineering, Rensselaer Polytechnic Institute. Troy, N.Y., 1992."},{"key":"236616_CR10","unstructured":"B.H. Krogh and Kowalewski, \u201cBoolean condition\/event systems: computational representation and algorithms,\u201d Preprints IFAC 12th World Congress, Sydney, July 1993, pp. 327\u2013330."},{"key":"236616_CR11","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"236616_CR12","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"T. Murata, \u201cPetri Nets: properties, analysis, and applications,\u201d Proceedings of IEEE, Vol. 77, pp. 541\u2013580, 1989.","journal-title":"Proceedings of IEEE"},{"key":"236616_CR13","unstructured":"J.S. Ostroff, \u201cSynthesis of controllers for real-time discrete event systems,\u201d IEEE Proceedings of the 28th Conference on Decision and Control, Tampa, Florida, Dec. 1989."},{"key":"236616_CR14","series-title":"Advanced Software Development Series","volume-title":"Temporal Logic for Real-Time Systems","author":"J.S. Ostroff","year":"1989","unstructured":"J.S. Ostroff, Temporal Logic for Real-Time Systems, Advanced Software Development Series. Research Studies Press Limited (distributed by John Wiley and Sons), England, 1989."},{"key":"236616_CR15","volume-title":"Petri Net Theory and the Modeling of Systems","author":"J.L. Peterson","year":"1981","unstructured":"J.L. Peterson, Petri Net Theory and the Modeling of Systems, Prentice-Hall, Englewood, N.J., 1981."},{"key":"236616_CR16","volume-title":"Communication with Automata","author":"C.A. Petri","year":"1962","unstructured":"C.A. Petri, \u201cCommunication with Automata,\u201d Ph.D Dissertation, University of Bonn, Bonn, West Germany, 1962."},{"key":"236616_CR17","doi-asserted-by":"crossref","unstructured":"A. Pnueli, \u201cApplications of temporal logic to the specification and verification of reactive systems,\u201d in J. de Bekker, W.P. de Roever, and G. Rozenburg, editors, Current Trends in Concurrency, LNCS 244. Springer-Verlag, 1986.","DOI":"10.1007\/BFb0027047"},{"issue":"1","key":"236616_CR18","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"P.J. Ramadge","year":"1987","unstructured":"P.J. Ramadge and W.M. Wonham, \u201cSupervisory control of a class of discrete-event processes,\u201d SIAM Journal of Control and Optimization, 25(1):206\u2013230, Jan. 1987.","journal-title":"SIAM Journal of Control and Optimization"},{"issue":"5","key":"236616_CR19","doi-asserted-by":"crossref","first-page":"1202","DOI":"10.1137\/0325066","volume":"25","author":"P.J. Ramadge","year":"1987","unstructured":"P.J. Ramadge and W.M. Wonham, \u201cModular feedback logic for discrete event systems,\u201d SIAM Journal of Control and Optimization, 25(5):1202\u20131218, Sept. 1987.","journal-title":"SIAM Journal of Control and Optimization"},{"key":"236616_CR20","unstructured":"M. Rausch, A. L\u00fcder, and H.-M. Hanisch, \u201cCombined synthesis of locking and sequential controllers,\u201d International Workshop on Discrete Event Systems, Edinburgh, UK, August, 1996."},{"key":"236616_CR21","unstructured":"M. Rausch and H.M. Hanisch \u201cNet condition\/event systems with multiple condition outputs,\u201d ETFA 95 Conference, Paris, France, Oct. 1995."},{"key":"236616_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets","author":"W. Reisig","year":"1985","unstructured":"W. Reisig, Petri Nets, Springer-Verlag, Berlin, 1985."},{"key":"236616_CR23","doi-asserted-by":"crossref","unstructured":"N. Rescher and A.W. Roscoe, Temporal Logic, Springer-Verlag, Library of Exact Philosophy, 1971.","DOI":"10.1007\/978-3-7091-7664-1"},{"issue":"1","key":"236616_CR24","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/BF01805563","volume":"2","author":"R.S. Sreenivas","year":"1991","unstructured":"R.S. Sreenivas and B.H. Krogh, \u201cOn Condition\/Event Systems With Discrete State Realizations,\u201d Discrete Event Dynamic Systems: Theory and Applications, 2(1):209\u2013236, 1991.","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"key":"236616_CR25","doi-asserted-by":"crossref","first-page":"2899","DOI":"10.23919\/ACC.1991.4791934","volume":"3","author":"R.S. Sreenivas","year":"1991","unstructured":"R.S. Sreenivas and B.H. Krogh, \u201cPetri Net based models for condition\/event systems,\u201d In Proceedings of 1991 American Control Conference, Boston, MA, Vol. 3, pp. 2899\u20132904, 1991.","journal-title":"Proceedings of 1991 American Control Conference"},{"key":"236616_CR26","doi-asserted-by":"crossref","unstructured":"W.M. Wonham, \u201cA Control Theory for Discrete-Event Systems,\u201d Advanced Computing Concepts and Techniques in Control Engineering, M.J. Denham and A.J. Laub (editors), Springer-Verlag, pp. 129\u2013169, 1988.","DOI":"10.1007\/978-3-642-83548-3_5"},{"issue":"1","key":"236616_CR27","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/0005-1098(95)00103-4","volume":"32","author":"K. Yamalidou","year":"1996","unstructured":"K. Yamalidou, J. Moody, M. Lemmon, and P. Antsaklis, \u201cFeedback control of Petri Nets based on place invariants,\u201d Automatica, Vol. 32,No. 1, pp. 15\u201328, 1996.","journal-title":"Automatica"},{"key":"236616_CR28","doi-asserted-by":"crossref","unstructured":"M.C. Zhou and F. DiCesare, \u201cAdaptive design of Petri Net controllers for error recovery in automated manufacturing systems,\u201d IEEE Transactions on Systems Man and Cybernetics, Vol. 19, pp. 963\u2013973.","DOI":"10.1109\/21.44011"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008740917111.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008740917111\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008740917111.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,5]],"date-time":"2025-08-05T04:23:54Z","timestamp":1754367834000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008740917111"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,9]]},"references-count":28,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1999,9]]}},"alternative-id":["236616"],"URL":"https:\/\/doi.org\/10.1023\/a:1008740917111","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"type":"print","value":"0925-9856"},{"type":"electronic","value":"1572-8102"}],"subject":[],"published":{"date-parts":[[1999,9]]}}}