Software modeling and analysis using a hierarchical object-oriented Petri net

Jang-Eui Hong, Doo-Hwan Bae. Software modeling and analysis using a hierarchical object-oriented Petri net. Inf. Sci., 130(1-4):133-164, 2000.

Abstract

Abstract is missing.