| 摘要 |
A new approach to the modelling control of timed state based processes is proposed. Such an approach and the corresponding technology is directly applicable to fields such as automated manufacturing, transport systems and communications systems, and offers important advantages over other existing approaches, mainly: automated coding of supervisory control strategies in industrial control systems and the very compact modelling of timed state based processes.
|
