Cong Liu Alex Kondratyev Yosinori Watanabe Jörg Desel Alberto L. Sangiovanni-Vincentelli Schedulability Analysis of Petri Nets Based on Structural Properties. 325-341 2008 86 Fundam. Inform. 3 http://iospress.metapress.com/content/wu385u55n0545814/ db/journals/fuin/fuin86.html#LiuKWDS08