| 1. | Liveness analysis of synthesis of petri nets shared subnet
网共享子网合成活性分析 |
| 2. | Liveness assertions state that certain events are guaranteed to occur eventually - for instance , that a given thread will eventually wake up instead of sleeping forever
生存断言声明保证最终发生某些事件例如，给定的线程将最终被唤醒，而不是永远休眠。 |
| 3. | Workflow model of object oriented timed petri net has many analyzing methods , which are used to analyze the nature of petri nets , such as liveness
基于面向对象赋时petri网的工作流模型具有多种分析手段，可以用来对petri网的性质进行分析，例如petri网的活性( liveness ) 。 |
| 4. | I would like to take this chance to review myself and my love - hate relationship with theatre and i hope that we can open up more possibilities of liveness and performance
跟许树宁和经纶的合作，我想， 《 （我）没有罪》不只是借题发挥，更是我希望透过不断的专注的实践，以向布莱希特致敬的创作计划。 |
| 5. | Secondly , this paper introduces a new subclass of petri net , named temporal petri net , to model the schemes of audit subsystems . therefore , we can analyze and verify the properties of system safety and liveness
第二，引用一种新的petri网子类? ?时序petri网，利用其对审计子系统的实现方案进行建模，进而对审计系统的安全性和活性进行了分析和验证。 |
| 6. | To help thwart these kinds of attacks , better biometric systems will factor in " liveness " measures like temperature and blood flow to try to gain assurance that the fingerprints are from a live human being actually touching the device
为帮助防止这类攻击，更好的生理系统将考虑“生命状态”度量（如体温和血流）以尝试确保指纹来自实际上触摸该设备的活人。 |
| 7. | The time petri nets which are discussed in this thesis are very simple and have the same modeling power as the turing machine , however , in general , there is just no comparison between the liveness , boundedness behaviors of a given time petri net and those of its corresponding classical petri net without time restrictions
本文研究的timepetrinet (简称为tpn )简单且模拟能力等价于图灵机，但tpn的活性、有界性和对应的传统petri网的相应性质并无对应关系。 |
| 8. | It is an extension of core of manna and pnueli " s pltl . in succession , a formal axiom deductive system is presented . it ' s soundness based formal semantic defined in this thesis is proved . as an example , we specify grc ( generalized railroad crossing ) , which is a benchmark problem for real time systems , and verify it ' s safety and liveness
作为它的一次实际应用，我们用它对于实时系统中的一个典型实例： grc ( generalizedrailroadcrossing )进行了描述，给出了它的系统规约，在此基础上，演绎式的证明了系统的一个安全性和活性命题。 |
| 9. | The liveness and boundedness are the most important properties of petri nets . these properties of classical petri nets mostly have had satisfying judging criteria , but the corresponding properties of petri nets with time factors are seldom studied , and a lot of literatures are focusing on concrete applications
活性和有界性是petri网中最重要的性质，对于传统petri网中的这些性质，大都已经得到了较为满意的判定结果，而对含时间因素的petri网的这些相应性质研究得很少，大部分文献都是侧重于具体的应用。 |
| 10. | In this paper , a structural methodology for bottom - up synthesis of petri nets for 1c flexible manufacturing systems is presented for the first time . with the help of a guarantying policy of liveness , a live , bounded and reversible final model can be obtained by merging different submodels through what is called autonomy subnet sharing among them . to demonstrate the application of the method , a flexible manufacturing system of integrated circuits is modeled and analyzed using the proposed theory
本文首次提出了一种面向集成电路柔性制造系统的基于共享“自治子网”融合和活性保证策略的“至底向上”的petri网结构化建模方法，在理论上证明了该方法保证所得模型的活性、有界性和可逆性，并且利用该方法与着色petri网结合，对一个集成电路柔性制造系统进行了全面的建模和分析。 |
