[Lug-dd] Petri Netze unter Linux??