For the most recent entries see the Petri Nets Newsletter.

A new approach to modular liveness analysis conceived for large logic controllers design.

Ferrarini, L.; Narduzzi, M.; Tassan-Solet, M.

In: IEEE Trans. on Robotics and Automation, Vol. 10, No. 2, pages 169-184. 1994.

Abstract: When dealing with complex automation systems, the development and maintenance of control software often is a delicate task and takes a long time. The paper illustrates a Petri nets-based model to design logic controllers in an incremental mode, in which liveness analysis can be easily carried out, based on the compressed information contained in a compact graph that can be associated to the Petri net. Moreover, the incremental liveness analysis allows the portion of a net specifically involved in a fault to be identified and suggests a number of possible, even complex, remedies according to the nature of the detected faults. A necessary and sufficient condition of liveness is stated and proved.

Keywords: Petri nets, controller design, manufacturing systems, modular liveness analysis.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography