Heidira, P., & Boucheneb, H. (2012). A forward on-the-fly approach in controller synthesis of time petri nets. Dans Petri Nets - Manufacturing and Computer Science . Lien externe