Title :
Temporal Petri nets, a modeling and control tool of manufacturing lines
Author :
Mouss, N.K. ; Mouss, L.H.
Abstract :
Two basic tools are used in our approach. Firstly, temporal Petri nets provide elegant models for timed systems. The obtained models are general, including any structure type such as synchronizations and conflicts. Secondly, timed automata constitute a formal framework for proofs with the objective of performance evaluation and the synthesis of the control laws. These topics correspond to our current research with an application in the domain of manufacturing lines without intermediate buffers
Keywords :
Petri nets; control system synthesis; production control; conflicts; manufacturing lines; performance evaluation; synchronizations; temporal Petri nets; timed automata; Automatic control; Chemical processes; Control systems; Manufacturing systems; Petri nets; Production systems; Robotics and automation; Technological innovation; Upper bound; Virtual manufacturing;
Conference_Titel :
Intelligent Control/Intelligent Systems and Semiotics, 1999. Proceedings of the 1999 IEEE International Symposium on
Conference_Location :
Cambridge, MA
Print_ISBN :
0-7803-5665-9
DOI :
10.1109/ISIC.1999.796621
