@book {RP-80-02,
	title = {A la recherche dune m{\'e}todologie de conception sure des automatismes logiques bas{\'e}e sur lutilisation des r{\'e}seaux de Petri},
	year = {1980},
	pages = {245-256},
	publisher = {Hommes et Techniques},
	organization = {Hommes et Techniques},
	author = {M.J. Sifakis and M. Silva}
}

