Younes Souissi On liveness preservation by composition of nets via a set of places. 277-295 1990 conf/apn/1990 Applications and Theory of Petri Nets db/conf/apn/apn1990.html#Souissi90 http://dx.doi.org/10.1007/BFb0019979