Petri net approaches for modelling and validation - Moldt, Daniel; Kotsis, Gabriela (LINCOM Europa, 2001)