A Nondeterministic Extension over Finitely Recursive Process Model |
| |
Authors: | Supratik Bose Siddhartha Mukhopadhyay Amit Patra |
| |
Affiliation: | (1) Center for Artificial Intelligence and Robotics, Bangalore, 560001, INDIA;(2) Department of Electrical Engineering, I.I.T, Kharagpur, W.B., 721302, INDIA |
| |
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. |
| |
Keywords: | Discrete Event Systems Process Algebra Models Finitely Recursive Processes Nondeterminism |
本文献已被 SpringerLink 等数据库收录! |
|