Control of discrete event systems modelled as Petri nets

Doctorat en sciences mathématiques -- Université catholique de Louvain, 199

Methodologies for discrete event dynamic systems: A survey

this report, please use the following reference instead