Ludwik Czaja On the Analysis of Petri Nets and their Synthesis from Process Languages. 17-38 2003 37 ITA 1 http://dx.doi.org/10.1051/ita:2003006 db/journals/ita/ita37.html#Czaja03