Modelling and Synthesis of Printed Circuit Boards Testing Systems based on Timed Hard Petri Nets Journal title: ANALELE UNIVERSITATII DIN CRAIOVA - Seria Inginerie electrica Authors: Viorica Sudacevschi, Victor Ababii, Dmitri Calugari, Dimitrie Bordian Subject(s): Electrical and Electronic Engineering, Engineering, Energy, Mechanical Engineering