A Slicing-based approach to enhance Petri Net Reachability Analysis
· 약 1분
Journal of Research and Practice in Information Technology, Vol. 32, No. 2, pp. 131-143, May 2000.
Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering
· 약 1분
IEEE Transactions on Software Engineering, Vol. 24, No. 12, pp. 1115-1130, December 1998.