Abstract
This paper extends the Finitely Recursive Process framework introduced by Inan and Varaiya for modelling Discrete Event Systems to encompass nondeterministic processes. Nondeterminism has been captured as a set of possible ‘deterministic futures’ instead of using the standard ‘failure’ model of Communicating Sequential Processes. In the beginning a general structure of finitely recursive process space is provided with some important modifications. Next, the nondeterministic process space has been introduced as a special case of the general algebraic process space. A collection of operators has been defined over this nondeterministic process space that enables its characterisation in a finitely recursive manner. Finally, the advantages and disadvantages of the proposed model vis-a-vis other nondeterministic models of discrete event systems are discussed.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Brookes S.D., Hoare C.A.R., and Roscoe A.W., A Theory of Communicating Sequential Processes. J. ACM, 31(3):560–599, July 1984.
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–260, March 1988.
Cieslak R.A. and Varaiya P.P., Undecidability Results for Deterministic Communicating Sequential Processes. IEEE Trans. Auto. Control, 35(9):1032–1039, September 1990.
Harel D., Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, 8:231–274, 1987.
Hennessy M., Algebraic Theory of Processes. M.I.T Press, Cambridge, Ma, 1988.
Heymann M., Concurrency and discrete event control. IEEE Control Systems Magazine, 10(4):103–112, 1990.
Hoare C.A.R., Communicating Sequential Processes. Prentice Hall India, New Delhi, 1985.
Inan K. and Varaiya P.P., Finitely Recursive Process Models for Discrete Event Systems. IEEE Trans. Auto. Control, 33(7):626–639, July 1988.
Inan K. and Varaiya P.P., Algebras of Discrete Event Models. Proc. IEEE, Special Issue on Discrete Event Dynamic Systems, 77(1):24–38, January 1989.
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–493, 1979.
Lees F.P., Process Computer Alarm and Disturbance Analysis: Review of the State of the Art. Computers and Chemical Engineering, 7(6):669–694, 1983.
Lin F. and Wonham W.M.,. On Observability of Discrete Event Systems. Information Sciences, 44:173–198, 1988.
Milner R., Communication and Concurrency. Prentice Hall International, U.K., 1989.
Murata T., Petri Nets: Properties, Analysis and Applications. Proc. IEEE, 77(4):541–580, April 1989.
Ostroff J.S. and Wonham W.M., A Framework for Real-Time Discrete Event Control. IEEE Trans. Auto. Control, 35(4):386–397, April 1990.
Özveren C.M., and Willsky A.S.,. Observability of Discrete Event Dynamic Systems. IEEE Trans. Auto. Control, 35(7):797–806, July 1990.
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–98, January 1989.
Rich S.H. and Venkatasubramaniam V., A Model Based Expert System for Fault Diagnosis. Computers and Chemical Engineering, 11(2):111–122, February 1987.
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–497, March 1995.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Bose, S., Mukhopadhyay, S. & Patra, A. A Nondeterministic Extension over Finitely Recursive Process Model. Discrete Event Dynamic Systems 7, 243–274 (1997). https://doi.org/10.1023/A:1008251930588
Issue Date:
DOI: https://doi.org/10.1023/A:1008251930588