Click Petri Nets analysis and applications.pdf link to view the file.