Ludmila Cherkasova Rodney R. Howell Louis E. Rosier Bounded Self-Stabilizing Petri Nets Acta Inf. 32 3 1995 189-207 db/journals/acta/acta32.html#CherkasovaHR95