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