时间Petri网的分析工具PANT及其在调度问题中的应用

本文介绍了时间Ｐｅｔｒｉ网的分析工具ＰＡＮＴ．我们将首先探讨ＰＡＮＴ所处理Ｐｅｔｒｉ网的结构以及它所表现出的动态行为，并构造出相应的分析算法；其次，我们将通过求解并行计算的调度问题，探讨如何利用ＰＡＮＴ对时间Ｐｅｔｒｉ网的分析能力来解决应用问题．

基于广义随机Petri网的可视化建模与仿真工具

为了满足Petri网理论的应用研究的需要,首先给出了层次对象广义随机Petri网模型的定义,并运用面向对象方法设计和开发了基于层次对象广义随机Petri网的可视化建模和仿真工具软件,详细介绍了该软件工具的设计方法,包括功能结构图、网模型对象类图和符合可扩展标记语言规范的中性文件格式存储模型数据结构。最后通过实例说明了该工具应用的有效性。

基于Matlab的时间Petri网工具箱

要解决实际系统,尤其是大型复杂实时系统的建模、模拟、分析和验证等问题,友好、有效的工具支持是必不可少的。充分利用Matlab强大的矩阵运算和丰富的数据分析能力,研制基于Matlab平台的可视化时间Petri网分析工具箱,重点开发了工具箱的图形编辑、动态模拟、时间分析等功能,为时间Petri网分析工具的研制提供了一种有益的探索。

Internet上Petri网分析工具综述

Petri网是原联邦德国Carl Adam Petri博士在60年代初提出的研究信息系统及其相互关系的数学模型。经过三十多年的发展,已成为具有严密数学基础,多种抽象层次的通用网论,得到了广泛的应用。

基于对称三层架构的Petri网仿真工具开发

设计了一种Petri网建模工具。针对该工具的特点定义了一种新的分层体系结构——对称三层架构,采用该架构设计了该工具的体系结构和核心类;对该工具进行了验证。结果表明:通过该工具,可以以图形化的方式建立、分析和仿真Petri网模型。

AADL模型到广义随机Petri网的转换工具

为了便于对体系结构设计和分析语言AADL可靠性模型进行可靠性评估,实现AADL模型到广义随机Petri网模型(GSPN)可靠性计算模型的自动转换,依据AADL模型到GSPN模型的转换规则,设计并实现了集成在开源工具OSATE上的模型转换工具。实验表明:该文的转换工具可以将AADL可靠性模型自动转换为GSPN模型。

Petri网: 一种可视化建模支持工具

Ｐｅｔｒｉ网作为建模工具已有广泛的应用，本文把Ｐｅｔｒｉ网引入到决策支持系统之中，把它作为ＤＳＳ的可视化模型管理和建模支持的工具．文中讨论了基于Ｐｅｔｒｉ网的模型表示方法，研究了Ｐｅｔｒｉ网表示的模型的循环和连通问题。

模糊Petri网在筒子纱染色专家系统中的应用

如何提高筒子纱染色质量,对降低印染企业生产成本至关重要。根据筒子纱染色机染色工艺流程参数对最终染色质量影响效果的不确定性特点,结合筒子纱染色工艺流程图,找出对染色质量的影响因素,并运用模糊规则分析了这些影响因素之间的关系。然后利用模糊Petri网处理非确定性现象上的能力,提出基于模糊Petri网的筒子纱染色机染色效果的推理算法,将模糊Petri网(FPN)正向推理与专家系统知识表示方法相结合,从而达到筒子纱染色机专家控制系统知识的表示与获取目的。

PETRI网工具——GPNT的设计与实现

Petri网是描述和分析含有并行成分的系统动态特征的重要模型。随着Petri网理论研究的不断深入和在各实际领域的广泛应用,作为支持Petri网本身的设计与分析的计算机辅助工具的研究就显得十分重要。GPNT(Graphic Petri Net Tools)是西北大学计算机科学系研制的一个具有图形功能的Petri网工具软件,用于支持P/T网的设计、动态模拟及特性分析等。本文概要地介绍了该系统的功能并讨论了系统设计与实现中的若干技术问题。

基于染色Petri网的BGP连接过程模型

边界网关协议(BGP)缺少形式化分析,为此,根据RFC 1771,针对2个BGP路由器间连接建立过程,使用染色Petri网建立层级模型。通过交互式仿真观察所建模型行为和预期行为是否发生偏离。判定行为偏离发生的原因,修改模型直到偏离消失。求解模型的状态空间,并验证BGP连接过程的无死锁性和公平性。

基于本体与Petri网的智能工厂关键要素语义建模

针对当前我国缺乏国产智能工厂设计仿真及建模工具的问题,对智能工厂设计仿真过程中涉及到的关键要素语义建模方法进行了研究。在分析了智能工厂关键要素的语义建模需求和相互间的关联关系后,提出了一种利用本体技术与Petri网技术分别对智能工厂关键要素中的静态要素和动态要素进行语义建模的方法,给出了方法的框架和所构建关键要素的实例。最后,基于提出的方法,开发了一个智能工厂设计仿真软件原型系统的语义建模模块,可以实现人、机、料、法、环等静态要素和物料流、信息流、能量流等动态要素的语义建模及数据互通。

一种Petri网层次模型建模工具的设计与实现

为解决使用Petri网建模遇到的状态空间爆炸问题,提出使用层次模型,采用分层细化逐步求精的方法建立Petri网分层模型。设计并实现基于图形用户界面的普通边界为1的Petri网分层建模工具软件。用户在交互方式下建立Petri网层次模型,并可修改、删除、存储、分层平面化、简单功能模拟、导入和导出可复用Petri子网和将模型翻译为预定义的模型描述语言源程序。

一种扩展染色模糊故障Petri网的故障分析方法

针对传统故障诊断方法在模拟故障传播及诊断推理过程中存在不确定性等问题,提出一种基于扩展染色模糊故障Petri网的故障诊断分析方法;首先,在采用传统的Petri网模型描述系统故障状态的基础上,引入令牌、库所染色规则,并进一步结合模糊产生式规则与矩阵运算进行故障正反推理,提高模型的容错性;该模型正向推理采用变迁点火判别矩阵实现故障状态的智能评价,反映故障传播特性;逆向推理采用最小割集理论方法进行优先诊断,提供诊断次序,避免诊断的盲目性;最后以气源系统为典型应用对象,验证上述方法的有效性。

Petri网分析工具对一个通讯规程的验证

本文对ISO协议的传输层通讯规程在文献[1]验证的基础上,使用Petri网工具予以佐证。

CIMS软件开发工具──Petri网编辑器的语法分析及其实现

本文给出并发表达式语言的文法，并描述了Petri网编辑器的语法分析过程和中间代码的产生过程。解决了Petri网在计算机中的存贮结构问题，处理了可能会出现的重名变量，实现了从井发表达式语言到安全标号的Petri网的转换工作。

一种Petri网工具软件

本文在简单介绍Petri网的一般概念之后。论述了一种Petri网工具软件的基本功能、结构、使用特点及期限制条件。

基于染色Petri网的工作流引擎实现

工作流引擎是工作流管理系统的核心,主要负责流程定义解析、案例创建、流程过程调度、任务的执行等功能。文章用Petri网进行建模,并利用层次染色Petri网优化工作流模型,安排流程,描述同步事件。在本模型中,使用Token的颜色来控制流程实例对象的调度与运行。整个工作流引擎系统的目的在于通过利用触发对变迁的控制,实现流程之间的简单协同;同时也利用不同流程之间库所的约束规则,实现流程的协同功能。

基于Petri网的工作流建模与正确性分析

目前用于工作流建模和分析的工具很多,Petri网以其坚实的数学基础、直观的图形表示受到大家的青睐。本文介绍了如何使用WF-Net建立工作流模型,并根据Aalst给出的WF-Net正确性定义提出了一个算法,用来检查该WF-Net的正确性。

工作流主从实例处理方法及其Petri网建模

提出一种基于染色Petri网的解决方案,可以提高这种处理模式的灵活性,增强其处理功能。为了解决主从实例同步问题,提出了层次染色标记(token)的概念。还指出,这一方法对于描述和分析工作流系统中的并行处理也是很有效的。

一种基于面向对象 Petri 网的并发程序建模方法

介绍了一种基于面向对象Ｐｅｔｒｉ网的并发系统建模方法．该方法把面向对象技术与Ｐｅｔｒｉ网理论相结合，构成一种面向对象Ｐｅｔｒｉ网，可以解决用Ｐｅｔｒｉ网建立并发程序模型所遇到的状态爆炸问题，又使得建模系统具有可重用性且易于维护，是一种具有数学和图形方式相结合的形式化描述．