Use of petri net theory simplexys etc by Jos Lammers