Εφαρμογές δικτύων Petri στην ανάλυση και προσομοίωση δυναμικών μηχανολογικών συστημάτων διακριτών καταστάσεων - Λέκκας, Γεώργιος