Re: [Lug-dd] Petri Netze unter Linux??