• M. Suresh Babu
• D. Madhusudana Reddy
• Dr.Y. Madhusudhana Reddy

The Petri Nets are more powerful models as compared to the PERT/CPM charts. The Petri Nets show the same type of scheduling constraints as the PERT/CPM charts does. We can easily convert a PERT/CPM networks to a Petri Net model.This work 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. This paper proposes a PN based modeling approach to provide a formal way to verify that all the activities are well connected in the project network. This PN model can then be analyzed through (PN based) scheduling techniques, used to find the critical path, used as a basis to develop algorithms for resource-constrained project management, and used for other decisions related to project management. The proposed PN based approach enables the project manager to consider not only resources but also all different types of variables/constraints related to a project, e.g. costs of activities.

CPM, PERT, Petri Net’s, Verifications.

"An advance for Project Scheduling with PERT/CPM", International Journal of Emerging Technologies and Innovative Research (www.jetir.org), ISSN:2349-5162, Vol.5, Issue 11, page no.630-637, November-2018, Available :http://www.jetir.org/papers/JETIR1811B92.pdf

"An advance for Project Scheduling with PERT/CPM", International Journal of Emerging Technologies and Innovative Research (www.jetir.org | UGC and issn Approved), ISSN:2349-5162, Vol.5, Issue 11, page no. pp630-637, November-2018, Available at : http://www.jetir.org/papers/JETIR1811B92.pdf