Liveness相关论文
为了提高智能小车系统的稳定性和可靠性,采用Petri网积木描述系统各功能模块,即地图更新、路径规划、节点检测、路径选择、跟踪轨......
This paper proposes a new method of specifying multimedia synchronization basedon Duration Calculus (DC), a real time in......
Petri net is a kind of effective graphic modeling tool. The agent technology is combined with petri net in order to enha......
利用Petri网结构理论与对偶性,在非对称选择网(AC)中找到了一个子类:新扩展强化非对称选择网(NESAC).它包含了强化非对称选择网(SA......
自控网系统是Petri网系统的一个子类，与P／T系统以及基本网系统相比较，具有更强的描述能力和建模能力。文章以自控网系统为基础，定义了......
网络环境下的分布式系统是典型的并发系统。安全性和活性是并发系统最为关注和需要保证的两个主要性质。然而在并发系统建模和形式......
提出了保证认证协议安全性的2个条件：主体的活现性和会话密钥的保密性、新鲜性和关联性，并形式化证明了2个条件满足基于不可区分性的......
Petri网的应用越来越广泛,对其理论的研究也进一步深入,文[1]～[3]对Petri网的加法、笛积、广义笛积和并运算进行了一系列讨论,得到......
针对柔性制造系统的验证问题，提出了用Petri网化简操作解决问题的方案。给出了两种化简操作。研究了这两种化简操作的动态性质保持......
活性和有界性是Petri网最重要的性质，对于传统Petri网的这些性质，国内外学者作过大量的研究工作，并且得到了不少成果，而对含时间因素的......
针对柔性制造系统的设计和分析，提出了经由Petri网共享子网构成合成网的解决方案；研究了Petri网共享子网合成的动态性质保持问题，给出......
针对工厂用车间中的若干台机器加工某些部件等这一类业务处理问题，提出了用Petri网精细化操作解决问题的方案。定义了一种PP型子网，......
在一个网系统中，如果每个库所中的标志数都等于0，则说这个网系统中的标识是一个空标识。文[1]通过例子指出空标识可以是一个网系统的......
具有多资源需求和柔性加工路径的顺序资源分配系统（Sequential Resource Allocation Systems with MultipleResource Acquisitions ......
软件系统的活性和安全性是判断软件可演化性的重要依据之一。现有方法多使用经典逻辑对系统的活性和安全性进行刻画。环境及涉众的......
将Patrick Maier关于直觉主义线性时序逻辑的研究扩展到计算树逻辑中,基于完全树和非完全树构成的集合提出了一种直觉主义解释的计......
本文给出加权Ｔ－图是活网的另一组充分条件，这组条件包含了Ｔｅｒｕｅｌ等对加权Ｔ－图活性分析的结果，方法简单，便于操作。Ｔｅｒｕｅｌ文中研究了加权单回路网为守恒......
活性判定是Petri网中一直没有完全解决的问题．针对非对称选择网的活性问题，利用结构分析理论，作了进一步的研究．首先，讨论和分析了活性......
针对柔性制造系统的设计问题，提出了用Petri网精细化操作解决问题的方案．给出了两种精细化操作．研究了Petri网精细化操作的动态性质保......
电梯控制系统经常被用于展示形式化验证方法的有效性。将电梯控制系统看作一个并发系统,利用Paulson归纳法对其进行描述。在定理证......
本文以2003年6月11日凌晨1点至6月12日0点共24小时内央视新闻频道的所有整点新闻为蓝本,通过个案定量分析揭示央视新闻频道整点新......
摘 要：现有的安全关键系统开发的方法一般是在系统开发后期使用测试的方法对系统需求进行验证，这种方法一方面需要耗费大量时间与人......
首先给出无冲突可重复网的定义,并证明无冲突可重复网是结构活的。然后将无冲突可重复网的极小活标识的配置化为强连通-T图极小活......
为解决子系统共享问题,提出了经由Petri网系统共享T-型子网构成共享子网合成网的解决方案。共享T-型子网合成是研究复杂Petri网系......
研究了S4PR（systems of sequential systems with shared resources）网的虹吸寻找问题.S4PR网是一类典型的用于建模顺序资源共享分配......
活性（liveness）是Petri网的基本性质之一。从Petri网系统的有效（受控）可重复向量出发,给出一般Petri网系统中变迁为2级活或是3级活的判......
Petri网的分解技术是用于复杂网系统分析的一种有效手段.基于库所指标的Petri网分解方法,将一个复杂的网系统分解成结构简单的子网......
设Σ１＝（Ｎ１，Ｍ１），Σ２＝（Ｎ２，Ｍ２）是两个Ｐｅｔｒｉ网，且不含有冻结标志，Ｎｉ＝（Ｓｉ，Ｔｉ；Ｆｉ），ｉ＝１，２，Ｔ１∩Ｔ２＝Φ，Ｓ１∩Ｓ２≠Φ，本文定义了Σ１，Σ２的Ｓ－组合Ｐｅｔｒｉ网Σｓ，通过引入Ｐｅｔｒｉ网互逆位置序偶的概念，深入研究了Σｓ的活性，给出了Σｓ有......
本文利用Petri网对协作系统有效控制进行了研究,建立了协作Petri网和协作有色Petri网模型,对Petri网的运行情况进行了分析与探讨,......
This disseration is concerned with the research on the theories and its applications of the PN behavior for system synth......
