Petri net approaches for modelling and validation - Moldt, Daniel; Kotsis, Gabriela (LINCOM studies in computer science, 2001)