Jang-Eui Hong Doo-Hwan Bae Software modeling and analysis using a hierarchical object-oriented Petri net. 133-164 2000 130 Inf. Sci. 1-4 db/journals/isci/isci130.html#HongB00