A NONDETERMINISTIC EXTENSION OVER FINITELY RECURSIVE PROCESS MODEL

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 'fa ilure' model of Communicating Sequential Processes. In the beginning a general structure of finitely recursive process space is provided wit h some important modifications. Next, the nondeterministic process spa ce has been introduced as a special case of the general algebraic proc ess space. A collection of operators has been defined over this nondet erministic process space that enables its characterisation in a finite ly recursive manner. Finally, the advantages and disadvantages of the proposed model vis-a-vis other nondeterministic models of discrete eve nt systems are discussed.