Verifying Petri net Models using Process algebra (2003)

by T Basten
Venue:Petri nets for Systems Engineering, chapter 16.5