自由选择网相关论文
汇合性质和家态是Petri网的两种重要的性质，它们在应用领域有着重要的作用和价值。然而在纯Petri网理论里，关于汇合性质和家态的系统......
本文针对多个企业共用一个加工厂加工某种产品这一类业务处理问题,提出了经由Petri网共享单链子网构成单链子网合成网的解决方案;......
文中定义了Petri网的一子类系列：κ-选择网，它形成一个后类包含前类的Petri网子类的无穷序列，证明了此无穷序列的并集等于Petri网类，自......
作为一种图形化和数学化的建摸工具，Petri网为系统分析和设计提供了便利。但Petri网网建模时通常要用Petri网的予类对模型做各种限......
为了更加有效地对Web服务组合进行分析验证，设计BPEL到PNML语言的文件转换规则，实现Web服务组合流程的Petri网建模。针对Web服务组合......
工作流实例迁移是工作流演化研究中的一个重要问题。目前，大部分的工作流实例迁移策略是基于版本控制的，工作流实例不能及时迁移到新......
针对服务组合流程中可能存在的死锁及不正确流程,采用BPEL流程描述语言,设计服务组合流程Petri网（BPEL-PN）,在不破坏原网模型结构性......
