Cong Liu Alex Kondratyev Yosinori Watanabe Alberto L. Sangiovanni-Vincentelli Jörg Desel Schedulability Analysis of Petri Nets Based on Structural Properties. 69-78 2006 conf/acsd/2006 ACSD http://doi.ieeecomputersociety.org/10.1109/ACSD.2006.22 db/conf/acsd/acsd2006.html#LiuKWSD06