A Forward On-The-Fly Approach in Controller Synthesis of Time Petri Nets

P Heidira , Hanifa Boucheneb (1)

1 CEDRIC - Centre d'études et de recherche en informatique et communications

P. Heidira, H. Boucheneb ?A Forward On-The-Fly Approach in Controller Synthesis of Time Petri Nets?, Petri Nets - Manufacturing and Computer Science, Pawel Pawlewski (Ed.), ISBN: 978-953-51-0700-2, InTech, August 2012,

Domaines: Informatique [cs]; Calcul parallèle, distribué et partagé [cs.DC]

P Heidira, Hanifa Boucheneb. A Forward On-The-Fly Approach in Controller Synthesis of Time Petri Nets. InTech. Petri Nets - Manufacturing and Computer Science, pp.60-70, 2012, 978-953-51-0700-2. ⟨hal-01126312⟩