Study on Multi-agent Systems with Colored Petri Nets

The approach to model multi-agent systems with hierarchical colored Petri nets is introduced. In a multi-agent system, every agent is modeled with colored Petri net system, and the colored Petri net system of the multi-agent system is a hierarchical colored Petri net system, such that the agents planning deadlock detection and avoidance, can be analyzed with the Petri net system.     

冗余可修系统可用度的随机Petri网建模与分析

基于随机Ｐｅｔｒｉ网，提出了一种较为简单的计算冗余可修系统稳态可用度的方法．该方法由于利用了随机Ｐｅｔｒｉ网作工具来分析系统状态之间的转移过程，从而使过程清晰明了，鉴于Ｐｅｔｒｉ网模型，利用Ｍａｒｋｏｖ理论可方便地得到状态概率矩阵方程     

FMS运行控制软件调试环境排错功能的实现

FMS运行控制软件调试环境的主要职能是利用计算机模拟柔性制造系统环境．为FMS运行控制系统或单元控制器提供一种计算机辅助形式的调试和测试手段．其中，对FMS运行控制软件测试排错是FMS运控软件调试环境的基本功能之一。该文在Petri网（PN）理论基础上，在库所中引入结构，提出一种新的高级PN模型MPN（Macto Petri Net），这种模型对币同的FMS环境配置具有开放性．测试驱动下的运控指令序列转化为对应的MPN状态变迁，可应用PN理论实现对被测系统软件的测试排错。     

DSPN仿真器的设计及其冲突消解规则

末文给出了确定随机时间ＰＥＴＲＩ网（ＤＳＰＮ）仿真器的结构及其算法。对于ＰＥＴＲＩ网中的冲突问题给予定义,并给出了解决办法。最后给出了仪真器的基本流程图。     

一种基于GIS和Petri网的城市火灾扑救调度决策方法

在加色Petri网模型的基础上,利用GIS对空间信息的分析能力,通过设计建立着色标识及其发射规则,发展了一种新的城市火灾扑救调度决策方法.与前人工作相比,在确定火灾等级和消防力量需求时,能够更充分考虑火场环境信息;通过引入对实时交通流的分析,能同时给出最优调度路径的决策结果.对火灾案例的分析表明,该方法给出的决策方案更为全面合理.     

超空间上的几乎连续对应

在超空间上定义了几乎连续对应，并以拓扑空间中的开(闭)集，δ-开(闭)集和正则开(闭)集为基础得到了这种对应的若干等价条件，同时给出了集网与收敛网的应用。     

一种基于离散事件模型的柔性装配系统容错控制策略

深入研究了柔性装配系统中错误检测和自恢复的同步Petri网模型．通过将系统中的传感信息和状态持续时限建模为事件集，讨论了通过过程监控生成错误恢复子网的系统容错设计方法，并对具体的错误恢复子网实施的外部条件进行了讨论．试验表明，该方法有助于提高柔性装配系统的可靠性，并为柔性装配系统布置提供了相应的设计依据．     

基于Petri网的民事诉讼流程建模及评价

法院民事诉讼流程的建模和评价是实现其流程重组、优化和改进以及资源合理配置的基础。该文提出了采用形式化建模语言Petri网来建模法院当前的民事诉讼流程,从而可以利用Petri网分析方法(可达图、不变量)对民事诉讼流程进行正确性分析,如不存在死锁、活锁等。在此基础上,通过考虑流程中各活动的执行时间,应用随机时间Petri网对诉讼流程进行性能分析,从而可以估算诉讼流程的平均周期时间、各资源的利用率等性能指标,为法院诉讼流程的重组、优化和改进提供了决策上的支持。     

基于随机Petri网可修控制系统的可用度计算

提出了一种基于随机Ｐｅｔｒｉ网的可修控制系统的稳态可用度的计算方法。该方法利用随机Ｐｅｔｒｉ网作工具来分析系统的状态变化关系，从而得出相应的Ｍａｒｋｏｖ链状态转移图，再利用由此得来的状态概率矩阵方程求解，计算较为简单。     

一种新的软测量方法及其工业应用

软测量是一门新兴的工业技术，它通过数学模型计算得到工程上难以检测的变量值．本文提出了一种基于模糊神经网络的软测量新方法，运用模糊集合论的知识对非线性对象进行局部模型的划分，并采用趋化性网络进行建模和模型校正．经在某炼油厂精密精馏塔的推断控制系统中的应用，表明该方法能够比较精确地建立过程模型，有效地进行模型的在线校正，而且具有灵活、简明的特点．