Keller. Clustering for Petri Nets. no. 1-3, Elsevier BV, 2003, doi:10.1016/s0304-3975(02)00597-2.