Walter Vogler Behaviour Preserving Refinement of Petri Nets. 82-93 1986 conf/wg/1986 WG db/conf/wg/wg86.html#Vogler86 http://dx.doi.org/10.1007/3-540-17218-1_51