Folmal introduction to Petri nets

Click Formal introduction to Petri nets.pdf link to view the file.