基于时延Petri网的移动电子支付协议模型

时延Petri网是在一般Petri网的基础上,在变迁上引入相应的时间函数,使其具有很强的描述能力与性能分析能力。针对移动电子支付中愈加严重的交易安全问题,通过对电子支付系统和移动电子支付流程的分析,发现移动电子商务SET协议存在漏洞,建立基于时延Petri网移动电子支付协议时延Petri网模型,为安全电子交易过程提供进一步的安全保障。     

基于Petri网的铁路联锁软件测评的道岔仿真建模

车站联锁软件一直有着严格的测试要求,仿真模块是测试的重要组成部分,Petri网作为形式化语言的一种,有着准确与完备的特点,对于安全苛求软件的测试尤为适合,该文提出了一种使用Petri网对联锁软件测试中仿真模块建模的方式,并分别给出了针对铁路道岔的基于基本Petri网和有色Petri网2个建模实例。该模型有助于提高测试系统的安全性与精确性。     

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

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

基于Petri网的联锁软件测评仿真建模

车站联锁软件一直有着严格的测试要求,仿真模块是软件测试的重要组成部分,Petri网作为形式化语言的一种,有着准确与完备的特点,对于联锁软件这类安全苛求软件的测试尤为适合,提出了一种使用Petri网对联锁软件测试中仿真模块建模的方式,并分别给出了用基本Petri网和有色Petri网的2个建模实例.该模型有助于提高铁路联锁软件测试系统的安全性与精确性.     

联锁逻辑模型的安全性分析

故障树分析法(FTA)用于静态分析系统失效的可能事件和状态,是分析安全苛求系统的可靠性和安全性的一种有效方法。时间Petri网(TPN)描述具有时序关系的并发系统,用于系统行为的动态建模。但利用时间Petri网无法严格证明其模型是安全的。提出了一种用于时间Petri网模型的安全性分析方法,该方法有效地结合故障树分析法和时间Petri网的各自优点,实际应用于联锁逻辑模型的安全性分析,并对不安全的模型提出修正方案。     

基于面向对象Petri网的模型驱动开发方法的研究

模型驱动开发是对象管理组织OMG(Object Management Group)所驱动的模型驱动体系架构(Model-Driven Architecture)的一部分。面向对象Petri网(OOPN)则是一种具有面向对象特征的、可形式化描述的可视化建模语言。本文提出了一种面向对象Petri网的基本定义,详细阐述了其面向对象特征以及如何将面向对象Petri网与面向对象程序设计语言Java的基本元素及元素间的关系相对应,基于这些对应关系提出一种基于面向对象Petri网的模型驱动开发方法。并简要介绍了使用该方法进行软件开发的基本步骤。     

正规语言闭包运算的Petri网构造方法

Petri网语言与Chomsky文法体系之间的关系已有了一些结论,已经证明正规语言是Petri网语言的一个子类。相关文献中给出了一种Petri网子类——恰当终结的标准Petri网,并且已经证明恰当终结的标准Petri网语言与正规语言的等价性。在此基础上,研究了正规表达式中Kleene闭包运算“*”的Petri网构造方法,分别给出了Kleene闭包运算“*”的ε-空标注和无ε-空标注Petri网模型的构造方法。该构造方法可由产生正规语言L的网模型直接得到产生正规语言L*的网模型。证明了对于恰当终结的标准Petri网,正规语言闭包运算“*”的构造是封闭的。     

基于Petri网超媒体模型的分析与比较

超媒体建模研究是当前一个重要研究方向。基于Petri网理论的模型是对有向图模型的改进,与其他模型比较,能够更好地刻画超媒体系统。原因如下:Petri网是一个二部有向图,适合于说明超媒体的链接机制;Petri网是一种天然的具有并行执行语义的自动机,模型可以自然地表达超媒体系统中的动态执行语义;Petri网能够说明各种顺序、并发和同步活动,满足描述多媒体表现的需要;利用Petri网的图形特性和严格的数学基础,人们可以检查和分析超媒体中的潜在问题。该文着重对四个典型的基于Petri网的超媒体模型:MHPN、HCPN、MORENA和HTSPN模型进行分析和比较。     

基于Petri网的项目审批建模分析

Petri网是一种适合于描述异步并发现象的系统模型,它既有严格的数学定义,又有直观的图形表示。工作流技术作为实现企事业工作过程的有效手段,广泛应用于各种场合。在应用中,关键是建立适合企事业工作过程的工作流模型。本文主要介绍了Petri网和工作流模型的理论,以及基于Petri网的工作流建模方法,并给出了项目审批应用实例。     

基于Petri网的新型墙材生产系统建模

新型墙材生产是一个生产时间连续、工艺路线单一的制造过程,具有产品种类较少、原料配方固定、加工控制严格等特点。本文研究Petri网中库所的时间因素和变迁速率,利用成熟的Petri网理论的描述手段建立新型墙材生产系统的Petri网模型,基于赋时库所Petri网模型获得系统最大生产速率。该模型有助于企业通过选择指标来协调生产,以达到理想的生产状态。     

基于矩阵方法的有界Petri网系统的能观性分析

Petri网和有限自动机是离散事件动态系统的两类主要研究内容.而Petri网系统的能观性分析与判别是基于Petri网的实际系统设计、优化、监测及控制的重要基础.以往关于Petri网能观测性的研究缺乏定量化的充要判别条件.本文利用代数矩阵方法研究了带有输出的有界Petri网系统的能观性问题.首先,基于矩阵的半张量积,将带有输出的有界Petri网系统的动态行为以线性方程组的形式建立了数学模型.然后,针对初始标识和当前标识,介绍了两种能观性定义.最后,基于矩阵运算建立了关于有界Petri网系统能观性的几个充分必要条件,并给出严格证明.数值算例验证了理论结果.本文提出的方法实现了有界Petri网系统能观性的矩阵运算,易于计算机实现.     

基于UML顺序图的Petri网建模

UML(统一建模语言)是一种功能较强的面向对象图形建模工具,但其过程描述中缺乏严格的语义,而Petri网不仅有形象直观的图形描述还有严格的数学定义。针对一个简单运输系统的建模将二者结合起来,阐述了UML类图、顺序图的Petri网建模转换方法,避免直接进行Petri网建模过程的烦琐,使建模过程清晰可见。     

着色Petri网在工作流建模中的应用

工作流建模是工作流管理系统进行工作流管理所必不可少的一个环节。而Petri网以其严格的数学基础、成熟的分析方法和工具而日益得到广泛的应用。本文介绍了着色Petri网在工作流建模中的作用，然后对一个具体的业务流程分别用经典Petri网和着色Petri网建立了过程模型并进行了比较。     

基于攻击树与Petri网的软件安全关注点建模

为了构建更加安全的软件,搭建软件开发人员和安全专家之间的桥梁,软件安全关注点的建模受到越来越多的关注。针对攻击树和Petri网各自的建模优势,提出基于攻击树的Petri网模型,旨在对软件安全关注点中的安全威胁进行建模,并利用面向方面Petri网对模型进行缓解和分析,为软件开发人员提供简单直观且便于自动化分析的模型。     

Petri网时间特性分析

为了进一步研究随机Petri网的时间特性,引入了时间Petri网、闭网、常返网、有环网、无环网等概念,证明了随机Petri网是时间特性网的充要条件是其闭网为常返网,并给出了判别一个网是否是时间特性网的数值方法。同时讨论了变迁发射时间特性,给出了发射时间密度公式。     

基于Petri网的PLC系统设计分析与远程监控

Petri网在离散事件的动态仿真中有着广泛的应用,而如何将Petri网应用到离散制造系统中具有重大的价值.以离散制造业中最常见的搬运机械手模型为基础,提出了它的Petri网模型设计方法,并且利用科学的转换方法将Petri网转化为梯形图,应用到在制造业中广泛使用的PLC系统中.利用这种设计方法,不仅能够轻松地将Petri网应用到实践当中,还能够对模型的死锁、生产周期和不变量进行定量的分析,给制造系统进行管理控制、故障诊断和现场监控带来方便.     

Towards a Programming Language for Interaction Nets

Interaction nets were introduced almost 15 years ago. Since then they have been put forward as both a graphical programming paradigm and as an intermediate language into which we can compile other languages. Whichever way we use interaction nets, a problem remains in that the language is very primitive. Drawing an analogy with functional programming, we have the λ-calculus but we are missing the functional programming language: syntactic sugar, language constructs, data-structures, etc. The purpose of this paper is to make a first step towards defining such a programming language for interaction nets.     

基于Petri网业务流程建模及到BPEL4WS的转换

BPEL语言是一种功能强大的描述业务流程的计算机可执行标准语言,在SOA（面向服务）架构中扮演着将服务串联成商业流程的灵魂角色。但是由于它的不够直观和代码冗长等缺点,BPEL不适合直接用于业务流程的抽象建模。因此研究其它抽象模型与BPEL间转换就相当有意义。在对Petri网和BPEL语言深入学习的基础上,定义了Petri网的若干部件及部件与BPEL的对应转换,然后提出了如何将业务流程Petri网模型转换成BPEL的算法,并用实例进行分析,验证该算法的有效性。     

Concurrent programming in VISO

Concurrent programming is more difficult to use and understand than sequential programming. In order to simplify this type of programming a number of approaches have been developed such as visual programming. Visual Occam (VISO) is a visual programming language for concurrent programming. It has a graphical syntax based on the language Occam and its semantics is represented both in petri net and process calculus. This paper presents a modular visual approach to write concurrent programs using the VISO language. Concurrent programs in VISO are specified graphically at different levels of abstraction. This paper describes this modular visual approach by constructing two examples in VISO. The first example is a simple concurrent program and it is mainly used to show the details of constructing a concurrent program in VISO. The second example is a larger concurrent program with more levels of abstraction. Copyright © 2000 John Wiley & Sons, Ltd.