A Methodology of Specification and Implementation of Distributed Discrete Control Systems

The SECOIA (Specification, Emulation and Conception of an Integrated Automation) Project is an attempt to provide an integrated methodology to specify and implement distributed discrete control systems, particularly those intended to the control of Flexible Manufacturing Systems (FMS).