Design and formal analysis of Petri net based logic control algorithmsGeorg FreyÉpuisé4,3Prévenez-moi