基于Petri网的项目管理模型研究

Study of Project Management Model Based on Petri Nets

项目管理是一类典型的离散并发不确定系统,经典Petri网及其扩展可以很好的对项目工序逻辑关系、时间约束、资源约束、项目执行过程监控等进行可视化建模的同时,提供形式化理论支撑.在综合研究现有Petri网项目管理模型基础上,提出了基于着色时间约束Petri网的项目动态管理模型,并对该模型的变迁激发规则、状态空间、可达性及可调度性进行分析.该模型能够对项目管理中时间约束及资源约束进行建模,为项目动态管理提供可视化、形式化建模工具.

Project management is a typical concurrent uncertain discrete system. Classical Petri nets and their extensions can build a visual modeling for logical relationships of process, timing constraints, resource constraints and process monitoring, meanwhile, they can also provide formal theoretical support. With a comprehensive re- search of project management model based on Petri nets, this paper proposes a dynamic project management model based on colored timing Petri net, and then analyzes its state space, reachablility and schedulability. It can be available for modeling of timing constraints and resource constraints of project management, which pro- vides visual, formal modeling tools for dynamic project management.