可达标识图相关论文
为了更好地利用信息技术来提高公共安全应急管理水平,基于广义随机Petri网对公共安全应急管理流程进行建模,得到模型的可达标识图......
活性是Petri网的基本的动态性质之一,在实际系统中,尤其在火箭控制系统、医学上的生命维护系统、核电站的安全系统等有关生命、财产......
Petri网适合于描述异步并发行为的系统。首先,Petri网直接展现并发系统的物理结构层次及资源状态的初始分布状况。其次,在Petri网引......
信息物理系统是一种融合了计算、通信和控制的高级嵌入式系统,其能耗分析方法是目前的热点研究问题。文中针对CPS的模块化架构与其......
提出一种基于行为表达式的品质分析方法,可以做任意分布的有界或无界随机Petri网的品质分析.该方法不仅拓广了分析范围,解决了文献[4]中没有解......
对事故预测分析Petri网模型中的事件、逻辑门表示及其模型构造进行了讨论;文中以一事故为例,对其petri网、petri网的可达标识图制作做了较为详细的介......
并发进程具有明显的异步并发性,而Petri网是描述异步并发系统的有效工具,但是目前将Petri网用于并发进程控制问题的研究还几乎没有。......
Petri网是一种系统描述和分析的工具。在构造系统PSA模型的基础上,利用其可达标识图同样能分析软件架构演化中的构件删除、增加、修......
对多主体系统进行准确的描述和分析是保证多主体系统顺利进行的关键因素之一。将主体的动作分为内部动作和外部动作,主体的内部动作......
Petri网是一种具有动态特性的建模工具,模糊Petri网是Petri网的一个重要分支,可以有效处理具有不精确的、不确定的复杂因素的系统模......
众多的电梯群控系统设计解决方案仅仅基于某一具体功能模块,少有整体系统设计.为此,本文使用Petri网建模工具给出了电梯群控系统的......
并发控制是多用户数据库管理系统(DBMS)的重要内容之一。该文对其形式化方法进行了研究,建立了符合两段锁协议的扩展有色Petri网模......
T-时延离散Petri网(TTDPN)常用来描述与时间有关的离散系统,因而研究其运行原理及性质是必要的。首先给出了变迁可激发的定义及激......
从数据库系统在时刻t的状态N出发,构造出相应的Petri网模型,进而构造出其可达标识图。通过分析可达标识图,可判断系统是否为死锁状态......
多处理器调度算法在嵌入式实时系统领域中起着关键的作用。根据多处理器的特点,提出一种实时多处理器动态分割并行调度算法SPara。......
加锁与可串行化是并发控制中采取的2个主要措施.两段锁协议(two-phase locking protocol,简称2PL)是解决可串行化调度较好的方法之一......
本文从数据库系统在时刻t的状态N出发,构造出相应的Petri网模型,进而构造出其可达标识图.通过分析可达标识图,可判断系统是否为死......
针对随机Petfi网建模设计与分析的复杂性问题,通过面向对象方法在Visualc++环境下利用MFC开发了可视化的随机Petri网建模和分析工具SP......
通过结合主机中心模型与可达标识图的特点,给出了一种基于主机中心模型和可达标识图的攻击图分析方法。该方法以主机为中心,计算出......
讨论在操作系统中研究的关于进程间通信(IPC)的一个著名的问题:睡眠的理发师问题。给出这个问题的Petri网模型和这个Petri网的可达标......