Petri net controller synthesis using theory of regions
Z. Achour
a
, A. Ghaffari
a
, N. Rezg
a
, X. Xie
a,b
a
INRIA, France
b
Ecole Nationale Supérieure des Mines de Saint-Etienne, France
