Journal of Management Information Systems
Vol. 5 No. 3, Winter
1989
pp. 33 - 52
Information System Verification and Validation during Requirement Analysis Using Petri Nets
Sakthivel, S.
and
Tanniru, Mohan R.
Abstracts are available only for articles that have been published since Summer 1995
Key words and phrases
:
, Petri Nets
, system development
, system requirement
analysis
, validation of information
systems
verification of information
systems
The JMIS site is designed, constructed and maintained using RMM technology