Si illustra una metodologia di progettazione modulare del controllo logico per Sistemi Manifatturieri Riconfigurabili basata sulle Reti di Petri. Il metodo presentato garantisce la raggiungibilità, la limitatezza, la vivezza, e la reversibilità delle Reti di Petri definite. Inoltre sono introdotte delle regole per implementare le funzioni logiche di controllo ottenute tramite il linguaggio grafico dei Diagrammi Funzionali Sequenziali, compreso nello standard Iec 61131. Le diverse fasi della metodologia proposta sono presentate con riferimento ad esempi illustrativi ed applicativi.