A petri-net-based synthesis methodology for use-case-driven system design

K. S. Cheung, T. Y. Cheung, K. O. Chow. A petri-net-based synthesis methodology for use-case-driven system design. Journal of Systems and Software, 79(6):772-790, 2006. [doi]

Abstract

Abstract is missing.