应用于PLC控制程序的Petri网执行模型

在现有的工业控制系统中经常使用PLC实现顺序控制、定时等功能.控制程序经常需要执行同步操作且输入开关量的触发时机具有不确定性,因此无法充分描述真实的执行过程.为此提出下述解决方法:首先在控制程序的编译阶段,使用Petri网建立网模型以表示程序执行逻辑,其次在控制程序的执行阶段,根据程序真实执行状况动态运行上述网模型,当程序运行结束时网模型停止执行,由此判断程序中存在的逻辑错误.

基于极小T-不变量增加的Petri网可达性分析

Petri网是一种图形化和数学化的建模工具，具有描述同步、并发、冲突等行为的能力，已经在工作流管理、软件工程、协议验证等众多领域得到了应用。 可达性是描述Petri网状态和行为的一种重要而有效的手段。对于一般Petri网的可达性问题所具有的时间复杂度至少是指数级的。为了简化可达性分析，我们提出了一种基于T-不变量增加的Petri网的可达性分析方法。 对于一类含T-不变量的Petri网，基于T-不变量增加的Petri网的可达性分析过程如下：首先，通过定义一个Petri网的b-路线性约束问题，即对网的状态方程加以适当的约束，求得一组特征解向量。b-路线性约束问题对Petri网的状态方程的解进行了约束，这一过程的作用是将状态方程的无穷解空间缩小为一个有限的解空间，并且这个有限解空间中的每一个特征解向量的分量和不超过 ( 为给定网的变迁个数)；其次，如果求得的特征解向量使得初始状态到目标状态可达，那么可达性问题就可解决，如果不能使得初始状态到目标状态可达，那么在特征解向量的基础上适当添加整数倍极小T-不变量使得这个添加后的特征解向量形式上可达。这个过程需要运用扩展极小T-不变量关系图和扩展借矩阵，并且保证添加极小T-不变量后的特征解向量的分量小于 （我们称满足这个条件的可达为b-路可达），然后再判断这个添加极小T-不变量后的特征解向量的可达性。该方法的优点在于判断的变迁向量较短，从而在一定程度上简化可达性分析的过程。

基于极小T-不变量增加的Petri网可达性分析

Petri网是一种图形化和数学化的建模工具，具有描述同步、并发、冲突等行为的能力，已经在工作流管理、软件工程、协议验证等众多领域得到了应用。 可达性是描述Petri网状态和行为的一种重要而有效的手段。对于一般Petri网的可达性问题所具有的时间复杂度至少是指数级的。为了简化可达性分析，我们提出了一种基于T-不变量增加的Petri网的可达性分析方法。 对于一类含T-不变量的Petri网，基于T-不变量增加的Petri网的可达性分析过程如下：首先，通过定义一个Petri网的b-路线性约束问题，即对网的状态方程加以适当的约束，求得一组特征解向量。b-路线性约束问题对Petri网的状态方程的解进行了约束，这一过程的作用是将状态方程的无穷解空间缩小为一个有限的解空间，并且这个有限解空间中的每一个特征解向量的分量和不超过 ( 为给定网的变迁个数)；其次，如果求得的特征解向量使得初始状态到目标状态可达，那么可达性问题就可解决，如果不能使得初始状态到目标状态可达，那么在特征解向量的基础上适当添加整数倍极小T-不变量使得这个添加后的特征解向量形式上可达。这个过程需要运用扩展极小T-不变量关系图和扩展借矩阵，并且保证添加极小T-不变量后的特征解向量的分量小于 （我们称满足这个条件的可达为b-路可达），然后再判断这个添加极小T-不变量后的特征解向量的可达性。该方法的优点在于判断的变迁向量较短，从而在一定程度上简化可达性分析的过程。

Petri网可达性的综合判定法

Petri网标识的可达性判定问题是进行Petri网分析的基础,而传统的判定方法并不能确保所得结果的可靠性.在揭示Petri网可达性问题的实质之后,讨论了在标识图的同一连通域内标识可达性的判定问题,进而在分析相关原理的基础上提出了一种有效判定Petri网标识可达性的综合判定法.此判定方法综合多种传统判定方法的优点,结合Gr鯾ner基理论,确保了对Petri网标识可达性进行判定所得结果的可靠性.

基于Petri网的Web服务流程建模方法研究

随着网络应用的蓬勃发展,Web服务越来越普及。在实际应用中,往往需要对已有Web服务进行集成。目前通常的企业Web服务集成过程,都是先根据企业的业务流程建立相应的Web服务流程模型,再由此建立应用系统。而目前已有的建模手段的共同问题是：无法确保模型的正确性和与具体业务的紧密吻合。该文提出一种基于Petri网的Web服务流程建模方法。该建模方法通过将Petri网引入建模过程弥补了原建模过程中无法直观感受模型的不足,通过建立一套完备的形式化定义保证了建立模型的正确性,通过将紧同步随机Petri网引入建模过程可以更好的描述实际业务。通过使用该方法, 可以很好地解决现在Web流程建模过程中存在的问题。此方法也为其他领域中的流程建模仿真提供了一种很好的解决问题的方法和思路。

基于有色Petri网的Web服务组合建模与分析

形式化定义了Web服务组合过程中的5种基本逻辑结构,并采用有色Petri网表示,然后将其抽象为服务的代数运算;在此基础上,提出了经过服务运算后得到的服务的性质及组合服务的构造方法;最后通过实例分析,说明该建模方法可以保证组合的服务是正确且可终止的。