共享合成Petri 网系统的活性保持性

讨论了能对资源共享问题进行建模的共享合成操作.重点研究共享合成Petri网系统的活性保持性,同时还讨论了在共享合成过程中系统的并发行为关系即并发语言关系.给出相应的语言关系式,它可用于判定合成系统的活性.进一步,给出了判定合成系统有活性的充分必要条件.最后,提出了合成系统保持子系统活性的条件.     

Petri网精细化操作及其在系统建模中的应用

为了解决“顾客投诉”等这一类业务处理问题,提出了用Petri网精细化操作解决问题的方案。用Petri网为系统建模。定义了两种子网,用这两种子网分别对Petri网中的的某些变迁或库所进行细化,得到更细致、更精确的Petri网。研究了Petri网精细化操作的性质保持问题,给出了这两种精细化操作保持状态机(SM)、标识图(MG)、自由选择网(FC)、非对称选择网(AC)、结构有界性、守恒性、可重复性、相容性和活性的充分条件。结果可为复杂大系统的分析提供重要手段,并特别适合于一类业务系统的描述和验证,具有一定的实用价值。     

Petri网共享子网合成活性分析

为解决子系统共享问题,提出了经由Petri网系统共享一种子网构成共享子网合成网的解决方案;给出了一种关于Petri网的从抽象化到精细化描述方法,它是使合成网保持原网性质的一种关键技术.研究了共享子网合成网的性质,提出了共享子网合成网保持有界性和活性的充分条件或充要条件;目前存在的合成方法大多对状态机、标识图或非对称选择网(AC)等进行合成,用于解决资源共享问题,而本文的方法可对一般的Petri网进行合成,解决子系统共享问题.本文的结果可为Petri网系统合成性质的考察提供有效途径,为Petri网复杂大系统的分析提供重要手段.     

论Petri网链路合成

提出了单链路的概念和链路合成网的概念;给出了自由选择网(FC),扩展自由选择网(EFC),强化非对称自由选择网(SAC),扩展强化非对称选择网(ESAC)和非对称选择网(AC)链路合成网为各自相应网的充分条件;提出了链路合成网保持结构活性的条件,按照条件对多个结构活的FC网,EFC网,SAC网,ESAC网,AC网以及一般的Petri网两两进行链路合成,最后可得到结构活的链路合成总网;链路合成的特色是合成条件容易判断,实用性强.研究结果可为Petri网系统合成的静态和动态性质的考察提供有效途径.     

Petri网系统合成操作的活性保持性研究

合成操作是Petri网系统建模中一种重要的自底向上建模方法,而在Petri网系统的合成过程中,保性性质是一个重要的研究问题.本文综述了我们对Petri网系统两种合成操作(共享合成、同步合成)活性保持性的研究工作.与以往研究不同,侧重从并发语言的角度讨论.定义了相应合成操作的路径并发合成运算,以此建立两种合成操作Petri网系统的并发语言关系式.这些语言关系式可用于判定相应合成操作Petri网系统的活性与无死锁性,同时给出合成的Petri网系统活性与无死锁性的充要条件.最后分别给出条件使得合成的Petri网系统有活性保持性质.     

同步合成Petri 网系统可回复性的保持性

着重研究同步合成操作中可回复性的保持性.讨论了在同步合成操作中系统间动态、并发的行为关系,即语言关系.提出一种基于最小可回复路径及它们并发合成的方法.进一步,给出了一个合成系统有可回复性的充分必要条件.此外,提出了在同步合成操作中有可回复性的条件.最后给出一些例子来说明所提出的方法在建模和分析大系统时的有效性.     

用于实现异步通信的一种模块化Petri网

在（TS）＊SM结构活性充要条件的基础上,首先找到一种构造活的初始标识的方法并证明它的正确性。在此基础上,考虑了使用请求/应答机制（Request/Response mechanism）进行通信的网系统子类Request/Response（TS）＊SM的正确性规范以及无死锁性条件,并将其推广到更大的子类Recursively Request/Response（TS）＊SM。