%0 Journal Article %A Czaja, Ludwik %T On the analysis of Petri nets and their synthesis from process languages %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 2003 %P 17-38 %V 37 %N 1 %I EDP-Sciences %U http://www.numdam.org/articles/10.1051/ita:2003006/ %R 10.1051/ita:2003006 %G en %F ITA_2003__37_1_17_0