公共文化服务平台

共 2 条记录，以下是 1-2

全选清除导出

排序方式：

BPEL到PNML文件转换框架的设计与实现被引量：1: 2013年; 针对Web服务组合流程的Petri网自动建模问题,以Web服务组合流程为研究对象,采用BPEL4WS作为Web服务组合流程描述语言,设计并实现一个BPEL文件到PNML(Petri Net Markup Language)文件的转换框架,自动实现Web服务组合的Petri网建模。该框架利用XSLT实现基于XML的BPEL文件到PNML文件的转换,转换结果导入到支持PNML的Petri网工具,自动完成Petri网建模。结合一个Web服务组合实例,验证该框架的有效性。; 刘士喜胡晓静; 关键词：WEB服务组合 PETRI网 BPEL4WS PNML

基于Petri网的流程模型中最小变化域的分析方法被引量：7: 2012年; 为了灵活适应市场业务需求变化,确定业务流程中的变化部分成为业务流程管理的核心问题。已有的研究都是建立在静态的分析基础上,通过给定的变化节点来搜索变化范围,具有一定的局限性。基于Petri网方法及行为轮廓思想对业务流程模型进行分析,从动态行为角度分别给出了寻找流程模型中的行为变化部分的方法,以及确定流程模型中最小变化域的分析方法。并给出一个具体的业务流程的实例,分析了该方法的有效性。; 郝文君方贤文; 关键词：PETRI网

全选清除导出

共1页<1>

国家自然科学基金(61170059)