可达标识图相关论文
活性是Petri网的基本的动态性质之一，在实际系统中，尤其在火箭控制系统、医学上的生命维护系统、核电站的安全系统等有关生命、财产......
Petri网适合于描述异步并发行为的系统。首先，Petri网直接展现并发系统的物理结构层次及资源状态的初始分布状况。其次，在Petri网引......
Petri网是一种系统描述和分析的工具。在构造系统PSA模型的基础上，利用其可达标识图同样能分析软件架构演化中的构件删除、增加、修......
对多主体系统进行准确的描述和分析是保证多主体系统顺利进行的关键因素之一。将主体的动作分为内部动作和外部动作，主体的内部动作......
Petri网是一种具有动态特性的建模工具，模糊Petri网是Petri网的一个重要分支，可以有效处理具有不精确的、不确定的复杂因素的系统模......
众多的电梯群控系统设计解决方案仅仅基于某一具体功能模块,少有整体系统设计.为此,本文使用Petri网建模工具给出了电梯群控系统的......
并发控制是多用户数据库管理系统(DBMS)的重要内容之一。该文对其形式化方法进行了研究，建立了符合两段锁协议的扩展有色Petri网模......
T-时延离散Petri网(TTDPN)常用来描述与时间有关的离散系统,因而研究其运行原理及性质是必要的。首先给出了变迁可激发的定义及激......
从数据库系统在时刻t的状态N出发，构造出相应的Petri网模型，进而构造出其可达标识图。通过分析可达标识图，可判断系统是否为死锁状态......
多处理器调度算法在嵌入式实时系统领域中起着关键的作用。根据多处理器的特点,提出一种实时多处理器动态分割并行调度算法SPara。......
本文从数据库系统在时刻t的状态N出发,构造出相应的Petri网模型,进而构造出其可达标识图.通过分析可达标识图,可判断系统是否为死......
针对随机Petfi网建模设计与分析的复杂性问题，通过面向对象方法在Visualc＋＋环境下利用MFC开发了可视化的随机Petri网建模和分析工具SP......
通过结合主机中心模型与可达标识图的特点,给出了一种基于主机中心模型和可达标识图的攻击图分析方法。该方法以主机为中心,计算出......
讨论在操作系统中研究的关于进程间通信（IPC）的一个著名的问题：睡眠的理发师问题。给出这个问题的Petri网模型和这个Petri网的可达标......
