Title :
Formal validation of complex production systems using coloured Petri nets
Author :
Colombo, Annando W. ; Martinez, Javier ; Carelli, Ricardo
Author_Institution :
Inst. de Autom., Univ. Nacional de San Juan, Argentina
Abstract :
Petri nets have been proven to be specially adequate for modeling parallel and distributed systems such as flexible manufacturing systems. Moreover, they have a well-founded theory of analysis that allows for investigating a great number of qualitative properties of the modelled systems. In order to validate complex production system models with this tool, this work proposes a formal technique for qualitative validation of the system´s specifications, based on the place-invariants of its coloured Petri net models. One example taken from the literature on FMSs is modelled by coloured Petri nets and analyzed by the proposed formal validation techniques
Keywords :
Petri nets; flexible manufacturing systems; graph colouring; production; FMS; coloured Petri nets; complex production systems formal validation; distributed systems; flexible manufacturing systems; parallel systems; place-invariants; Calculus; Computer science; Flexible manufacturing systems; Graphical models; Parallel processing; Petri nets; Production systems; System recovery; Virtual manufacturing;
Conference_Titel :
Robotics and Automation, 1994. Proceedings., 1994 IEEE International Conference on
Conference_Location :
San Diego, CA
Print_ISBN :
0-8186-5330-2
DOI :
10.1109/ROBOT.1994.351345