Use of petri net theory simplexys etc door Jos Lammers