分享到:

论加权扩充自由选择网的活性与安全性(英文)

Place/ Transition net (P/ T net) [1] is a mathematical tool well suited for modelling and analyzing systemsexhibiting behaviors such as concurrency,conflict and causal dependency between events.However,the highdegree of complexity of the analysis limits the applicability of Petri nets to real- world problems.Thereachability graph of such systems is actually unmanageable,thus it is crucial to enforce the analysis powe...  (本文共8页) 阅读全文>>

《聊城师院学报(自然科学版)》1990年10期
聊城师院学报(自然科学版)

自由选择网的同步合成运算

Petri网可方便地用来对具有并发、异步、冲突等特性的系统进行建模和分析.但对复杂大系统的设计与分析,也是Petri网方法的一个困难.同步合成是考察复杂Petri网性质的有效途径.文献[1]指出了Petri网组合化研究的意义及其作为进一步研究的方向.文献[2]讨论了同步合成网的进程特性.文献[3]研究了S-组合Petri网的活性.文献[4]给出了确定有界FC网活性的多项式时间算法.这些工作对网合成和FC网的性质分析起到了一定的作用.然而,在实际应用中,对复杂大系统的Petri网建模和分析,一般采用组合化设计思想,即先对每个子系统建立Petri网模型,然后由各个子系统合成而得到复杂Petri网系统.因此,对合成网的性质研究,具有重要的应用价值.本文研究P/T网的主要子类-FC网(自由选择网)同步合成网的性质,给出了FC网同步合成网为FC网或AC网(非对称自由选择网)的两个充分必要条件.由于对FC网和AC网的性质分析比较成熟[4,5...  (本文共4页) 阅读全文>>

《聊城师院学报(自然科学版)》2000年01期
聊城师院学报(自然科学版)

自由选择网的共享合成运算

Petri网是研究并发系统的一个合适工具 ,但对复杂大系统的设计与分析时 ,Petri网的组合化设计思想一直为理论界和工程界所关注 .文献 [1]指出了 Petri网组合化研究的意义 ,文献 [2 ]给出了 P/ T网的几种运算 ,并讨论了运算对结构性质的保持关系 ,文献 [3]分析了 S-组合 Petri网的活性 ,并给出了实现组合网活性的控制装置 .这些工作无疑对网合成具有一定的作用 .然而 ,对一般 P/ T网系统的合成网性质分析比较因难 .于是 ,本文研究 P/ T网的重要子类 - FC网 (free choice nets)的共享合成运算及性质保持关系 .由于FC网的活性研究比较成熟 [4] ,AC网 (asymmetricchoice net)的活性研究 ,也逐渐完善 [5 ] ,本文指出 FC网的共享合成网必为 FC网或 AC网 ,因此 ,本文的结果可为 FC网系统合成运算的性质分析提依据 .1 基本概念和符号定义...  (本文共4页) 阅读全文>>

《计算机学报》2011年02期
计算机学报

Pi~+演算及其对Petri网的表达

1引言众所周知,Petri网[1-3]和Pi演算(π-calculus)[4-5]是两个很好的描写并行系统的形式化模型.随着面向服务的计算(SOC,SOA)和业务流程管理(BPM)技术的发展和广泛应用以及对软件可信性要求的提高,不少学者用它们作为服务组合和业务流程技术的理论基础[6-11].但是究竟哪个模型更合适、更好,存在着很大的争论[12-13].比较多的学者认为这两个模型各有所长各有所短,各有各的适用领域.这就引起学术界对它们表达能力(expressiveness)的探讨和研究,因为只有研究清楚了模型的表达能力,才能更准确地确定它们的适用范围.本文用对Petri网系统的表达来研究Pi演算模型的表达能力.首先严格定义了“表达”,并证明了Petri网的某些子类,如自由选择网等,可以直接用Pi演算表达.van der Aalst Wil曾向力主使用Pi演算的学者提出了7个挑战[13],其中第4个挑战就是具体给出了一个例子,问它是...  (本文共11页) 阅读全文>>

《系统工程理论与实践》2005年06期
系统工程理论与实践

论Petri网链路合成

开放实验室(MADIS)资助1 引言研究具有异步、并发特征的离散事件系统时,Petri网是一种合适的工具.Petri网的组合化设计思想一直为理论界和工程界所关注.但是,同其它分析方法一样,Petri网对于大系统的分析也是非常复杂的.一般来说,Petri网模型的描述能力越强,性质分析就越困难.一个规模不大的系统,可能会出现状态组合爆炸的危险,从而给分析带来困难.对于复杂Petri网系统的分析,可采用自下而上的系统分析方法,即首先对每个子系统建立相应的子Petri网,然后对子Petri网进行合成,得到系统的合成Petri网.通过对子Petri网的性能分析,来研究合成Petri网所具有的性质,因此,如何对子Petri网进行合成,才能使合成Petri网保持子网的性质是一个有重大研究价值的课题.许多学者在这方面做了大量的工作.将一组系统组合起来,通过执行共同的操作来达到同步的目的,这种方法早就被提出来了,今天在DES领域合成与控制已非常普...  (本文共8页) 阅读全文>>

《长春工业大学学报(自然科学版)》2006年02期
长春工业大学学报(自然科学版)

基于工作流网的过程模型的合理性分析

0引言工作流是针对工作中具有固定程序的常规活动而提出的一个概念。目前,已有很多工作流管理系统,如Staffware,COSA,ActionWorkflow等,除此之外,大多数ERP系统如SAP和Baan等也都把工作流引擎引入到自己的系统中。工作流系统日趋完善,但工作流管理系统几乎不支持任何形式的工作流分析。大多数工作流系统只提供正确性检查,如工作流图是否连通。因此,文中从...  (本文共3页) 阅读全文>>