Pn representations in metabolic pathways reddy et al - 1993
Diagnosis of Discrete Event Systems Meir Kalech Partly based on slides of Gautam Biswass.
Supervisory Control of Hybrid Systems
Diagnosis of Discrete Event Systems