丁峰
- 作品数：3 被引量：6H指数：1
- 供职机构：合肥工业大学计算机与信息学院更多>>
- 发文基金：教育部“新世纪优秀人才支持计划”国家教育部博士点基金安徽省自然科学研究项目更多>>
- 相关领域：自动化与计算机技术交通运输工程机械工程更多>>
- 汽车车身控制系统的规则化描述和Petri网建模研究
- 汽车车身控制系统是典型的离散事件系统,结合规则化描述方法接近自然语言、易于理解、便于建模和Petri网模型易于模拟验证的特点,本文提出了基于规则化描述方法的Petri网建模思路,并给出了车身部分器件行为关系的规则化描述和...
- 丁峰陆阳程运安
- 关键词：汽车车身控制系统
- 文献传递
- 有色时间Petri网与随机Petri网应用研究
- Petri网是一种适合于描述异步并发现象的系统模型,是离散事件系统建模的一种强有力工具,但是在使用基本Petri网来为复杂系统建模时会出现“节点爆炸”问题,有色时间Petri网/(CTPN/)是克服该问题的有效途径之一。...
- 丁峰
- 关键词：工作流模型广义随机PETRI网
- 文献传递
- 广义随机Petri网在工作流建模中的应用研究
- 2010年
- 工作流管理技术是20世纪90年代初兴起的软件技术,其实现的关键在于工作流概念模型的建立。Petri网(GSPN)作为一种图形化的数学建模工具,适合于工作流领域的建模需求。提出了基于广义随机Petri网的工作流建模方法,运用可达图法对工作流正确性和可靠性进行检查。利用GSPN与马尔可夫链的同构关系,采用GSPN和马尔可夫链相结合的工作流性能分析方法,为工作流性能的有效评估提供理论依据。实例验证该方法是有效性的,有利于工作流管理系统的实现。
- 金莹丁峰
- 关键词：工作流建模广义随机PETRI网马尔可夫链模型分析
