多品种混合装配流水线规划的仿真方法

对多品种混合装配流水线的构成进行了分析，提出一种基于面向对象Petri网(OOPN)技术的布局规划仿真建模方法，并结合企业的实际应用需求开发了该系统的仿真软件。     

基于有限容量库所方法的死锁防止算法

针对变迁均可控、可观的推广Petri网,给出了一种防止死锁的算法.该算法基于将死锁防止问题转化为控制规范的迭代算法和将控制规范施加到被控对象上的有限容量库所方法.它相对于只能面向某一类网的死锁防止方法,在通用性上有了很大改进;而且设计的控制器是结构型的,在线计算少、执行快;不过由于是迭代算法,有时离线计算量较大.最后用一个示例说明了该算法,并进行了进一步的讨论.     

基于面向对象着色Petri网FMS仿真软件

基于面向对象着色Ｐｅｔｒｉ网模型,利用计算机仿真技术,开发了ＦＭＳ仿真软件。本文着重介绍软件的五大功能模块及其实现,并给出了仿真实例及结果     

一类离散事件系统的混合型控制器设计

给出了状态机的混合型控制器的设计方法,首先设计了禁止库所的增量观测器和状态观测器,根据观测器的标识给出了允许标识和临界允许标识的判据,然后利用这两个判据给出的计算最大允许控制的算法.一个例子对本文的结论做了说明.     

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

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

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

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

基于有色Petri网的安全协议安全性仿真

如何验证安全协议的安全性是一项非常重要的工作。提出了一种基于有色Petri网的安全协议形式化描述与安全性仿真验证方法。给出协议的有色Petri网模型,分析协议运行过程中可能出现的不安全状态,利用Petri网的状态可达性判断这些不安全状态是否可达从而验证协议的安全性。针对Diffie-Hellman协议给出了具体的仿真分析过程,证明了这种方法的有效性。     

工作流技术在办公自动化系统中的应用

工作流技术是办公自动化系统中提高综合办公能力的先进手段之一，本文结合我院实际情况，建立了基于工作流技术的OA系统模型，着重分析了在OA系统中工作流的管理环境，以及对发文工作流程进行petri网分析。     

煤矿综采工作面生产系统的Petri网分析方法

对煤矿综采工作面生产系统的可靠性用Petri网进行了分析，建立了系统的故障模型，在此基础上以煤矿综采工作面为例进行了建模，为综采工作面系统的可靠性分析提供了一种新的思路与方法。     

基于着色Petri网的电子商务工作流建模研究

工作流技术的核心内容就是工作流建模,但电子商务流程非常复杂,基本的Petri网往往因为细节过多而使其图形复杂,因此通过着色Petri网对电子商务系统工作流程进行建模和仿真.通过对电子商务系统的每一子流程进行建模,并利用仿真工具对模型进行分析和验证,结果表明应用着色Petri网建模可以规范其业务流程,提高其工作效率.