@Article{AP21,
author={Ahmed Al-Ajeli and David Parker},
title={Fault diagnosis in labelled Petri nets: A Fourier-Motzkin based approach},
journal={Automatica},
year={2021},

volume={132},
number={},
pages={109831},
publisher={Elsevier},
month={},
note={},
key={}
}