{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,18]],"date-time":"2026-02-18T23:41:17Z","timestamp":1771458077742,"version":"3.50.1"},"reference-count":107,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1997,4,1]],"date-time":"1997-04-01T00:00:00Z","timestamp":859852800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,4,1]],"date-time":"1997-04-01T00:00:00Z","timestamp":859852800000},"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":["Discrete Event Dynamic Systems"],"published-print":{"date-parts":[[1997,4]]},"DOI":"10.1023\/a:1008271916548","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T08:47:34Z","timestamp":1040546854000},"page":"151-190","source":"Crossref","is-referenced-by-count":340,"title":["A Survey of Petri Net Methods for Controlled Discrete Event Systems"],"prefix":"10.1007","volume":"7","author":[{"given":"L. E.","family":"Holloway","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B. H.","family":"Krogh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Giua","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"129866_CR1","unstructured":"Ashley, Jr., J., and Holloway, L. E. 1994. Characterizing uncontrollable reachability for colored controlled petri nets. Proceedings of 1994 IEEE International Conference on Systems, Man, and Cybernetics, San Antonio, Texas."},{"key":"129866_CR2","unstructured":"Baccelli, F., Cohen, G., Olsder, G., and Quadrat, J. P. 1992. Synchronization and Linearity: An Algebra for Discrete Event Systems. Wiley."},{"issue":"6","key":"129866_CR3","doi-asserted-by":"crossref","first-page":"724","DOI":"10.1109\/70.63273","volume":"6","author":"Z. A. Banaszak","year":"1990","unstructured":"Banaszak, Z. A., and Krogh, B. H. 1990. Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Trans. on Robotics and Automation 6(6): 724\u2013734.","journal-title":"IEEE Trans. on Robotics and Automation"},{"key":"129866_CR4","unstructured":"Barroso, G. C., Lima, A. M. N., and Perkusich, A. 1996. Supervision of discrete event systems using Petri nets and Supervisory Control theory. Proc. of 1st Int. Workshop on Manufacturing and Petri Nets, 17th Int. Conf. on Application and Theory of Petri Nets, Osaka, Japan, pp. 77\u201396."},{"key":"129866_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/978-3-540-47919-2_13","volume-title":"Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986","author":"G. Berthelot","year":"1987","unstructured":"Berthelot, G. 1987. Transformations and decompositions of nets. Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, (Brauer, W., Reisig, W., and Rosenberg, G. eds.) Lecture Notes in Computer Science, vol. 254-I, New York: Springer Verlag, pp. 359\u2013376."},{"key":"129866_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1007\/978-3-540-47919-2_8","volume-title":"Structural theory of Petri nets: the free choice haitus","author":"E. Best","year":"1987","unstructured":"Best, E. 1987. Structural theory of Petri nets: the free choice haitus. Lecture Notes in Computer Science, vol. 254, New York: Springer Verlag, pp. 168\u2013206."},{"key":"129866_CR7","first-page":"161","volume":"4","author":"R. K. Boel","year":"1993","unstructured":"Boel, R. K., Ben-Naoum, L., and Van Breusegem, V. 1993. On forbidden state problems for controlled closed controlled state machines. Preprints of the 12th IFAC World Congress, Vol. 4, Sidney, Australia, pp. 161\u2013164.","journal-title":"Preprints of the 12th IFAC World Congress"},{"issue":"1","key":"129866_CR8","doi-asserted-by":"crossref","first-page":"1717","DOI":"10.1109\/9.467679","volume":"40","author":"R. K. Boel","year":"1995","unstructured":"Boel, R. K., Ben-Naoum, L., and Van Breusegem, V. 1995. On forbidden state problems for a class of colored Petri nets. IEEE Trans. on Automatic Control 40(1): 1717\u20131731.","journal-title":"IEEE Trans. on Automatic Control"},{"issue":"3","key":"129866_CR9","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1016\/0098-1354(94)00052-P","volume":"19","author":"O. R. Boissel","year":"1995","unstructured":"Boissel, O. R., and Kantor, J. C. 1995. Optimal feedback control design for discrete-event systems using simulated annealing. Computers in Chemical Engineering 19(3): 253\u2013266.","journal-title":"Computers in Chemical Engineering"},{"key":"129866_CR10","doi-asserted-by":"crossref","unstructured":"Brandin, B. A., and Wonham, W. M. 1992. Supervisory control of timed discrete-event systems. Proc. 31st IEEE Conf. on Decision and Control, Tuscon, Arizona, pp. 3357\u20133362.","DOI":"10.1109\/CDC.1992.371015"},{"key":"129866_CR11","doi-asserted-by":"crossref","unstructured":"Brave, Y., and Heymann, M. 1988. Formulation and control of real-time discrete event processes. Proc. 27th IEEE Conf. on Decision and Control, Austin, Texas, pp. 1131\u20131132.","DOI":"10.1109\/CDC.1988.194493"},{"key":"129866_CR12","first-page":"263","volume":"I","author":"Y. Brave","year":"1993","unstructured":"Brave, Y., and Krogh, B. H. 1993. Maximally permissive policies for controlled time marked graphs. Proc. 12th IFAC World Congress, Sydney, Australia, pp. I:263\u2013266.","journal-title":"Proc. 12th IFAC World Congress"},{"issue":"2","key":"129866_CR13","doi-asserted-by":"crossref","first-page":"346","DOI":"10.1109\/TSE.1986.6312948","volume":"12","author":"G. Bruno","year":"1986","unstructured":"Bruno, G., and Marchetto, G. 1986. Process-translatable Petri nets for the rapid prototyping of process control systems. IEEE Trans. on Software Engineering 12(2): 346\u2013357.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"129866_CR14","unstructured":"Cofer, D. 1995. Control and Analysis of Real-Time Discrete Event Systems. PhD thesis, Dept. of ECE, University of Texas at Austin."},{"key":"129866_CR15","doi-asserted-by":"crossref","unstructured":"Cofer, D., and Garg, V. K. 1995. Control of event separation times in discrete event systems. Proceedings of the 34th Conference on Decision and Control, New Orleans, LA, pp. 2005\u20132010.","DOI":"10.1109\/CDC.1995.480642"},{"issue":"2","key":"129866_CR16","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1109\/9.481519","volume":"41","author":"D. Cofer","year":"1996","unstructured":"Cofer, D., and Garg, V. K. 1996. Supervisory control of real-time discrete event systems using lattice theory. IEEE Transactions on Automatic Control 41(2): 199\u2013109.","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"1","key":"129866_CR17","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1109\/5.21069","volume":"77","author":"G. Cohen","year":"1989","unstructured":"Cohen, G., Moller, P., Quadrat, J.-P., and Voit, M. 1989. Algebraic tools for the performance evaluation of discrete event systems. Proceedings of the IEEE 77(1): 39\u201358.","journal-title":"Proceedings of the IEEE"},{"key":"129866_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/3-540-53863-1_23","volume-title":"Advances in Petri Nets 1990","author":"J. M. Colom","year":"1991","unstructured":"Colom, J. M., and Silva, M. 1991. Improving the linearly based characterization of P\/T nets. Advances in Petri Nets 1990, (Rozenberg, G. ed.), Lecture Notes in Computer Science, vol. 483, New York: Springer Verlag, pp. 113\u2013145."},{"key":"129866_CR19","first-page":"335","volume":"III","author":"R. David","year":"1993","unstructured":"David, R. 1993. Petri nets & Grafcet for specification of logic controllers. Proc. 12th IFAC World Congress, Sydney, Australia, pp. III:335\u2013340.","journal-title":"Proc. 12th IFAC World Congress"},{"key":"129866_CR20","volume-title":"Petri Nets and Grafcet","author":"R. David","year":"1992","unstructured":"David, R., and Alla, H. 1992. Petri Nets and Grafcet. New York: Prentice Hall."},{"key":"129866_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/3-540-55676-1_8","volume-title":"Application and Theory of Petri Net 1992","author":"J. Desel","year":"1992","unstructured":"Desel, J. 1992. A proof of the rank theorem for extended free choice nets. Application and Theory of Petri Net 1992, (Jensen, K., ed.), Lecture Notes in Computer Science, vol. 616, New York: Springer Verlag, pp. 134\u2013154."},{"issue":"2","key":"129866_CR22","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1145\/356586.356588","volume":"3","author":"E. G. Coffman","year":"1971","unstructured":"Coffman, E. G., et al. 1971. System deadlocks. Computing Surveys 3(2): 67\u201378.","journal-title":"Computing Surveys"},{"issue":"2","key":"129866_CR23","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1109\/70.370500","volume":"11","author":"J. Ezpeleta","year":"1995","unstructured":"Ezpeleta, J., Colom, J. M., and Martinez, J. 1995. A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation 11(2): 173\u2013184.","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"129866_CR24","doi-asserted-by":"crossref","unstructured":"Giua, A., and DiCesare, F. 1991. Supervisory design using Petri nets. Proc. 30th IEEE Conf. on Decision and Control, Brighton, UK, pp. 92\u201397.","DOI":"10.1109\/CDC.1991.261262"},{"issue":"4","key":"129866_CR25","doi-asserted-by":"crossref","first-page":"818","DOI":"10.1109\/9.286260","volume":"39","author":"A. Giua","year":"1994","unstructured":"Giua, A., and DiCesare, F. 1994a. Blocking and controllability of Petri nets in supervisory control. IEEE Trans. on Automatic Control 39(4): 818\u2013823.","journal-title":"IEEE Trans. on Automatic Control"},{"issue":"2","key":"129866_CR26","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1109\/70.282543","volume":"10","author":"A. Giua","year":"1994","unstructured":"Giua, A., and DiCesare, F. 1994b. Petri net structural analysis for supervisory control. IEEE Trans. on Robotics and Automation 10(2): 185\u2013195.","journal-title":"IEEE Trans. on Robotics and Automation"},{"issue":"5","key":"129866_CR27","doi-asserted-by":"crossref","first-page":"906","DOI":"10.1109\/9.384227","volume":"40","author":"A. Giua","year":"1995","unstructured":"Giua, A., and DiCesare, F. 1995. Decidability and closure properties of weak Petri net languages in supervisory control. IEEE Trans. on Automatic Control 40(5): 906\u2013910.","journal-title":"IEEE Trans. on Automatic Control"},{"key":"129866_CR28","doi-asserted-by":"crossref","unstructured":"Giua, A., DiCesare, F., and Silva, M. 1992. Generalized mutual exclusion constraints on nets with uncontrollable transitions. Proc. 1992 IEEE Int. Conf. on Systems, Man, and Cybernetics, Chicago, Illinois, pp. 974\u2013979.","DOI":"10.1109\/ICSMC.1992.271666"},{"key":"129866_CR29","first-page":"267","volume":"I","author":"A. Giua","year":"1993","unstructured":"Giua, A., DiCesare, F., and Silva, M. 1993. Petri net supervisors for generalized mutual exclusion constraints. Proc. 12th IFAC World Congress, Sidney, Australia, pp. I:267\u2013270.","journal-title":"Proc. 12th IFAC World Congress"},{"key":"129866_CR30","doi-asserted-by":"crossref","first-page":"459","DOI":"10.1007\/978-3-642-83548-3_16","volume-title":"Advanced Computing Concepts and Techniques in Control Engineering","author":"C. H. Golaszewski","year":"1988","unstructured":"Golaszewski, C. H., and Ramadge, P. J. 1988a. Discrete event processes with arbitrary controls. Advanced Computing Concepts and Techniques in Control Engineering, (Denham, M. J., and Laub, A. J., eds.), New York: Springer Verlag, pp. 459\u2013469."},{"key":"129866_CR31","doi-asserted-by":"crossref","unstructured":"Golassewaski, C. H., and Ramadge, P. J. 1988b. Mutual exclusion problems for discrete event systems with shared events. Proc. 27th IEEE Conf. on Decision and Control, Austin, Texas, pp. 234\u2013239.","DOI":"10.1109\/CDC.1988.194301"},{"key":"129866_CR32","unstructured":"Hanisch, H.-M., Luder, A., and Rausch, M. 1996. Controller synthesis for net condition\/event systems with incomplete state observation. Proceedings of Computer Integrated Manufacturing and Automation Technology (CIMAT'96) Conference, Grenoble, France."},{"key":"129866_CR33","doi-asserted-by":"crossref","unstructured":"Haoxun, C. 1994. Synthesis of feedback control logic for controlled Petri nets with forward and backward conflict-free uncontrolled subnet. In Proc. 33rd IEEE Trans. on Decision and Control, Lake Buena Vista, FL, pp. 3098\u20133103.","DOI":"10.1109\/CDC.1994.411309"},{"key":"129866_CR34","doi-asserted-by":"crossref","unstructured":"Haoxun, C., and Baosheng, H. 1991. Distributed control of discrete event systems described by a class of controlled Petri nets. Preprints of IFAC Int. Symp. on Distributed Intelligence Systems, Arlington, Virginia.","DOI":"10.1016\/S1474-6670(17)51223-9"},{"key":"129866_CR35","unstructured":"Haoxun, C., and Baosheng, H. 1993. Control of discrete event systems with their dynamics and legal behavior specified by Petri nets. Proc. 32nd IEEE Trans. on Decision and Control, San Antonio, TX, pp. 239\u2013240."},{"key":"129866_CR36","series-title":"Technical Report","volume-title":"Laboratory for Automated Systems and Information Processing","author":"L. E. Holloway","year":"1988","unstructured":"Holloway, L. E. 1988. Feedback control synthesis for a class of discrete event systems using distributed state models. Laboratory for Automated Systems and Information Processing, Dept. of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA. Technical Report LASIP-88-17."},{"key":"129866_CR37","unstructured":"Holloway, L. E. 1996. Time measures and state maintainability for a class of composed systems. Proceedings of the 1996 International Workshop on Discrete Event Systems (WODES96), Edinburgh, UK."},{"issue":"5","key":"129866_CR38","doi-asserted-by":"crossref","first-page":"514","DOI":"10.1109\/9.53517","volume":"35","author":"L. E. Holloway","year":"1990","unstructured":"Holloway, L. E., and Krogh, B. H. 1990. Synthesis of feedback control logic for a class of controlled Petri nets. IEEE Trans. on Automatic Control 35(5): 514\u2013523. Also appears in Discrete Event Dynamic Systems: Analyzing Complexity and Performance in the Modern World, (Ho., Y. C., ed.), New York: IEEE Press, 1992.","journal-title":"IEEE Trans. on Automatic Control"},{"issue":"5","key":"129866_CR39","doi-asserted-by":"crossref","first-page":"692","DOI":"10.1109\/9.135519","volume":"37","author":"L. E. Holloway","year":"1992","unstructured":"Holloway, L. E., and Krogh, B. H. 1992. On closed-loop liveness of discrete event systems under maximally permissive control. IEEE Trans. on Automatic Control 37(5): 692\u2013697.","journal-title":"IEEE Trans. on Automatic Control"},{"issue":"6","key":"129866_CR40","doi-asserted-by":"crossref","first-page":"804","DOI":"10.1109\/9.506233","volume":"41","author":"L. E. Holloway","year":"1996","unstructured":"Holloway, L. E., Guan, X., and Zhang, L. 1996. A generalization of state avoidance policies for controlled Petri nets. IEEE Trans. on Automatic Control 41(6): 804\u2013816.","journal-title":"IEEE Trans. on Automatic Control"},{"key":"129866_CR41","first-page":"242","volume-title":"Proc. Third Int. Conf. on Computer Integrated Manufacturing","author":"L. E. Holloway","year":"1992","unstructured":"Holloway, L. E., and Hossain, F. 1992. Feedback control for sequencing specifications in controlled Petri nets. Proc. Third Int. Conf. on Computer Integrated Manufacturing, Troy, New York, pp. 242\u2013250."},{"issue":"2","key":"129866_CR42","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1109\/70.282544","volume":"10","author":"F.-S. Hsieh","year":"1994","unstructured":"Hsieh, F.-S., and Chang, S.-C. 1994. Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems. IEEE Transactions on Robotics and Automation 10(2): 196\u2013209.","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"129866_CR43","series-title":"Lecture Notes in Control and Information Sciences","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/BFb0042308","volume-title":"Discrete Event Systems: Models and Applications","author":"A. Ichikawa","year":"1988","unstructured":"Ichikawa, A., and Hiraishi, K. 1988. Analysis and control of discrete event systems represented by Petri nets. Discrete Event Systems: Models and Applications, (Varaiya, P., and Kurzhanski, A. B., eds.), Lecture Notes in Control and Information Sciences, vol. 103, New York: Springer Verlag, pp. 115\u2013134."},{"key":"129866_CR44","series-title":"Lecture Notes in Computer Sciences","first-page":"413","volume-title":"Petri Nets: Control Models and Their Properties, Advances in Petri Nets 1986","author":"M. Jantzen","year":"1987","unstructured":"Jantzen, M. 1987a. Complexity of place\/transition nets. Petri Nets: Control Models and Their Properties, Advances in Petri Nets 1986, (Reisig, W., Brauer, W., and Rozenberg, G., eds.), Lecture Notes in Computer Sciences, vol. 254-I, New York: Springer Verlag, pp. 413\u2013434."},{"key":"129866_CR45","series-title":"Lecture Notes in Computer Sciences","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1007\/978-3-540-47919-2_15","volume-title":"Petri Nets: Control Models and Their Properties, Advances in Petri Nets 1986","author":"M. Jantzen","year":"1987","unstructured":"Jantzen, M. 1987b. Language theory of Petri nets. Petri Nets: Control Models and Their Properties, Advances in Petri Nets 1986, (Reisig, W., Brauer, W., and Rosenberg, G., eds.), Lecture Notes in Computer Sciences, Vol. 254-I, Springer Verlag, New York, pp. 397\u2013412."},{"issue":"1","key":"129866_CR46","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1109\/21.214792","volume":"23","author":"M. D. Jeng","year":"1993","unstructured":"Jeng. M. D., and DiCesare, F. 1993. A review of synthesis techniques for petri nets with applications to automated manufacturing systems. IEEE Trans. on Systems, Man, and Cybernetics 23(1): 301\u2013312.","journal-title":"IEEE Trans. on Systems, Man, and Cybernetics"},{"key":"129866_CR47","doi-asserted-by":"crossref","unstructured":"Jensen, K. 1995. Coloured Petri Nets. Vol. 1 & 2, Springer.","DOI":"10.1007\/978-3-662-03241-1_1"},{"issue":"3","key":"129866_CR48","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1016\/0016-0032(85)90052-3","volume":"319","author":"J. L. Johnson","year":"1985","unstructured":"Johnson, J. L., and Murara, T. 1985. Structure mmatrices for Petri nets. Journal of the Franklin Institute 319(3): 299\u2013309.","journal-title":"Journal of the Franklin Institute"},{"key":"129866_CR49","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/0304-3975(77)90014-7","volume":"4","author":"N. D. Jones","year":"1977","unstructured":"Jones, N. D., Landweber, L. H., and Lien, Y. E. 1977. Complexity of some problems in Petri nets. Theoretical Computer Science 4: 277\u2013299.","journal-title":"Theoretical Computer Science"},{"key":"129866_CR50","doi-asserted-by":"crossref","unstructured":"Kosaraju, S. R. 1982. Decidability of reachability in vector addition systems. Proc. 14th Ann. ACM Symp. on Theory of Computing, San Francisco, California, pp. 267\u2013281.","DOI":"10.1145\/800070.802201"},{"key":"129866_CR51","first-page":"317","volume-title":"Proc. 25th Annual Allerton Conference","author":"B. H. Krogh","year":"1987","unstructured":"Krogh, B. H. 1987. Controlled Petri nets and maximally permissive feedback logic. Proc. 25th Annual Allerton Conference, University of Illinois, Urbana, pp. 317\u2013326."},{"issue":"4","key":"129866_CR52","doi-asserted-by":"crossref","first-page":"641","DOI":"10.1016\/0005-1098(91)90055-7","volume":"27","author":"B. H. Krogh","year":"1991","unstructured":"Krogh, B. H., and Holloway, L. E. 1991. Synthesis of feedback control logic for discrete manufacturing systems. Automatica 27(4): 641\u2013651.","journal-title":"Automatica"},{"key":"129866_CR53","doi-asserted-by":"crossref","unstructured":"Krogh, B. H., Magott, J., and Holloway, L. E. 1991. On the complexity of forbidden state problems for controlled marked graphs. Proc. 30th IEEE Conf. on Decision and Control, Brighton, UK, pp. 85\u201391.","DOI":"10.1109\/CDC.1991.261261"},{"issue":"2","key":"129866_CR54","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1109\/9.481527","volume":"41","author":"R. Kumar","year":"1996","unstructured":"Kumar, R., and Holloway, L. D. 1996. Supervisory control of deterministic Petri nets with regular specification languages. IEEE Trans. on Automatic Control 41(2): 245\u2013249.","journal-title":"IEEE Trans. on Automatic Control"},{"issue":"4","key":"129866_CR55","doi-asserted-by":"crossref","first-page":"482","DOI":"10.1109\/9.52310","volume":"35","author":"S. Lafortune","year":"1991","unstructured":"Lafortune, S., and Yoo, H. 1991. Some results on Petri net languages. IEEE Trans. on Automatic Control 35(4): 482\u2013485.","journal-title":"IEEE Trans. on Automatic Control"},{"key":"129866_CR56","doi-asserted-by":"crossref","unstructured":"Lewis, F. L., Pastravanu, O. C., and Huang, H.-H. 1993. Controller design and conflict resolution in discrete event manufacturing systems. Proc. 32nd IEEE Conf. on Decision and Control, IEEE Control Systems Society, pp. 3288\u20133293.","DOI":"10.1109\/CDC.1993.325813"},{"key":"129866_CR57","volume-title":"Control of Vector Discrete-Event Systems","author":"Y. Li","year":"1991","unstructured":"Li, Y., 1991. Control of Vector Discrete-Event Systems. PhD thesis, Systems and Control Group, Department of Electrical Engineering, University of Toronto, Toronto, Ontario."},{"issue":"8","key":"129866_CR58","doi-asserted-by":"crossref","first-page":"1214","DOI":"10.1109\/9.233154","volume":"38","author":"Y. Li","year":"1993","unstructured":"Li, Y., and Wonham, W. M. 1993. Control of vector discrete-event systesm I\u2014the base model. IEEE Trans. on Automatic Control 38(8): 1214\u20131227.","journal-title":"IEEE Trans. on Automatic Control"},{"issue":"3","key":"129866_CR59","doi-asserted-by":"crossref","first-page":"512","DOI":"10.1109\/9.280750","volume":"39","author":"Y. Li","year":"1994","unstructured":"Li, Y., and Wonham, W. M. 1994. Control of vector discrete-event systesm II\u2014controller synthesis. IEEE Trans. on Automatic Control 39(3): 512\u2013531.","journal-title":"IEEE Trans. on Automatic Control"},{"issue":"4","key":"129866_CR60","doi-asserted-by":"crossref","first-page":"628","DOI":"10.1109\/9.376113","volume":"40","author":"Y. Li","year":"1995","unstructured":"Li, Y., and Wonham, W. M. 1995. Concurrent vector discrete-event systems. IEEE Trans. on Automatic Control 40(4): 628\u2013638.","journal-title":"IEEE Trans. on Automatic Control"},{"key":"129866_CR61","first-page":"709","volume-title":"Proc. 32nd Annual Allerton Conference","author":"M. Makungu","year":"1994","unstructured":"Makungu, M., Barbeau, M., and St-Denis, R. 1994. Synthesis of controllers with colored Petri nets. Proc. 32nd Annual Allerton Conference, University of Illinois, Urbana, pp. 709\u2013718."},{"issue":"3","key":"129866_CR62","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1137\/0213029","volume":"13","author":"E. W. Mayr","year":"1984","unstructured":"Mayr, E. W. 1984. An algorithm for the general Petri net reachability problem. SIAM J. of Computing 13(3): 441\u2013460.","journal-title":"SIAM J. of Computing"},{"issue":"3","key":"129866_CR63","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1115\/1.2799130","volume":"117","author":"B. J. McCarragher","year":"1995","unstructured":"McCarragher, B. J., and Asada, H. 1995. The discrete event modeling and trajectory planning of robitic assembly tasks. Transactions of the ASME\u2014Journal of Dynamic Systems, Measurement, and Control 117(3): 394\u2013400.","journal-title":"Transactions of the ASME\u2014Journal of Dynamic Systems, Measurement, and Control"},{"key":"129866_CR64","doi-asserted-by":"crossref","unstructured":"Memmi, G., and Roucairol, G. 1980. Linear algebra in net theory. Lecture Notes in Computer Science, vol. 84, Springer, pp. 213\u2013223.","DOI":"10.1007\/3-540-10001-6_24"},{"key":"129866_CR65","unstructured":"Moody, J. O., and Antsaklis, P. J. 1995. Petri net supervisors for des in the presence of uncontrollable and unobservable transitions. Proceedings of 33rd Annual Allerton Conference on Communications, Control, and Computing, Monticello, IL."},{"key":"129866_CR66","first-page":"3104","volume-title":"Proc. 33rd IEEE Conf. on Decision and Control","author":"J. O. Moody","year":"1994","unstructured":"Moody, J. O., Yamalidou, K., Lemmon, M. D., and Antsaklis, P. J. 1994. Feedback control of Petri nets based on place invariants. Proc. 33rd IEEE Conf. on Decision and Control, Lake Buena Vista, Florida, pp. 3104\u20133109."},{"key":"129866_CR67","first-page":"67","volume-title":"Proceedings of IFAC World Congress 1996","author":"J. O. Moody","year":"1996","unstructured":"Moody, J. O., Antsaklis, P. J., and Lemmon, M. D. 1996. Petri net feedback controller design for a manufacturing system. Proceedings of IFAC World Congress 1996, vol. B, San Francisco: Pergamon\/Elsvier Science Limited, pp. 67\u201372."},{"issue":"3","key":"129866_CR68","doi-asserted-by":"crossref","first-page":"412","DOI":"10.1109\/TAC.1977.1101509","volume":"AC-22","author":"T. Murata","year":"1977","unstructured":"Murata, T. 1977. State equation, controllability and maximal matching of Petri nets. IEEE Trans. on Automatic Control AC-22(3): 412\u2013415.","journal-title":"IEEE Trans. on Automatic Control"},{"issue":"4","key":"129866_CR69","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T. 1989. Petri nets: Propeties, analysis and applications. Proceedings of the IEEE 77(4): 541\u2013580.","journal-title":"Proceedings of the IEEE"},{"issue":"4","key":"129866_CR70","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1109\/9.52290","volume":"35","author":"J. S. Ostroff","year":"1990","unstructured":"Ostroff, J. S., and Wonham, W. M. 1990. A framework for real-time discrete event control. IEEE Trans. on Automatic Control 35(4): 386\u2013397.","journal-title":"IEEE Trans. on Automatic Control"},{"key":"129866_CR71","series-title":"Lecture Notes in Computer Sciences","first-page":"373","volume-title":"Proc. STACS 1987","author":"E. Pelz","year":"1987","unstructured":"Pelz, E. 1987. Closure properties of deterministic Petri net languages. Proc. STACS 1987, Lecture Notes in Computer Sciences, vol. 247, New York: Springer Verlag, pp. 373\u2013382."},{"key":"129866_CR72","volume-title":"Petri Net Theory and the Modeling of Systems","author":"J. L. Peterson","year":"1981","unstructured":"Peterson, J. L. 1981. Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall."},{"issue":"1","key":"129866_CR73","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/9.8645","volume":"34","author":"P. J. Ramadge","year":"1989","unstructured":"Ramadge, P. J. 1989. Some tractable supervisory control problems for discrete-event systems modeled by buchi automata. IEEE Trans. on Automatic Control 34(1): 10\u201319.","journal-title":"IEEE Trans. on Automatic Control"},{"issue":"5","key":"129866_CR74","doi-asserted-by":"crossref","first-page":"1202","DOI":"10.1137\/0325066","volume":"25","author":"P. J. Ramadge","year":"1987","unstructured":"Ramadge, P. J., and Wonham, W. M. 1987a. Modular feedback logic for discrete-event systems. SIAM J. of Control and Optimization 25(5): 1202\u20131218.","journal-title":"SIAM J. of Control and Optimization"},{"issue":"1","key":"129866_CR75","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"P. J. Ramadge","year":"1987","unstructured":"Ramadge, P. J., and Wonham, W. M. 1987b. Supervisory control of a class of discrete-event processes. SIAM J. of Control and Optimization 25(1): 206\u2013230.","journal-title":"SIAM J. of Control and Optimization"},{"issue":"1","key":"129866_CR76","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"P. J. Ramadge","year":"1989","unstructured":"Ramadge, P. J., and Wonham, W. M. 1989. The control of discrete event systems. Proceedings of IEEE 77(1): 81\u201398.","journal-title":"Proceedings of IEEE"},{"key":"129866_CR77","volume-title":"Monographs on Theoretical Computer Science","author":"W. Reisig","year":"1982","unstructured":"Reisig, W. 1982. Petri nets. Monographs on Theoretical Computer Science. New York: Springer Verlag."},{"key":"129866_CR78","unstructured":"Reutenauer, C. 1990. The Mathematics of Petri Nets. Masson and Prentice-Hall."},{"key":"129866_CR79","doi-asserted-by":"crossref","unstructured":"Sathaye, A. S., and Krogh, B. H. Synthesis of real-time supervisors for controlled time Petri nets. Proc. 32nd IEEE Conf. on Decision and Control, vol. 1, San Antonio, pp. 235\u2013238.","DOI":"10.1109\/CDC.1993.325157"},{"key":"129866_CR80","first-page":"587","volume":"88","author":"J. Sifakas","year":"1980","unstructured":"Sifakas, J. 1980. Deadlocks and livelocks in transition systems. Mathematical Foundations of Computer Science 88: 587\u2013600.","journal-title":"Mathematical Foundations of Computer Science"},{"key":"129866_CR81","doi-asserted-by":"crossref","unstructured":"Sifakis, J. 1978. Structural properties of Petri nets. Mathematical Foundations of Computer Science, (Winkowski, J., ed.), Springer, pp. 474\u2013483.","DOI":"10.1007\/3-540-08921-7_95"},{"key":"129866_CR82","series-title":"Lecture Notes in Control and Information Sciences","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/BFb0042306","volume-title":"Discrete Event Systems: Models and Applications","author":"R. Smedinga","year":"1988","unstructured":"Smedinga, R. 1988. Using trace theory to model discrete event systems. Discrete Event Systems: Models and Applications, (Varaiya, P., and Kurzhanski, A. B., eds.), Lecture Notes in Control and Information Sciences, New York: Springer Verlag, pp. 81\u201399."},{"issue":"4","key":"129866_CR83","doi-asserted-by":"crossref","first-page":"658","DOI":"10.1109\/9.250543","volume":"38","author":"R. S. Sreenivas","year":"1993","unstructured":"Sreenivas, R. S. 1993a. A note on deciding the controllability of a language K with respect to a language L. IEEE Trans. on Automatic Control 38(4): 658\u2013662.","journal-title":"IEEE Trans. on Automatic Control"},{"issue":"9","key":"129866_CR84","doi-asserted-by":"crossref","first-page":"1446","DOI":"10.1109\/9.237665","volume":"38","author":"R. S. Sreenivas","year":"1993","unstructured":"Sreenivas, R. S. 1993b. On a weaker notion of controllability of a language K with respect to language L. IEEE Trans. on Automatic Control 38(9): 1446\u20131447.","journal-title":"IEEE Trans. on Automatic Control"},{"key":"129866_CR85","unstructured":"Sreenivas, R. S. 1996. Enforcing liveness via supervisors control in discrete event dynamic systems modeled by completely controlled petri nets. IEEE Transactions on Automatic Control, submitted."},{"issue":"2","key":"129866_CR86","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1109\/9.121634","volume":"37","author":"R. S. Sreenivas","year":"1992","unstructured":"Sreenivas, R. S., and Krogh, B. H. 1992. On Petri net models of infinite state supervisory. IEEE Trans. on Automatic Control 37(2): 274\u2013277.","journal-title":"IEEE Trans. on Automatic Control"},{"key":"129866_CR87","doi-asserted-by":"crossref","unstructured":"Stiver, J. A., and Antsaklis, P. J. 1993. On the controllability of hybrid control systems. Proc. 32nd IEEE Conf. on Decision and Control, IEEE Control Systems Society, pp. 294\u2013299.","DOI":"10.1109\/CDC.1993.325143"},{"issue":"1","key":"129866_CR88","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0022-0000(83)90029-6","volume":"27","author":"I. Suziki","year":"1983","unstructured":"Suziki, I., and Murara, T. 1983. A method for stepwise refinement and abstraction of Petri nets. Journal of Computer and System Sciences 27(1): 51\u201376.","journal-title":"Journal of Computer and System Sciences"},{"key":"129866_CR89","doi-asserted-by":"crossref","unstructured":"Takae, A., Takai, S., Ushio, T., Kumagai, S., and Kodama, S. 1996. Maximally permissive controllers for controlled time Petri nets. Proceedings 33rd Conf. on Decision and Control, Lake Buena Vista, FL, pp. 1058\u20131059.","DOI":"10.1109\/CDC.1994.411285"},{"issue":"4","key":"129866_CR90","doi-asserted-by":"crossref","first-page":"617","DOI":"10.1080\/00207179408921484","volume":"60","author":"S. Takai","year":"1994","unstructured":"Takai, S., Ushio, T., and Kodama, S. 1994. Concurrency and maximally permissive feedback in Petri nets with external input places. International Journal of Control 60(4): 617\u2013629.","journal-title":"International Journal of Control"},{"issue":"3","key":"129866_CR91","first-page":"265","volume":"5","author":"T. Ushio","year":"1989","unstructured":"Ushio, T. 1989. On the controllability of controlled Petri nets. Control-Theory and Advanced Technology 5(3): 265\u2013275.","journal-title":"Control-Theory and Advanced Technology"},{"issue":"7","key":"129866_CR92","doi-asserted-by":"crossref","first-page":"844","DOI":"10.1109\/9.57027","volume":"35","author":"T. Ushio","year":"1990","unstructured":"Ushio, T. 1990. Maximally permissive feedback and modular control synthesis in Petri nets with external input places. IEEE Trans. on Automatic Control 35(7): 844\u2013848.","journal-title":"IEEE Trans. on Automatic Control"},{"key":"129866_CR93","doi-asserted-by":"crossref","unstructured":"Ushio, T., and Matsumoto, R. 1988. State feedback and modular control synthesis in controlled Petri nets. Proc. 27th IEEE Conf. on Decision and Control, Austin, Texas, pp. 1502\u20131507.","DOI":"10.1109\/CDC.1988.194577"},{"key":"129866_CR94","unstructured":"Valette, R. 1983. A petri net based programmable logic controller. Computer Applications in Production and Engineering (CAPE '83), (Warman, E. A., ed.), North-Holland Publishing, pp. 103\u2013116."},{"issue":"6","key":"129866_CR95","doi-asserted-by":"crossref","first-page":"713","DOI":"10.1109\/70.63257","volume":"6","author":"N. Viswanadham","year":"1990","unstructured":"Viswanadham, N., Narahari, Y., and Johnson, T. L. 1990. Deadlock prevention and deadlock avoidance in flexible manufacturing systems using petri net models. IEEE Trans. on Robotics and Automation 6(6): 713\u2013722.","journal-title":"IEEE Trans. on Robotics and Automation"},{"key":"129866_CR96","doi-asserted-by":"crossref","unstructured":"Wang, F. Y. 1992. Supervisory control for concurrent discrete event dynamic systems based on Petri nets. Proc. 31st IEEE Conf. on Decision and Control, Tuscon, Arizona, pp. 1196\u20131197.","DOI":"10.1109\/CDC.1992.371528"},{"key":"129866_CR97","first-page":"1","volume":"V","author":"H. Wang","year":"1993","unstructured":"Wang, H. 1993. Trace model for concurrent DEDS. Proc. 12th IFAC World Congress, Sidney, Australia, pp. V:1\u20134.","journal-title":"Proc. 12th IFAC World Congress"},{"issue":"4","key":"129866_CR98","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1109\/70.313106","volume":"10","author":"J. F. Watson","year":"1994","unstructured":"Watson, J. F., and Derochers, A. A. 1994. State-spae size estimation of Petri nets: a bottom-up perspective. IEEE Trans. on Robotics and Automation 10(4): 555\u2013561.","journal-title":"IEEE Trans. on Robotics and Automation"},{"key":"129866_CR99","doi-asserted-by":"crossref","unstructured":"Wong-Toi, H., and Hoffmann, G. 1991. The control of dense real-time discrete event systems. Proc. 30th IEEE Conf. on Decision and Control, Brighton, UK, pp. 1527\u20131528.","DOI":"10.1109\/CDC.1991.261658"},{"issue":"3","key":"129866_CR100","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1137\/0325036","volume":"25","author":"W. M. Wonham","year":"1987","unstructured":"Wonham, W. M, and Ramadge, P. J. 1987. On the supremal controllable sublanguage of a given language. SIAM J. on Control and Optimization 25(3): 637\u2013659.","journal-title":"SIAM J. on Control and Optimization"},{"issue":"2","key":"129866_CR101","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1109\/9.481550","volume":"41","author":"K.-Y. Xing","year":"1996","unstructured":"Xing, K.-Y., Hu, B.-S., and Chen, H.-X. 1996. Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources. IEEE Transactions on Automatic Control 41(2): 289\u2013295.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"129866_CR102","first-page":"377","volume-title":"Proceedings of IFAC World Congress 1996","author":"K.-Y. Xing","year":"1996","unstructured":"Xing, K.-Y., Li, J. M., Hu, B. S. 1996. A new method for synthexizing state avoidance policies for controlled petri nets. Proceedings of IFAC World Congress 1996, vol. J, San Francisco: Pergamon\/Elsevier Science Limited, pp. 377\u2013382."},{"issue":"1","key":"129866_CR103","doi-asserted-by":"crossref","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., and Antsaklis, P. 1996. Feedback control of petri nets based on place invariants. Automatica 32(1): 15\u201328.","journal-title":"Automatica"},{"key":"129866_CR104","doi-asserted-by":"crossref","unstructured":"Zhou, M. C., and DiCesare, F. 1993. Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Kluwer.","DOI":"10.1007\/978-1-4615-3126-5"},{"issue":"3","key":"129866_CR105","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1109\/70.143353","volume":"8","author":"M. C. Zhou","year":"1992","unstructured":"Zhou, M. C., DiCesare, F., and Desrochers, A. 1992. Hybrid methodology for the synthesis of Petri nets models for manufacturing systems. IEEE Trans. on Robotics and Automation 8(3): 350\u2013361.","journal-title":"IEEE Trans. on Robotics and Automation"},{"issue":"6","key":"129866_CR106","doi-asserted-by":"crossref","first-page":"1199","DOI":"10.1016\/0005-1098(92)90061-J","volume":"28","author":"M. C. Zhou","year":"1992","unstructured":"Zhou, M. C., DiCesare, F., and Rudolph, D. L. 1992. Design and implementation of a petri net based supervisor for a flexible manufacturing system. Automatica 28(6): 1199\u20131208.","journal-title":"Automatica"},{"issue":"6","key":"129866_CR107","first-page":"576","volume":"41","author":"R. Zurawski","year":"1994","unstructured":"Zurawski, R., and Zhou, M. 1994. Petri nets and industrial applications: a tutorial. IEEE Trans. on Industrial Electronics 41(6): 576\u2013583.","journal-title":"IEEE Trans. on Industrial Electronics"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008271916548.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008271916548\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008271916548.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,29]],"date-time":"2025-07-29T03:55:44Z","timestamp":1753761344000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008271916548"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,4]]},"references-count":107,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1997,4]]}},"alternative-id":["129866"],"URL":"https:\/\/doi.org\/10.1023\/a:1008271916548","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,4]]}}}