Ludwik Czaja Manfred Kudlek w-Process Languages for Place/Transition Nets. 217-229 2001 47 Fundam. Inform. 3-4 db/journals/fuin/fuin47.html#CzajaK01