High-level Petri net for incremental analysis of object-oriented system requirements.

Jang-Eui Hong Doo-Hwan Bae High-level Petri net for incremental analysis of object-oriented system requirements. 11-18 2001 148 IEE Proceedings - Software 1 db/journals/iee/iee-s148.html#HongB01