International Journal of Modern Engineering Research (IJMER)
The Petri Nets (PNs) are more powerful models as compared to the PERT/CPM (Project Evaluation and Review Technique/Critical Path Method) charts. The Petri Nets show the same type of scheduling constraints as the PERT/CPM charts does. The users can easily convert a PERT/CPM networks to a Petri Net model. This paper shows how to use Petri Net's for modeling and verifying project management networks. Software for a functional analysis of a Petri Net model is developed. The developed software enables analyzing of a system for its various properties irrespective of time. The software analysis is based on some approaches used to determine the various properties of PN model: livens, safeness, reach-ability and conservativeness.