Information System Verification and Validation during Requirement Analysis Using Petri Nets

Sachidanandam Sakthivel, Mohan Tanniru. Information System Verification and Validation during Requirement Analysis Using Petri Nets. J. of Management Information Systems, 5(3):33-52, 1989. [doi]

Abstract

Abstract is missing.