Liveness and Boundedness Analysis for Petri Nets with Event Graph Modules. - Vanio M. Savi; Xiaolan Xie (Application and Theory of Petri Nets, 1992)