1) markings sequences
可达标识列
1.
Based on markings sequences, temporal properties and controllability of controlled Petri net are studied.
应用时态逻辑提出计时Ｐｅｔｒｉ网的形式化分析方法，基于可达标识列研究受控系统的时态特征及其可控性与控制不变性，给出控制逻辑存在的充要条件，提出了时态公式分解方法，并讨论了禁止状态避免问题。
2) 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网模型及其可达标识图,给出了整个工程的关键路径和合理施工方案的求解方法。
3) 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.
利用该模型的可达标识图,给出了判断满足两段锁协议的调度是否死锁的充分必要条件,并由此构造出并发事务的无死锁的可串行化调度。
4) 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网模型 ,进而构造出其可达标识图 。
5) marking reachability
标识可达性分析
6) extended compound marking reachability graphs
扩展的复合标识可达图
补充资料：邦达列夫，Ю.В.
苏联俄罗斯作家。生于职员家庭。卫国战争中当过炮兵指挥官。1944年加入共产党。1951年毕业于高尔基文学院。1949年开始发表作品，大多以卫国战争为题材。50年代写的战争题材作品,如《最后的炮轰》(1959),体现了新起的所谓"前线一代"作家专写"战壕真实"的创作倾向。长篇小说《寂静》(1962)及续集《两个人》(1964)写个人崇拜在人与人的关系上造成的恶果，曾引起文学界的争论。长篇小说《热的雪》(1969)描写1942年底苏军在斯大林格勒西南大草原阻击德国坦克部队的浴血奋战，被认为是"战壕真实"与"司令部真实"相结合的代表作。长篇小说《岸》（1975）写作家尼基丁于卫国战争末期进驻德国，同当地少女艾玛相恋，70年代出访西德时又同她重逢的故事，宣传通过"东西方缓和与共处"达到人类所期待的"永恒和平"的"幸福彼岸"。小说获1977年度苏联国家奖金。曾与库尔加诺夫等人合著以反法西斯战争为题材的大型电影剧本《解放》（1970，1972年获列宁奖金）。近作有描写第二次世界大战中苏军被俘人员在战后的遭遇的长篇小说《抉择》(1980)。现为苏联作协书记、俄罗斯联邦作协副主席。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条