PERFORMANCE EVALUATION OF A CONTROLLED FLOW-SHOP SYSTEM WITH A TIMED PETRI NET MODEL Topics: Control and Supervision Systems; Industrial Networks and Automation; Modeling, Simulation and Architectures; Petri Nets (System Design/Verification with Nets, Protocols and Networks) In Proceedings of the Third International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO, 494-499, 2006 , Setúbal, Portugal