Petri网模型在MIS系统中的应用

管理信息系统是控制物质和信息的协调系统，利用Petri网和MIS的耦合性，Petri网模型可以使管理了解生产的细节和工作流程，更好地为管理服务。     

Petri网在MIS结构设计中的应用

在管理信息系统设计中，如何保证所设计的系统满足用户对其性能的要求，所采用的系统设计和分析方法起着非常重要的作用。因而，对管理信息系统的设计和分析方法的研究是非常重要和有益的。该文讨论了以时间Ｐｅｔｒｉ网为工具的管理信息系统结构设计方法，文中首先建立了管理信息系统的时间Ｐｅｔｒｉ网模型，然后以时间Ｐｅｔｒｉ网模型为基础，从系统工程的角度，对管理信息系统的结构进行设计，使所设计的系统结构满足用户对系统的实时性、经济性要求。     

离散事件系统的控Petri网模型中的冲突控制

本文研究了以受控Ｐｅｔｒｉ网为模型的一类离散事件系统的冲突控制问题，提出了一种综合冲突控制的方法。该方法首先把冲突问题转化为禁止状态问题。然后通过解决禁止状态的控制问题实现受控Ｐｅｔｒｉ网中的冲突控制，文中还给出了求解控制的有效算法。     

受控赋时Petri网在批处理系统建模中的应用

将受控赋时Ｐｅｔｒｉ网用于批处理生产过程中离散事件系统的建模,并通过为动作库所赋予不同的时间参数,对化工批处理过程中特有的零等、有限时间等待的中间存储策略进行建模和分析。控制库所的引入,可消除资源争用冲突．。     

离散事件系统的受控Petri网模型中的冲突控制

本文研究了以受控Ｐｅｔｒｉ网为模型的一类离散事件系统的冲突控制问题，提出了一种综合冲突控制的方法．该方法首先把冲突问题转化为禁止状态问题，然后通过解决禁止状态的控制问题实现受控Ｐｅｔｒｉ网中的冲突控制．文中还给出了求解控制的有效算法．     

基于Petri网的迁移工作流模型研究

利用扩充Petri网对迁移工作流进行抽象描述并建立模型，对Petri网的位置、转移、令牌等要素进行扩充描述，使扩充Petri模型能够体现迁移工作流的迁移特性；还分别对照迁移工作流和弱迁移工作流的广义点火规则进行描述。运用Petri网模型设计出一个迁移工作流实例，用以阐明Petri网模型的建模方法。其中着重说明（1）位置模型与实例中的停靠站和工作域之间的映射关系；（2）如何使工作域内各站点对于停靠站具有位置、功能透明性。     

MIS系统分析的实践与研究

木文根据作者近年来从事MIS开发的实践和体会,从系统工程的观点出发,提出了MIS系统分析的模型,介绍了目前被广泛应用于MIS系统分析中的工具,并就如何实现MIS系统分析支撑环境(MIS-SASE)提出了探索性的意见.     

Petri网在物流系统建模中的应用

Petri的动态、异步、并发等特征使其特别适合对离散事件系统进行建模与仿真,而其深奥的理论知识限制它的普及应用。本文力求用一种浅显易懂的方法将它用来描述物流系统模型,并在此基础上引入Pr/T系统描述方法,对复杂Petri网物流模型进行简化。     

反应式系统的并发模型（Ⅲ）——Petri网模型

基于文（２,３）,引入反应式系统形式化描述的另一种典型模型－Ｐｅｔｒｉ网,给出一些重要性质的Ｐｅｔｒｉ网描述,建立了它与文（２）的抽象计算模型之间的映射关系,最后指出Ｐｅｔｒｉ网的一些不足之处。     

无环Petri网的结构性质

无环Ｐｅｔｒｉ网的结构性质赵正义宋文忠（东南大学自动化研究所，南京２１００１８）无环Ｐｅｔｒｉ网是一类特殊的Ｐｅｔｒｉ网，在研究离散事件动态系统（ＤＥＤＳ）的控制问题时经常会遇到，如文［１］中的结构无竞争无环Ｐｅｔｒｉ网，文［２］中的广义树结构均属...     

CERNET的Petri网建模及性能指标评估

构造了ＣＥＲＮＥＴ的性能指标评估Ｐｅｔｒｉ网模型，并据现有的统计资料得出了模型的具体参数．提出了一种计数禁止弧的新概念，并给出了它的一系列基本性质．最后，通过对Ｐｅｔｒｉ网模型的求解，给出了未来中国教育科研网的几个重要的性能指标．通过对性能曲线的分析，可对网络的建设和完善提供重要的理论依据     

无回路规则系统的Petri网验证方法

构建了无回路规则系统的加标ω-Petri网模型，产生了相应的可达树，利用可达状态反映规则系统所包含的所有可达关系，并记录；提出了可达状态的反向推演森林及其算法，实现规则系统命题间可达路径的显式化．在此基础上，给出了规则系统错误的判定定理及其检测算法，实现了结构错误的有效判定和分析．     

Petri网的两类广义组合并网

Petri网运算和组合是合成复杂系统的有效方法,由此提出了Petri网的两类广义组合并网,讨论了保持网的可重复性,相容性,有界性和守恒性的条件,为Petri网对于大系统的分析提供了新途径。     

Petri网的块组合并网及性能分析

提出Petri网的两类块组合并网,讨论了保持网的结构性质的条件,这些结果对Petri网的合成和分析是非常有用的.     

基于Petri网的工作流技术在信息系统中的应用

以某汽车零配件供应商开发的产品数据管理系统PDM-flow为研究背景,分别介绍了基于工作流技术的信息系统的体系结构、各组成部分的实现方法、系统开发模式以及使用Petri网设计业务过程的一些经验。系统体系结构借鉴了国际工作流管理联盟的(WFMC)工作流参考模型,以工作流引擎系统JBPM为核心构件实现了工作流管理系统的各个组成部分,希望对工作流技术和Petri网技术的使用以及实现类似系统有一定的借鉴作用。     

基于Petri网的工作流技术在信息系统中的应用

以某汽车零配件供应商开发的产品数据管理系统PDM-flow为研究背景,分别介绍了基于工作流技术的信息系统的体系结构、各组成部分的实现方法、系统开发模式以及使用Petri网设计业务过程的一些经验。系统体系结构借鉴了国际工作流管理联盟的(WFMC)工作流参考模型,以工作流引擎系统JBPM为核心构件实现了工作流管理系统的各个组成部分,希望对工作流技术和Petri网技术的使用以及实现类似系统有一定的借鉴作用。     

带有不可控变迁的一般不等式约束的Petri网控制器综合

针对关于标识向量和Parikh向量的一般不等式约束的Petri网控制器实现问题,研究控制对象中存在不可控变迁情况下实现Petri网反馈控制器问题.首先利用Petri网的状态方程把关于标识向量和Parikh向量的不等式约束转变成关于Parikh向量的不等式约束,由于Petri网中不可控变迁的存在,故不能直接对给定不等式约束进行控制器设计,需要对不等式约束进行转换.提出一种新约束转换技术把不允许转变为允许不等式约束,然后设计Petri网反馈控制器.最后将该方法与Iordache等人提出的方法作比较,实验结果显示该方法更简单、更有效.     

弱引发三态加时变迁Petri网及其在并发系统中应用

提出的弱引发三态加时变迁Ｐｅｔｒｉ网能有效地建模分析一类具确定性时间与冲突结构并发系统;在并发意义下研究其动态行为及其特性,并把有关结果用于解决实时并发系统的逻辑特性验证及有限资源调度的优化问题     

DEDS控制理论模型──受控Petri网的网论语义

离散事件动态系统（ＤＥＤＳ）是复杂系统控制理论的一个重要学科分支。受控Ｐｅｔｒｉ网是控制理论界提出的一个ＤＥＤＳ模型。本文分析此模型的网论语义，以便把Ｐｅｔｒｉ网的研究方法和成果引入离散事件动态系统控制理论的研究。