Analytical verification of information system requirements using petri net properties. - S. Sakthivel; J. P. Moily (Inf. Softw. Technol., 1993)