Per visualizzare il file, fai click su questo link: Petri Nets analysis and applications.pdf