基于面向对象技术与有色Petri网的FMS建模

在柔性制造系统建模中，结合应用面向对象技术和有色Ｐｅｔｒｉ网。提出了该建模方法在ＦＭＳ中的应用思路和步骤：运用思想将ＦＭＳ抽象化、对象化并从整体上规划对象间的信息交流，建立系统级信息Ｐｅｔｒｉ网模型；在此基础上，建立了对象内部行为的有色Ｐｅｔｒｉ网模型。     

用面向对象方法实现基于Petri网的FMS动态调度仿真

Ｐｅｔｒｉ网模型是ＦＭＳ动态仿真的有利工具。本文利用面向对象方法对ＦＭＳ和有色赋时Ｐｅｔｒｉ网进行了描述,并根据最小下次事件时间进原理,利用Ｖｉｓｕａｌ Ｃ＋＋建立了动态调度仿真系统。结果表明,面向对象方法具有表达直观,自然,可扩充性,实现容易,简便等优点。     

基于Petri网的并行任务规划器

本文具体讨论了基于Ｐｅｔｒｉ网理论的并行任务规划器的设计与实现，提出将Ｐｅｔｒｉ网结合人工智能技术构造出基于网的智能系统来描述计算机集成制造系统（ＣＩＭＳ）的思路．该并行任务规划器已在ＳＵＮＳＰＡＲＣ机器上用Ｃ语言实现，达到预期设计目的     

基于Petri网的PPCES冲突消解模型

针对困扰单件小批生产企业实施ＣＩＭＳ 工程的关键问题──大设备平衡问题,在ＰＰＣＥＳ原型系统基础上,将随机Ｐｅｔｒｉ网引入专家系统,提出了一种能够有效解决资源竞争和资源分配两种冲突的Ｐｅｔｒｉ网模型,实现冲突消解策略,以解决大设备平衡问题．系统经改进后,能有效地优化瓶颈环节的物流,使ＰＰＣＥＳ的推理效果和效率更能符合工厂实际生产要求．     

SIMAN在炼钢生产仿真中的应用

炼钢生产过程是一个典型的离散事件系统。本详细分析了该过程,并给出其四个主要子系统的Ｐｅｔｒｉ网模型,在此基础上,用ＳＩＭＡＮ语言对某炼钢厂进行了实例研究。     

SDL规范性能自动分析

重点阐述ＳＤＬ规范性能的自动分析。分两个步骤，首先将ＳＤＬ规范映射到等价的Ｐｅｔｒｉ网模型，再对Ｐｅｔｒｉ网模型进行分析（可达性分析和线性不变式分析）。分析工作与转换工作由工具ＳＤＬＰＮ自动完成。     

基于Petri网的系统可靠性分析

本文讨论用Ｐｅｔｒｉ网方法作为建模工具来描述单调关联故障树，并且考虑配置维修设备，可修系统的动态行为可以借且Ｐｅｔｒｉ网模型和等价的马尔可夫链进行研究。     

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

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

阻塞呼叫控制机理广义随机Petri网建模与分析

基于广义随机Ｐｅｔｒｉ网（ＧＳＰＮ）,对数字交换机面临过载时的一种阻塞呼叫控制机理进行了描述与分析,建立了其广义随机Ｐｅｔｒｉ网模型。通过对模型求解、构造可达图及同构Ｍａｒｋｏｖ链,推导出了这种控制试上系统性能的解析结果,给出了它们与控制严密程度之间的关系,从而为定量分析和评价数字交换机过载控制特性提供了依据。     

柔性制造系统的死锁避免控制

用一类扩展Ｐｅｔｒｉ网，以模块组合形式对柔性制造系统的制造过程进行建模．以此模型为基础，分析了制造过程中出现死锁的充要条件．并给出了避免死锁，对共享资源所采取的最小限制的控制方法