The locally definable property of the product control structure

In this paper, the control structures and control technologies in decentralized discrete event control system are investigated. It shows that if the control structures on two local systems are standard and locally definable, so is the product control structure. Furthermore, a control technology associated with the product control structure is also given.