{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T19:06:35Z","timestamp":1754161595229,"version":"3.41.2"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1997,6,1]],"date-time":"1997-06-01T00:00:00Z","timestamp":865123200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,6,1]],"date-time":"1997-06-01T00:00:00Z","timestamp":865123200000},"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,6]]},"DOI":"10.1023\/a:1008251930588","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T08:47:34Z","timestamp":1040546854000},"page":"243-274","source":"Crossref","is-referenced-by-count":1,"title":["A Nondeterministic Extension over Finitely Recursive Process Model"],"prefix":"10.1007","volume":"7","author":[{"given":"Supratik","family":"Bose","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Siddhartha","family":"Mukhopadhyay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amit","family":"Patra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"136172_CR1","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S.D. Brookes","year":"1984","unstructured":"Brookes S.D., Hoare C.A.R., and Roscoe A.W., A Theory of Communicating Sequential Processes. J. ACM, 31(3):560\u2013599, July 1984.","journal-title":"J. ACM"},{"issue":"3","key":"136172_CR2","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1109\/9.402","volume":"33","author":"R.A. Cieslak","year":"1988","unstructured":"Cieslak R.A., Desclaux C., Fawaz A.S., and Varaiya P.P., Supervisory Control of Discrete Event Processes with Partial Observations. IEEE Trans. Auto. Control, 33(3):249\u2013260, March 1988.","journal-title":"IEEE Trans. Auto. Control"},{"issue":"9","key":"136172_CR3","doi-asserted-by":"crossref","first-page":"1032","DOI":"10.1109\/9.58531","volume":"35","author":"R.A. Cieslak","year":"1990","unstructured":"Cieslak R.A. and Varaiya P.P., Undecidability Results for Deterministic Communicating Sequential Processes. IEEE Trans. Auto. Control, 35(9):1032\u20131039, September 1990.","journal-title":"IEEE Trans. Auto. Control"},{"key":"136172_CR4","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel D., Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, 8:231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"key":"136172_CR5","volume-title":"Algebraic Theory of Processes","author":"M. Hennessy","year":"1988","unstructured":"Hennessy M., Algebraic Theory of Processes. M.I.T Press, Cambridge, Ma, 1988."},{"issue":"4","key":"136172_CR6","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1109\/37.56284","volume":"10","author":"M. Heymann","year":"1990","unstructured":"Heymann M., Concurrency and discrete event control. IEEE Control Systems Magazine, 10(4):103\u2013112, 1990.","journal-title":"IEEE Control Systems Magazine"},{"key":"136172_CR7","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare C.A.R., Communicating Sequential Processes. Prentice Hall India, New Delhi, 1985."},{"issue":"7","key":"136172_CR8","doi-asserted-by":"crossref","first-page":"626","DOI":"10.1109\/9.1271","volume":"33","author":"K. Inan","year":"1988","unstructured":"Inan K. and Varaiya P.P., Finitely Recursive Process Models for Discrete Event Systems. IEEE Trans. Auto. Control, 33(7):626\u2013639, July 1988.","journal-title":"IEEE Trans. Auto. Control"},{"issue":"1","key":"136172_CR9","first-page":"24","volume":"77","author":"K. Inan","year":"1989","unstructured":"Inan K. and Varaiya P.P., Algebras of Discrete Event Models. Proc. IEEE, Special Issue on Discrete Event Dynamic Systems, 77(1):24\u201338, January 1989.","journal-title":"Proc. IEEE, Special Issue on Discrete Event Dynamic Systems"},{"key":"136172_CR10","doi-asserted-by":"crossref","first-page":"489","DOI":"10.1016\/0098-1354(79)80079-4","volume":"3","author":"M. Iri","year":"1979","unstructured":"Iri M., Aoki K., Oshima E., and Matsuyama H., An Algorithm for Diagnosis of System Failures in the Chemical Processes. Computers and Chemical Engineering, 3:489\u2013493, 1979.","journal-title":"Computers and Chemical Engineering"},{"issue":"6","key":"136172_CR11","doi-asserted-by":"crossref","first-page":"669","DOI":"10.1016\/0098-1354(83)85021-2","volume":"7","author":"F.P. Lees","year":"1983","unstructured":"Lees F.P., Process Computer Alarm and Disturbance Analysis: Review of the State of the Art. Computers and Chemical Engineering, 7(6):669\u2013694, 1983.","journal-title":"Computers and Chemical Engineering"},{"key":"136172_CR12","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0020-0255(88)90001-1","volume":"44","author":"F. Lin","year":"1988","unstructured":"Lin F. and Wonham W.M.,. On Observability of Discrete Event Systems. Information Sciences, 44:173\u2013198, 1988.","journal-title":"Information Sciences"},{"key":"136172_CR13","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner R., Communication and Concurrency. Prentice Hall International, U.K., 1989."},{"issue":"4","key":"136172_CR14","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata T., Petri Nets: Properties, Analysis and Applications. Proc. IEEE, 77(4):541\u2013580, April 1989.","journal-title":"Proc. IEEE"},{"issue":"4","key":"136172_CR15","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., A Framework for Real-Time Discrete Event Control. IEEE Trans. Auto. Control, 35(4):386\u2013397, April 1990.","journal-title":"IEEE Trans. Auto. Control"},{"issue":"7","key":"136172_CR16","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1109\/9.57018","volume":"35","author":"C.M. \u00d6zveren","year":"1990","unstructured":"\u00d6zveren C.M., and Willsky A.S.,. Observability of Discrete Event Dynamic Systems. IEEE Trans. Auto. Control, 35(7):797\u2013806, July 1990.","journal-title":"IEEE Trans. Auto. Control"},{"issue":"1","key":"136172_CR17","first-page":"81","volume":"77","author":"P.J.G. Ramadge","year":"1989","unstructured":"Ramadge P.J.G., and Wonham W.M., The Control of Discrete Event Systems. Proc. IEEE, Special Issue on Discrete Event Dynamic Systems, 77(1):81\u201398, January 1989.","journal-title":"Proc. IEEE, Special Issue on Discrete Event Dynamic Systems"},{"issue":"2","key":"136172_CR18","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/0098-1354(87)80012-1","volume":"11","author":"S.H. Rich","year":"1987","unstructured":"Rich S.H. and Venkatasubramaniam V., A Model Based Expert System for Fault Diagnosis. Computers and Chemical Engineering, 11(2):111\u2013122, February 1987.","journal-title":"Computers and Chemical Engineering"},{"issue":"2","key":"136172_CR19","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1137\/S0363012992239600","volume":"33","author":"M. Shayman","year":"1995","unstructured":"Shayman M. and Kumar R., Supervisory control of nondeterministic systems with driven events via prioritized synchronization and trajectory models. SIAM J. of Control and Optimization, 33(2):469\u2013497, March 1995.","journal-title":"SIAM J. of Control and Optimization"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008251930588.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008251930588\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008251930588.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,29]],"date-time":"2025-07-29T03:57:22Z","timestamp":1753761442000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008251930588"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,6]]},"references-count":19,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1997,6]]}},"alternative-id":["136172"],"URL":"https:\/\/doi.org\/10.1023\/a:1008251930588","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"type":"print","value":"0924-6703"},{"type":"electronic","value":"1573-7594"}],"subject":[],"published":{"date-parts":[[1997,6]]}}}