Towards Reusable Colored Petri Nets Nam-Hee Lee, Jang-Eui Hong, Sung-Deok Cha, and Doo-Hwan Bae

Abstract Reuse has long been recognized as a key technology that can bring about significant productivity gains in software development. Code-level reuse is wellunderstood and frequently practiced. However, reuse in software requirements, another phase where much benefit can be expected, remains inadequately addressed. Hierarchical Colored Petri Net (HCPN) formalism has been successfully used on several large-scale industrial projects, and it includes features designed to enhance modularity and understandability of the model. Unfortunately, such features fall short of making HCPN reusable