We have proposed a modular design approach of sequential control systems which are modeled by condition/event nets (C/E nets). In the approach，the specification of the system describes by specifications of modules and a synchronization operation. In this paper，we present a sufficient condition for the modification of a module's specification to do not affect the whole specification.
展开▼
机译：我们提出了一种由条件/事件网（C / E NET）建模的顺序控制系统的模块化设计方法。在该方法中，系统的规范描述了模块规范和同步操作。在本文中，我们为模块的规范提出了足够的条件，不影响整个规范。
展开▼
