{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T19:06:31Z","timestamp":1754161591944,"version":"3.41.2"},"reference-count":23,"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:1008224000619","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T08:47:34Z","timestamp":1040546854000},"page":"191-208","source":"Crossref","is-referenced-by-count":3,"title":["On Supervisory Policies that Enforce Global Fairness and Bounded Fairness in Partially Controlled Petri Nets"],"prefix":"10.1007","volume":"7","author":[{"given":"Ramavarapu S.","family":"Sreenivas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"129867_CR1","volume-title":"Principles of concurrent programming","author":"M. Ben-Ari","year":"1982","unstructured":"Ben-Ari, M., \u201cPrinciples of concurrent programming,\u201d Prentice-Hall, Englewood Cliffs, New Jersey, 1982."},{"key":"129867_CR2","doi-asserted-by":"crossref","unstructured":"Carstensen, H., \u201cDecidability questions for fairness in Petri nets,\u201d Proceedings of the 4th Symposium on Theoretical Aspects of Computer Science, Lecture Notes in Computer Science: 247, Springer-Verlag, 1987, pp. 396\u2013407.","DOI":"10.1007\/BFb0039622"},{"key":"129867_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4886-6","volume-title":"Fairness","author":"N. Francez","year":"1986","unstructured":"Francez, N., \u201cFairness,\u201d Springer-Verlag Texts and Monographs in Computer Science, New York, 1986."},{"issue":"4","key":"129867_CR4","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., \u201cBlocking and Controllability of Petri nets in supervisory control,\u201d IEEE Transactions on Automatic Control, 39(4), April, 1994, pp. 818\u2013823.","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"5","key":"129867_CR5","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., \u201cDecidability and Closure Properties of Weak Petri net Languages,\u201d IEEE Transactions on Automatic Control, 40(5), May, 1995, pp. 906\u2013910.","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"5","key":"129867_CR6","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., \u201cSynthesis of feedback control logic for a class of controlled petri nets,\u201d IEEE Trans. on Automatic Control, 35(5), May, 1990, pp. 514\u2013523.","journal-title":"IEEE Trans. on Automatic Control"},{"issue":"5","key":"129867_CR7","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., \u201cOn closed-loop liveness of discrete-event systems under maximally permissive control,\u201d IEEE Trans. on Automatic Control, 37(5), May, 1992, pp. 692\u2013697.","journal-title":"IEEE Trans. on Automatic Control"},{"key":"129867_CR8","unstructured":"Holloway, L.E., \u201cFeedback control synthesis for a class of Discrete Event Systems using distributed state models,\u201d M.S. Thesis, Electrical and Computer Engineering, Carnegie-Mellon, October, 1988."},{"key":"129867_CR9","doi-asserted-by":"crossref","unstructured":"Howell, 1R.R. and Rosier, L.E., \u201cOn questions of fairness and Temporal Logic for Conflict-free Petri nets,\u201d Advances in Petri nets, Lecture Notes in Computer Science: 266, Springer-Verlag, 1987, pp. 200\u2013226.","DOI":"10.1007\/3-540-50580-6_30"},{"key":"129867_CR10","volume-title":"Proc. of the 25th Annual Allerton Conference on Communication, Control, and Computing","author":"B.H. Krogh","year":"1987","unstructured":"Krogh, B.H., \u201cControlled Petri nets and maximally permissive feedback logic,\u201d Proc. of the 25th Annual Allerton Conference on Communication, Control, and Computing, Univ. of Illinois, Urbana-Champaign, September, 1987."},{"key":"129867_CR11","unstructured":"Leu. D, and Silva, M. and Colom J.M., and Murata, T., \u201cInterrelationships among various concepts of Fairness for Petri nets,\u201d Proceedings of the 31st Midwest Symposium on Circuits and Systems, St. Louis, MO, 1988, pp. 1141\u20131144."},{"key":"129867_CR12","unstructured":"Molloy, M., \u201cStructurally bounded stochastic Petri nets,\u201d Proceedings of the International Workshop on Petri nets and Performance Models, Madison, WI, August, 1987, pp. 156\u2013163."},{"issue":"4","key":"129867_CR13","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T., \u201cPetri nets: properties, analysis and applications,\u201d Proceedings of the IEEE, 77(4), April, 1989, pp. 541\u2013580.","journal-title":"Proceedings of the IEEE"},{"issue":"2","key":"129867_CR14","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/0016-0032(85)90028-6","volume":"320","author":"T. Murata","year":"1985","unstructured":"Murata, T. and Wu, Z., \u201cFair relation and modified synchronic distances in a Petri net,\u201d Journal of the Franklin Institute, 320(2), August, 1985, pp. 63\u201382.","journal-title":"Journal of the Franklin Institute"},{"key":"129867_CR15","volume-title":"Petri net theory and the modeling of systems","author":"J.L. Peterson","year":"1981","unstructured":"Peterson, J.L., \u201cPetri net theory and the modeling of systems,\u201d Prentice-Hall, Englewood Cliffs, NJ, 1981."},{"issue":"1","key":"129867_CR16","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/9.8645","volume":"34","author":"P.J.G. Ramadge","year":"1989","unstructured":"Ramadge, P.J.G., \u201cSome tractable supervisory control problems for discrete-event systems modeled by B\u00fcchi automata,\u201d IEEE Trans. on Automatic Control, 34(1), January, 1989, pp. 10\u201319.","journal-title":"IEEE Trans. on Automatic Control"},{"issue":"1","key":"129867_CR17","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"P. G. Ramadge","year":"1987","unstructured":"Ramadge, P.J. G. and Wonham, W.M., \u201cSupervisory control of class of discrete event processes,\u201d SIAM J. Control and Optimization, 25(1), January, 1987, pp. 206\u2013230.","journal-title":"SIAM J. Control and Optimization"},{"issue":"5","key":"129867_CR18","doi-asserted-by":"crossref","first-page":"1202","DOI":"10.1137\/0325066","volume":"25","author":"P.J.G. Ramadge","year":"1987","unstructured":"Ramadge, P.J.G. and Wonham, W.M., \u201cModular feedback logic for discrete event systems,\u201d SIAM J. Control and Optimization, 25(5), September, 1987, pp. 1202\u20131218.","journal-title":"SIAM J. Control and Optimization"},{"key":"129867_CR19","volume-title":"The mathematics of Petri nets","author":"C. Reutenauer","year":"1990","unstructured":"Reutenauer, C., \u201cThe mathematics of Petri nets,\u201d Masson and Prentice Hall International (UK) Ltd, Hertforshire, HP2 4RG, 1990."},{"key":"129867_CR20","volume-title":"Telecommunication Networks","author":"M. Schwartz","year":"1988","unstructured":"Schwartz, M., \u201cTelecommunication Networks,\u201d Addison-Wesley, Reading, MA, 1988."},{"key":"129867_CR21","doi-asserted-by":"crossref","unstructured":"Socolofsky, T. and Kale, C., \u201cA TCP\/IP tutorial,\u201d Request for Comments # 1180, Network Working Group, January, 1991.","DOI":"10.17487\/rfc1180"},{"key":"129867_CR22","doi-asserted-by":"crossref","unstructured":"Silva, M. and Murata, T., \u201cB-fairness and structural B-fairness in Petri net models of concurrent systems,\u201d Journal of Computer and System Sciences, 44(3), June, 1992.","DOI":"10.1016\/0022-0000(92)90013-9"},{"key":"129867_CR23","unstructured":"Thistle, J.G., \u201cControl of infinite behavior of discrete-event systems,\u201d Ph.D. Thesis, Systems Control Group, Department of Electrical Engineering, University of Toronto, January, 1991."}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008224000619.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008224000619\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008224000619.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,29]],"date-time":"2025-07-29T03:56:57Z","timestamp":1753761417000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008224000619"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,4]]},"references-count":23,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1997,4]]}},"alternative-id":["129867"],"URL":"https:\/\/doi.org\/10.1023\/a:1008224000619","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"type":"print","value":"0924-6703"},{"type":"electronic","value":"1573-7594"}],"subject":[],"published":{"date-parts":[[1997,4]]}}}