在Petri网的验证中,代数不变式起着非常重要的作用。将Petri网建模为半代数变迁系统,提出了自动生成不变式的算法,该不变式有助于更好地分析Petri网可达空间。算法首先将Petri网的不变式假定为
为了向用户推荐结构相似且时间效率较高的流程,提出了一种基于流程中活动发生的概率和时间的流程推荐方法。定义了一个模型PTN(probabilistictimePetrinet)来表示流程,改进了一个现有
基于Petri网的Web服务组合综述,孙忠海,王振武,目前的Web服务组合的研究得到了学术界和工业界的广泛关注,提出了很多的Web服务组合方法。本文给出了Petri网的有关基础知识和有关概�
讨论了最大速度恒定连续Petri网(CCPN)的分解方法以及如何通过子网分析得到原网的性质。首先给出基于库所归属的分解方法,实现了CCPN的分解。为了保证通过子网分析原网的正确性,对合成网的动态不变性
基于NCES功能块和对象赋时Petri网的自动制造系统建模方法,黄波,江荣喜,为了有效表示自动制造系统中的资源对象及其之间的关系,以及系统的离散事件动态特征,采用网络条件/事件系统(NCES)模型,并
针对跨组织协同环境下的业务流程建模技术的不足,提出了一个新的用于跨组织业务流程的形式化建模方法。首先根据工作流管理联盟(WfMC)的有关工作流过程定义接口规范,利用PiCalculus技术对跨组织业
论文研究-物流系统三色Petri网建模与分析.pdf,
针对物流系统的一些特点,提出了一种三色Petri网.给出了三色P
基于网格服务的工作流协同模型研究,郭方亮,,本文分析了工作流系统之间由于系统异构性而无法进行协同工作的问题,采用网格技术,设计了一种基于网格服务的工作流协同工作模型
为了从工作流日志中挖掘组织结构设置和执行者之间的交互信息,分析了工作流日志中的活动执行者的信息,并引入多种距离公制用以刻画日志中活动执行者间的各种关系度的强弱,提出了组织结构的三种挖掘方法,即默认挖掘
为了挖掘工作流日志中的决策规则信息,分析了工作流日志中的数据属性如何影响工作流实例的路径选择。基于算法挖掘工作流日志过程模型,对过程模型中的决策点进行分析,通过决策树分析技术结合工作流日志中的数据属性