有色Petri网的一种面向对象扩展形式

Ｐｅｔｒｉ网与面向对象的结合一直是一个令人感兴趣的研究课题。本文把有色Ｐｅｔｒｉ网引入到面向对象方法中,提出了一种面向对象的扩展有色Ｐｅｔｒｉ网,简称为ＯＥＣＰＮ,     

一类区段赋时弧有色Petri网的可达性和可阻断性分析

为了描述和分析实际复杂产时系统,提出了一种新的时间限制Ｐｅｒｔｉ网模型,区段赋时弧有色Ｒｅｔｒｉ网模型。这种Ｐｅｔｒｉ网在有色Ｐｅｔｒｉ网的库所输出弧上标注以输入库所的颜色为自变量的时间区间函数,基于一种充分考虑了系统时间不确定性的激发规划,给我段赋时弧有色Ｐｅｔｒｉ网的发生元序列的时间界估计,并以此为依据,提出了基于状态类的可达性分析方法和可阻断性分析方法。     

时间约束Petri 网的可调度性分析方法研究

在系统地研究了时间约束Ｐｅｔｒｉ网的基础上,提出了一般的状态可达性分析方法。通过讨论任意拓扑结构ＴＣＰＮ′ｓ的可调度分析,克服了以往ＴＣＰＮ′ｓ可达性分析方法的局限性,显示了该方法的准确性和实用性。     

可修级联生产线的随机Petri网模型及计算机模拟

带缓冲库的可修级联生产线是一类复杂的离散事件动态系统，在用马尔可夫链（ＭＣｓ）方法分析时，随着生产阶数的增加存在状态组合爆炸问题。为此，本文应用随机Ｐｅｔｒｉ网理论，建立了一般可修级联生产线的的随机Ｐｅｔｒｉ网模型。编写了相应的仿真软件，并通过该软件对一６阶生产系统进行计算机模拟，求得了系统的各项指标。     

超媒体同步模型研究

本文以Ｄｘｔｅｒ超文本参考模型为标准,吸收了Ａｍｓｔｅｒｄａｍ超媒体和Ｔｒｅｌｌｉｓ模型的优点,将所提出的分布多媒体同步Ｐｅｔｒｉ网模型扩展到超媒体,即提出一种分布超媒体同步Ｐｅｔｒｉ网模型。该模型可较好地解决分布超媒体系统中超链、对象同步和用户交互三个关键问题。     

基于资源配置混杂Petri网的混杂系统生产过程建模

为了增强混杂Ｐｅｔｒｉ网解决资源共享和资源冲突的能力,定义一种新的混杂Ｐｅｔｒｉ网模型———资源配置混杂Ｐｅｔｒｉ网,提出了相应的使能和激发规则．将对连续变迁和离散变迁的控制作用引入混杂Ｐｅｔｒｉ网,同时,增加了资源配置变迁和资源释放变迁,用于有效分配可重复利用的资源．以典型的混杂生产过程为例,研究混杂系统生产过程建模．研究结果表明,所定义的模型描述能力强,模型语义正确合理,能够有效描述和分析混杂系统生产过程．     

一类混杂系统的广义Petri网模型

提出一种含有变形连续时不变系统状态方程的广义Ｐｅｔｒｉ网，并用它为一类混杂系统建模：宏观为Ｐｅｔｒｉ网；微观为变形的线性时不变状态方程．同时研究了所提出的混合状态的演变规则、运行轨迹和状态方程．     

基于Petri网的图标编程系统设计与实现

为了描述图标间的相互作用和它们的动态行为,作者提出了一个基于Ｐｅｔｒｉ网的图标编程系统．本文讨论了组成该系统各成分的功能,并设计了网络分析图的生成算法．通过实例说明了系统工作过程和Ｐｅｔｒｉ网理论在可视化程序设计中的重要作用．     

基于Petri网超媒体模型研究

在分析当前超媒体形式化模型特点的基础上,本文提出了一个全新的模型－ＣＰＮＨ,它基于有色Ｐｅｔｒｉ网,具有刻画分布超媒体主要性质的能力,与其他模型相比该模型能够有效解决并发浏览、存到控制和版本总理２,而且有力刻画了分布环境下多媒体的动态特性文中着重给出了ＣＰＮＨ模型的形式化定义并举例说明。     

MPP系统模型化的广义随机Petri网技术

本文提出一种模型化海量并行处理（ＭＰＰ）系统的广义随机Ｐｅｔｒｉ网技术ＧＳＰＮ。首先，通过外延优先权标记Ｐｅｔｒｉ网，提出了ＧＳＰＮ的定义、时序规范、变迁激光规则和计算公式。然后，讨论使用ＧＳＰＮ模型化ＭＰＰ系统的技术途径和实现方案，分别阐述了ＧＳＰＮ形式化描述共享存储器方式和信息传递方式ＭＰＰ系统的有效怀，并给出了实例。此外，我们还分析和提出了ＣＳＰ（通信顺序进程）理论中主要进程与Ｐｅｔｒｉ网之     

一种扩展了价格信息的着色Petri网及其应用

基于实际业务流程建模中成本预算分析的需要，在着色网的基础上扩展了价格信息，提出了价格着色网。讨论了价格着色网的变迁规则，并以一个业务流程实例介绍了价格着色网的分析技术及其应用，实验结果表明着色网扩展价格信息是可行的而且是有效的。     

基于有色Petri网的一种密码协议的描述和分析

Petri网作为一种数学工具,已被广泛应用于过程的描述、分析和验证。文章使用有色Petri网对文献[1]中提到的一种密码协议进行描述和分析,发现并验证该协议的安全缺陷。     

有色Petri网的一种密码协议建模分析

密码协议是任何安全系统的基础,对它的设计越来越受到广大用户的关注.本文详细论述了文献[1]提到的一种密码协议,并使用有色Petri网对该协议建模分析,说明该设计的正确性.     

一种基于Petri网通信协议的分析和验证

基于一个PDA项目,介绍了自行设计的利用固定电话网进行信息传输的一套通信协议。用Petri网抽象描述了一系列代表性链路层协议模型,并借助Petri网模拟工具对模型进行修正和改进,得到可实际工程应用的协议模型。     

电力系统结线分析的有色Petri网方法

从离散事件动态系统角度考虑电力系统结线分析问题,提出了基本分析单元的有色Petri网模型以及基于该Petri网的结线分析算法,Petri网中的令牌代表结线分析中的结点,令牌的颜色表示连接在同一个结点上的元件,变迁将包含相同元件的结点连接在一起,论文对基于Petri网的结线分析算法及传统的算法进行了比较,并计算了一个模型系统各变电站的结点及网络的结线,表明了该方法的可行性及有效性。     

改进的最小割集生成算法与联锁系统模型的安全性测试*

为保证铁路联锁模型的安全性,在故障分析法的基础上提出一种新的用Petri网来建立故障树的方法,动态地描述铁路联锁系统的安全性需求,并根据Petri网安全需求模型的可达标志图,提出一种能自动生成最小割集的算法。根据算法生成的最小割集,设计了一个联锁安全检测器,用于检测和控制联锁系统模型处于安全状态。最后用CPN工具对所建立的联锁系统模型进行仿真,仿真结果表明联锁安全检测器能够保证模型的安全性。     

基于Petri网的安全电子交易协议描述与分析

对密码协议模型进行了分析，引入时延Petri网分析工具，建立了一种新的安全电子交易协议的形式描述工具。利用该分析工具对安全电子交易协议中的支付部分进行了形式描述，并分析了它的安全等问题。     

Analysis of railway stations by means of interval timed coloured Petri nets

In this paperinterval timed coloured Petri nets ((van der Aalst, 1993)) are used to model and analyse railway stations. We will show that this approach can be used to evaluate both station operating schedules and the infrastructure of a station.An interval timed coloured Petri net (ITCPN) is a coloured Petri net extended with time; time is in tokens and transitions determine a delay for each produced token. This delay is specified by an upper and lower bound, i.e. an interval. The ITCPN model allows for the modelling of the dynamic behaviour of large and complex systems, without loosing the possibility of formal analysis. In addition to the existing analysis techniques for coloured Petri nets, we use a new analysis method to analyse the temporal behaviour of the net. This method constructs a reduced reachability graph and exploits the fact that delays are described by an interval. We will also discuss other (Petri net based) methods that can be used to analyse railway stations.By order of and in co-operation with the Dutch Railway Company (NS), Department of Traffic Development.