含本征二级活变迁的Petri网剖析

对含有二级活而非三级活（ 即本征二级活） 变迁的Ｐｅｔｒｉ 网结构进行了深入的分析，并对含本征二级活子网的可重复网的结构进行了讨论。     

公平网的一个充分必要条件

文献[1—5]就有界(或结构有界)情形给出了公平网的充要条件及其他结论。本文对一般网(即去掉有界性限制的网)给出判断其是否为公平网的一个充分必要条件。首先,对一个网给出单个位置的结构有界性的定义,并证明了从一个网中删去那些不是结构有界的位置(连同它们所关联的弧)后所得到的子网是结构有界网;其次,证明了这个子网同原网有相同的公平性,从而,通过对此子网的公平性检验,可以判断原网的公平性。此结论可推广到分组公平网。     

一个基于时间petri网的多处理机静态调度的方法

讨论了把任务图转换成Petri网的方法,因为所得到的Petri网是出现网,所以可以通过添加辅助变迁把其转换为强连通T-图,通过求解极小s-不变量便可以找到原出现网的所有的变迁发生序列.最后利用计算结果把任务分配到处理机上.得到的多处理机的任务调度方法所需要的时间最短,处理机数最少.     

库所耦合网的T-不变量求解算法

首先定义了库所耦合网及相关概念,其次揭示了库所耦合网N中各个分支网的T-不变量同N的T-不变量之间的关系,然后给出了一个库所耦合网的T-不变量求解算法,最后将该算法实现并给出初步实验数据,以说明所提算法比现有算法节省计算时间和存储空间。     

基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.     

计算一类递归方程的增广Petri网模型

递归方程的计算一直是一个较为复杂的问题,为更好的解决这一问题,建立各种模型是十分必要的.斐波那契数列是一个著名的递归方程,在这个方程的基础上,针对同类的递归方程建立了增广Petri网模型,并对模型的运行进行了分析.     

可达性等价于状态方程可满足性的两个Petri-Nets子类

可达性是Petri网的一个基本性质,其判定问题是Petri网理论研究方面的一个重要课题.众所周知,一个Petri网的状态方程可满足性是其可达性的一个必要不充分条件.然而[2]证明了,对于活的T-系统,其状态方程可满足性是其可达性的一个充分必要条件.另外[3]指出,对于活的加权T-系统,这一点也成立.下面第1部分给出一种包含活T-系统的活Petri网子类,并证明其状态方程可满足性是其可达性的一个充分必要条件.特别地,第2部分提出另一种Petri网子类(可以是不活的),并证明其状态方程可满足性也是其可达性的一个充分必要条件.     

山东省建筑工程劳保费管理机构组网结构设计

介绍山东省建筑工程劳保费管理办公室组网的结构 ,对该机构Intranet的逻辑设计、结构设计和网络安全进行了说明。该网络各方面均达到了设计要求 ,为整个山东省建筑劳保办网络的发展和完善起到了积极的作用     

基于T-不变量的可重复向量的求解算法

研究了Petri网中T-不变量与可重复向量之间的关系,并基于此关系给出一个求解可重复向量的新方法。首先定义了变迁扩充网的概念,证明一个网的可重复向量与其变迁扩充网的T-不变量之间存在一一对应关系,从而将一个网可重复向量的求解转换为其变迁扩充网T-不变量的求解上。在此方法中,如果利用FM-算法去求解T-不变量,则某些求解的步骤可以省略,从而得到一个类似于FM-算法的算法来求解可重复向量。此算法能够求出一组可重复向量,而任一可重复向量都可被这组可重复向量非负有理系数线性表出。     

基于进程网系统的Petri网性质分析

Petri网的进程网系统是为了描述Petri网特别是无界Petri网的进程行为而提出的一个重要概念。一个Petri网的进程网系统是以其基本进程段的集合为新的变迁集，以各个基本进程段集的输入和输出库所集的并集为新的库所集，以原网系统的初始标识为初始标识而得到的一个新的网系统。本文在借助进程网系统的概念，讨论了一个Petri网同它的进程网系统在可达性、有界性、公平性、活性等方面的对应关系。