哲学家就餐问题的Petri网描述

本文讨论了用Ｐｅｔｒｉ网表示操作系统中的经典哲学家就餐问题的方法。     

基于AOTCPN的巡航导弹重瞄突现目标的时延仿真

为了验证巡航导弹武器控制系统的时间性能,提出了面向Agent赋时着色Petri网(AOTCPN)的体系结构仿真建模方法,以及由AUML(Agent统一建模语言)描述的静态的体系结构模型获取可执行的AOTCPN模型的转换方法.针对巡航导弹重新瞄准突现目标时的任务流程,通过运行AOTCPN模型对整个大闭环回路进行了时延仿真,验证了制导方案的可行性.     

关于条件期望的随机序和凸序

引入非负随机变量关于条件期望的随机序和凸序，讨论了序成立的充要条件，保序性及应用．     

变速连续 Petri 网的性质及运行分析

给出了一种变速连续 Petri 网的定义及主要性质 .详细阐述了其运行算法.在算法中主要考虑了对冲突的检测及处理.给出了一个示例，并通 过仿真得到了其运行情况.     

OOCPN在OOSD中的应用

引进了面向对象着色Ｐｅｔｒｉ网的概念，提出将其应用于面向对象的软件开发方法的过程中。     

基于Petri网密码系统的实现

研究了用Petri网对密码系统建模和分析 ,用在系统可编程逻辑器件实现Petri网的方法 ,这种密码系统的设计方法简单、直观 由于Petri能够对复杂系统进行建模和分析 ,因此 ,采用这一方法能够十分容易地构造出复杂的密码系统 ,并确保系统的安全、可靠 文中给出了几种密码系统的Petri网模型 ,并给出了硬件实现的实例     

流水线调度的Petri网分析

给出了一种基于时延Petri网的流水线建模方法,并对单功能流水线给出求最佳调度方案的算法,对多功能流水线以实例说明了其最仁佳调度方案求法。     

一种有约束最优投资随机微分方程的构建

以确定最优的消费和投资策略为手段,在满足金融投资者一段时间内所拥有资产效用最大时,构建一种考虑存在交易费用和投资组合约束、更接近实际的、具有明显经济理论意义的随机微分方程,得出其最优解等结论,并对之进行了论证研究。     

异地电源制造中的动态访问控制研究与应用

基于异地制造系统的信息流动特点,在传统的访问控制矩阵基础上,提出了一种基于Petri网工作流的动态访问控制策略,给出了其访问规则和矩阵形式,并以一个方案评审工作流系统为例,说明了该方法的应用.     

基于PPTL的着色Petri网的模型检测方法

为了提高着色Petri网的描述及验证能力,提出了一种基于投影命题时序逻辑的着色Petri网的模型检测方法。通过构建投影命题时序逻辑公式的否定形式等价的Buchi自动机,将它与着色Petri网的可达图相积,通过检测检测乘积图的可接受语言是否为空,从而判断用时序逻辑公式描述的系统性质是否满足。利用投影命题时序逻辑公式具有更强的表达力,可以有效地提高着色Petri网系统的描述及验证能力。