On the Analysis of Petri Nets and their Synthesis from Process Languages

Ludwik Czaja. On the Analysis of Petri Nets and their Synthesis from Process Languages. ITA, 37(1):17-38, 2003. [doi]

Abstract

Abstract is missing.