Computer aided design of logic controllers with Petri nets. (English)
Zhou, Meng-Chu (ed.), Petri nets in flexible and agile automation. Dordrecht: Kluwer Academic Publishers. Kluwer Int. Ser. Eng. Comput. Sci. 310, 71-92 (1995).
Summary: The application of computer aided control system design principles to the analysis and design of logic control systems is discussed.