自由选择网相关论文
该文利用三种不同方法对Petri网行为特征,包括活性,有界性和家态,进行深入的研究,得到了一些新的,具有理论与实际应用价值的结果.......
汇合性质和家态是Petri网的两种重要的性质，它们在应用领域有着重要的作用和价值。然而在纯Petri网理论里，关于汇合性质和家态的系统......
定义了自由选择网ＦＣ网（ｆｒｅｅｃｈｏｉｃｅｎｅｔｓ）的同步合成运算，给出了ＦＣ网同步合成网为ＦＣ网或ＡＣ网（ａｓｙｍｍｅｔｒｉｃｃｈｏｉｃｅｎｅｔ）的两个充分必要条件．这些结果可为ＦＣ网系统合成的静态和动态特性考察提......
给出了自由选择网 FC(free choice nets)的共享合成运算 ,并研究了共享合成网的性质 ,这些结果可为 FC网系统合成的静态和动态特性......
本文针对多个企业共用一个加工厂加工某种产品这一类业务处理问题,提出了经由Petri网共享单链子网构成单链子网合成网的解决方案;......
文中定义了Petri网的一子类系列：κ-选择网，它形成一个后类包含前类的Petri网子类的无穷序列，证明了此无穷序列的并集等于Petri网类，自......
作为一种图形化和数学化的建摸工具，Petri网为系统分析和设计提供了便利。但Petri网网建模时通常要用Petri网的予类对模型做各种限......
为了更加有效地对Web服务组合进行分析验证，设计BPEL到PNML语言的文件转换规则，实现Web服务组合流程的Petri网建模。针对Web服务组合......
定义了自由选择网FC网（free choice nets)的同步合成运算，给出了FC网同步合成网为FC网或AC网（asymmetric choice net)的两上充分必要......
给出了自由选择网 FC(free choice nets)的共享合成运算 ,并研究了共享合成网的性质 ,这些结果可为 FC网系统合成的静态和动态特性......
工作流实例迁移是工作流演化研究中的一个重要问题。目前，大部分的工作流实例迁移策略是基于版本控制的，工作流实例不能及时迁移到新......
针对服务组合流程中可能存在的死锁及不正确流程,采用BPEL流程描述语言,设计服务组合流程Petri网（BPEL-PN）,在不破坏原网模型结构性......
