Toward the Formal Verification of HILECOP: Formalization and Implementation of Synchronously Executed Petri Nets. - Vincent Iampietro; David Andreu 001; David Delahaye (PNSE@Petri Nets, 2020)