S. Bose et al., A NONDETERMINISTIC EXTENSION OVER FINITELY RECURSIVE PROCESS MODEL, Discrete event dynamic systems, 7(3), 1997, pp. 243-274
Citations number
19
Categorie Soggetti
Controlo Theory & Cybernetics",Mathematics,"Operatione Research & Management Science",Mathematics,"Operatione Research & Management Science","Robotics & Automatic Control
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.