Simulation of discrete event systems using communicating sequential processes

Presents a class of discrete event model, called finitely recursive processes (FRP), as have been introduced by Inan and Varaiya (1988,1989). These models are motivated by problems in supervisory control and their structure is based on Hoare´s (1985) communicating sequential processes (CSP). The present authors aim to develop an environment where the implementation of FRP is possible. They describe briefly the underlying theory and address the problem of simulating FRP. Using the functional programming language LISP the basic operators describing recursively discrete event models are built. Communication channels and input and output events as described in Hoare are included. A simple control example of a train-gate system is designed, represented and simulated