Józef Winkowski An algebraic characterization of independence of Petri net processes. 73-81 2003 88 Inf. Process. Lett. 1-2 http://dx.doi.org/10.1016/S0020-0190(03)00386-7 db/journals/ipl/ipl88.html#Winkowski03