检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]昆明理工大学管理与经济学院,云南昆明650093
出 处:《昆明理工大学学报(自然科学版)》2014年第5期101-108,共8页Journal of Kunming University of Science and Technology(Natural Science)
基 金:国家自然科学基金项目(70962003);昆明理工大学公共基础设施项目管理创新团队;云南省应用基础研究面上项目(2013FB033);云南省省院省校人文社会科学研究项目(SYSX201307);云南省哲学社会科学研究基地项目(JD13YB07);云南省教育厅科学研究基金重点项目(2012Z063);昆明理工大学自然科学研究基金省级人培项目(KKSY201308024);教育部人文社会科学研究项目(14YJC630107);云南省哲学社会科学教育科学规划项目(AC14001)
摘 要:项目管理是一类典型的离散并发不确定系统,经典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.
关 键 词:项目动态管理 资源约束 着色时间约束Petri网
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.222