共享合成相关论文
汇合性质和家态是Petri网的两种重要的性质,它们在应用领域有着重要的作用和价值。然而在纯Petri网理论里,关于汇合性质和家态的系统......
讨论了能对资源共享问题进行建模的共享合成操作.重点研究共享合成Petri网系统的活性保持性,同时还讨论了在共享合成过程中系统的......
给出了自由选择网 FC(free choice nets)的共享合成运算 ,并研究了共享合成网的性质 ,这些结果可为 FC网系统合成的静态和动态特性......
针对航空发动机作业并行交叉的特点,提出一种"自底向上"的柔性建模方法,着重描述异类对象作业工序对资源的占用与冲突.引入基于资......
利用模块化设计的思想,首先为分布式数据库系统中各事务的每一种操作(读锁、写锁、解锁)构造一个基本的加权Petri网模型,并给出了......
根据船舶吊装过程中所涉及的吊装网络约束、场地和设备约束,以及所用时间等信息,提出了一种基于共享合成时间Petri网的船台吊装过......
在Perri网系统合成操作的研究中,大系统的一些好性质,如活性、无死锁性的判定,是一个重要的研究内容.研究了Petri网系统的一种重要......
网格计算资源具有分布、异构、动态、自治等特点,一方面需要一个有效的资源调度方案,另一方面需要强有力的图形与数学工具对其进行......
通过引入Fork算子,建立了Petri网的一种新的合成操作-分享合成,分享合成操作与传统的共享合成操作相比更适合于描述信息系统的建模......
通过对现有网格计算资源调度方案的分析,提出了网格计算资源的三层调度方案,该方案与已有的方案相比,更能体现网格资源的特点。利......
若对于一个Petri网的任意两个可达标识,都存在一个标识是从这两个标识可达的,则称该Petri网具有汇合性质。汇合性质在研究Petri网......
Petri网同步合成与共享合成是复杂系统分析中两种重要的方法.为了适应更为复杂的系统分析需要,本文将同步合成与共享合成拓展为多......
组合Petri网的性质不变性对大型合成系统分析有着重要意义,从分析共享合成Petri网的结构性质入手,分析了它的活性性质,给出了它的......
证明活的标识S-图、活的标识T-图、有界的冲突无关的Petri网、有界的标识T.图具有汇合性质,讨论共享合成与同步合成操作对Petri网汇......
为了使Petri网技术能够应用于MPI并行程序的正确性和性能的验证,提出了Petri网共享合成运算构建MPI并行程序Petri网的算法。对分布......