@incollection{Abid10,
author = {Chiheb Ameur Abid and Sajeh Zairi and Belhassen Zouari},
title = {Supervisory Control and High-level Petri nets},
booktitle = {Petri Nets},
publisher = {IntechOpen},
address = {Rijeka},
year = {2010},
editor = {Pawel Pawlewski},
chapter = {14},
doi = {10.5772/7512},
url = {https://doi.org/10.5772/7512}
}