Agnes Madalinski Eric Fabre Modular construction of finite and complete prefixes of Petri net unfoldings. 68-77 2008 ACSD http://dx.doi.org/10.1109/ACSD.2008.4574598 conf/acsd/2008 db/conf/acsd/acsd2008.html#MadalinskiF08