结合XPDL(XML Process Definition Language)标准、对象技术和Petri网理论提出了一种工作流网。该工作流网通过Petri网的数学分析来完成对流程的分析验证;通过对象技术来降低流程建模复杂度;通过工作流网和XPDL的映射机制来保证其实用...结合XPDL(XML Process Definition Language)标准、对象技术和Petri网理论提出了一种工作流网。该工作流网通过Petri网的数学分析来完成对流程的分析验证;通过对象技术来降低流程建模复杂度;通过工作流网和XPDL的映射机制来保证其实用性。在此基础上实现了一套流程建模及分析工具。展开更多
采用了面向对象的Petri网(object-oriented Petri net,OPN)的方法来分析网络化制造环境下的供应链运作,这种方法采用计算机集成制造开放系统(CIMOS)的规则来模拟制造供应链的业务流程.通过这种模式下的供应链运作描述,以网络化制造技术...采用了面向对象的Petri网(object-oriented Petri net,OPN)的方法来分析网络化制造环境下的供应链运作,这种方法采用计算机集成制造开放系统(CIMOS)的规则来模拟制造供应链的业务流程.通过这种模式下的供应链运作描述,以网络化制造技术中心为支持,提出供应链运作模式;构建各参与对象OPN模型,获得系统P不变量,在此基础上分析系统的性能如死锁、溢出以及冲突等.以制造商为例的OCN的关联矩阵和P不变量分析,证明构建的模型具有良好的性能.展开更多
基金Supported by the National Natural Science Foundation of China under Grant Nos.60233010,60403014,60603034(国家自然科学基金)the National High-Tech Research and Development Plan of China under Grant Nos.2004AA112090,2005AA113160,2006AA01Z159,2006AA01Z177(国家高技术研究发展计划(863))the National Basic Research Program of China under Grant No.2002CB312002(国家重点基础研究发展计划(973))
文摘结合XPDL(XML Process Definition Language)标准、对象技术和Petri网理论提出了一种工作流网。该工作流网通过Petri网的数学分析来完成对流程的分析验证;通过对象技术来降低流程建模复杂度;通过工作流网和XPDL的映射机制来保证其实用性。在此基础上实现了一套流程建模及分析工具。
文摘采用了面向对象的Petri网(object-oriented Petri net,OPN)的方法来分析网络化制造环境下的供应链运作,这种方法采用计算机集成制造开放系统(CIMOS)的规则来模拟制造供应链的业务流程.通过这种模式下的供应链运作描述,以网络化制造技术中心为支持,提出供应链运作模式;构建各参与对象OPN模型,获得系统P不变量,在此基础上分析系统的性能如死锁、溢出以及冲突等.以制造商为例的OCN的关联矩阵和P不变量分析,证明构建的模型具有良好的性能.
