1) reachable marking graph
可达标识图
1.
In this paper,the definition and rule of transition firing are first put forward,then the functioning Principle and generating method of reachable marking graph are discussed.
首先给出了变迁可激发的定义及激发规则,然后讨论了T-时延离散Petri网的运行原理和可达标识图的构造方法,最后给出了两个性质。
2.
The paper gives a sufficient and necessary condition for judging if the schedules correspondent with2PL is deadlock by reachable marking graph of the model,and constructs Serializable de.
利用该模型的可达标识图,给出了判断满足两段锁协议的调度是否死锁的充分必要条件,并由此构造出并发事务的无死锁的可串行化调度。
2) reachable marked graph
可达标识图
1.
Based on constructing software architecture model by Petri net(PSA),can calculate the relative quantity of component effect via the reachable marked graph of Petri net and spend less time,and every ripple-effect of SA evolution caused by component deletion,addition,modification,division and combination is described respectively in this thesis.
在构造系统PSA模型的基础上,利用其可达标识图同样能分析软件架构演化中的构件删除、增加、修改以及合并与分解各种变化引起的波及效应,且算法直观、复杂度小;并为运用Petri网技术研究SA提供了一个新思路。
2.
The corresponding Petri net model is structured starting from N state of databse system at t moment, and then a reachable marked graph is structured in this paper.
本文从数据库系统在时刻 t的状态 N出发 ,构造出相应的 Petri网模型 ,进而构造出其可达标识图 。
3) reachable marking
可达标识
1.
Finally,the analysis and verification of the model are given by reachable marking and incidence matrix.
最后,用可达标识和关联矩阵对模型进行分析、验证。
2.
The solving method of critical path and reasonable execution scheme of a project is addressed by means of the Petri nets model and its reachable marking graph.
提出一种工程问题的Petri网模型及其构造方法,并且通过该Petri网模型及其可达标识图,给出了整个工程的关键路径和合理施工方案的求解方法。
4) extended compound marking reachability graphs
扩展的复合标识可达图
5) markings sequences
可达标识列
1.
Based on markings sequences, temporal properties and controllability of controlled Petri net are studied.
应用时态逻辑提出计时Ｐｅｔｒｉ网的形式化分析方法，基于可达标识列研究受控系统的时态特征及其可控性与控制不变性，给出控制逻辑存在的充要条件，提出了时态公式分解方法，并讨论了禁止状态避免问题。
6) marking reachability
标识可达性分析
补充资料：标识图
标识图
影像学术语。数字减影血管造影(DSA)中，计算机贮存并可随时显示的参考血管影像。标识图主要用于DSA导向的介入放射学操作中。计算机存贮介入性操作之前的兴趣结构血管造影影像，并根据需要显示在监视器屏上，用为在同一部位施行介入放射学操作的参考。较先进的设备不仅可提供静态的标识，而且可以提供显示血管充盈全过程的动态标识；不仅可提供单帧的标识，而且可在同一屏上显示多个(如16个)标识；不仅可提供标准位置的标识，而且可提供随操作中体位的变化而自动改变显示角度的自动标识。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条