加权T—图的保性变换

Ｐｅｔｒｉ网的保性化简是Ｐｅｔｒｉ网分析的一种重要途径。Ｍａｒａｔａ等对活的发安全的标识Ｔ－图提出了系统是化简运算体系。蒋昌俊对加权Ｔ－图提出了若干种化简运算，这些化简运算能够保持网的结构有界性、守恒性、可重复性和相容性，但未涉及活性和公平性的保持问题，本文提出对加权Ｔ－图的另一类保性化简，这些化简运算可以 保持网的结构活性和公平性。     

加权T－图的保性变换

Ｐｅｔｒｉ网的保性化简是Ｐｅｔｒｉ例分析的一种重要途径．Ｍａｒａｔａ等对活的和安全的标识Ｔ－图提出了系统的化简运算体系．蒋昌俊对加权Ｔ－图提出了若干种化简运算，这些化商运算能够保持网的结构有界性、守恒性、可重复性和相容性，但未涉及活性和公平性的保持问题．本文提出对加权Ｔ－图的另一类保性化简，这些化简运算可以保持网的结构活性和公平性．     

T-组合Petri网的活性和公平性分析

同步合成是研究复杂Ｐｅｔｒｉ网系统性质的有效途径．文中通过引入可引发变迁序偶的概念,研究了Ｔ－组合（同步合成）Ｐｅｔｒｉ网对子网的活性和公平性继承关系,给出了一组Ｔ－组合Ｐｅｔｒｉ网活或公平的充要条件和充分条件．这些结果对网组合同步设计具有重要的指导意义     

T—组合Petri网络活性和公平性分析

同步合成是研究复杂Ｐｅｔｒｉ网络系统性质的有效途径。文中通过引入可引发变迁序偶的概念,研究了Ｔ－组合（同步合成）Ｐｅｔｒｉ网对子网的活性和公平性继承关系,给出了一组Ｔ－组合Ｐｅｔｒｉ网活或公平的充要条件和充分条件。这些结果对网组合同步设计具有重要的指导意义。     

加权T图的活性分析

本文给出加权T—图为活网的一组充分必要条件,这组条件包含了文献[1]对标识图(即T—图)活性分析的结果,即当每条弧的权都等于1时,本文的结果就化为文[1]给出的条件。     

加权非对称选择网活性和有界性分析

给出了Petri网系统的一个重要子类,即加权非对称选择网(weighted asymmetric choice net,简称WAC网)系统活性的一个充分条件和一个必要条件;同时,提出了活的有界的WAC网系统的判定条件,进而给出了WAC网活性满足单调性的充分必要条件.     

S-组合Petri网的活性分析与实现

设Σ１＝（Ｎ１，Ｍ１），Σ２＝（Ｎ２，Ｍ２）是两个Ｐｅｔｒｉ网，且不含有冻结标志，Ｎｉ＝（Ｓｉ，Ｔｉ；Ｆｉ），ｉ＝１，２，Ｔ１∩Ｔ２＝Φ，Ｓ１∩Ｓ２≠Φ，本文定义了Σ１，Σ２的Ｓ－组合Ｐｅｔｒｉ网Σｓ，通过引入Ｐｅｔｒｉ网互逆位置序偶的概念，深入研究了Σｓ的活性，给出了Σｓ有界活的几个判定条件。若Σ１，Σ２是两个活的Ｐｅｔｒｉ网，最后提出了一种实现Ｓ－组合Ｐｅｔｒｉ网活性的控制装置。     

M—H2O系中溶液态物质的优势区域图

Ｍ－Ｈ２Ｏ系中各溶液态物质在电势－ＰＨ平面内的优势区是Ｐｏｕｒｂａｉｘ图的一个重要内容。各物质的优势区大小由溶液态各物质的活性元素（Ｍ）的总浓度Ｔ（Ｍ）决定;只有当各物质均含有相同数目的活性元素（Ｍ）时,它们各自的优势区大小才与无关。Ｔ（Ｍ）一定时,Ｅ－ＰＨ平面内各点（ＰＨ,Ｅ）所对应的各物质的浓度可用改进的“二分法”求出。求出了Ｃｕ－Ｈ２Ｏ系及不同总浓度Ｔ（Ｓ）和Ｔ（Ｃｒ）时简化的Ｓ－Ｈ２Ｏ系和     

带时间参数布尔函数的符号表示及其在计算电路时间延迟中的应用

本文提出了一种形式表示带时间参数布尔函数（Ｔｉｍｅｄ Ｂｏｏｌｅａｎ Ｆｕｎｃｔｉｎｏ或ＴＢＦ）的新方法－－－带时间参数的二叉判定图（Ｔｉｍｅｄ Ｂｉｎａｒｙ Ｄｅｃｉｓｉｏｎ Ｄｉａｇｒａｍ或ＴＢＤＤ），并将其应用于电路时间延迟的准确计算。ＴＢＤＤ是传统而尔函数的符号表示－－－有序二叉判定图（ＯＢＤＤ）的扩展，可以统一地描述电路的逻辑功能和时间特征。由于采用了有效的压缩和节点共享策略，在典型的应     

基于权值范围设置的多模型稳定切换控制研究

针对线性加权多模型切换过程中权值难以确定问题,提出了具有Lyapunov函数的多模型稳定切换的充分条件,依据该充分条件可以确定加权多模型的权值范围和快速获取加权因子的取值,实现多模型的平滑切换.所提出的充分条件克服了多模型子系统必须稳定的苛刻条件,通过对自主水下机器人多运动模型切换过程的仿真实验表明,依据权值范围所给定的加权因子能够保证加权多模型切换过程中的渐近稳定性.     

共享合成Petri网的性质分析

组合Petri网的性质不变性对大型合成系统分析有着重要意义,从分析共享合成Petri 网的结构性质入手,分析了它的活性性质,给出了它的一个较为简单的活性判定的充要条件. 在此基础上,研究了共享合成Petri网的活性与行为不变性和状态不变性的关系,为系统合 成的活性和一致性的关系提供了分析依据.     

基于Petri网语言的并发系统性质研究

给出Petri网弱活性（无死锁）与活性的两个语言刻画,讨论了同步合成Petri网的语言性质,基于Petri网语言,给出了判定Petri网活性的充分必要条件。同时研究了Petri网同步合成过程中活性保持问题,给出保持活性的充分必要条件。这些结果为讨论网的活性测试和控制提供了形式语言的方法。     

扩展强化非对称选择网的活性和有界性

给出了一类非对称选择网(asymmetricchoicenet,简称AC网),扩展了强化非对称选择网结构活的充分必要条件,证明了扩展强化非对称选择网如果是结构活的,其标识的活性是可判定的.同时也证明了扩展强化非对称选择网活性的单调性,并给出其结构活和结构有界的充分必要条件.     

论非对称选择网的活性与安全性

活性与安全性是网系统的重要行为特性.该文的贡献在于为非对称选择网导出其活性与安全性的一般性质.文章讨论了活性具有单调性的非对称选择网活性与安全性的条件,并给出一个多项式时间算法来判定一个给定的非对称选择网是否是活的、安全的与活性满足单调性.文章还讨论了非对称选择网的两个子类(强化I型与强化II型),并给出活性满足单调性时其(结构)活与(结构)安全的充分条件.     

无冲突Petri网的结构活性判定研究

结构活性作为Petri网的重要结构性质,在Petri网活性判定领域具有较高的研究价值。从Petri网有向回路对结构活性的影响入手,分析与判定无冲突Petri网的结构活性,讨论库所元素及其后置变迁之间是否存在有向回路对Petri网结构活性的影响,研究该类Petri网结构活性判定方法的相关条件与结论,得到无冲突Petri网是满足结构活性的充分必要条件。分析结果表明,该判定方法可在多项式时间内判定无冲突Petri网的结构活性。     

论非对称选择网的活性

本文给出了非对称选择网AC网(asymmetric choice nets)活性单调性的充分必要条件,并在此基础上证明了一类AC网系统活性的单调性和此类网结构活的充要条件.     

POC net,a subclass of Petri nets,and its application to timed Petri nets

Liveness is one of the most important properties of the Petri net analysis. This property is concerned with a capability for firing of transitions. On the other hand, place-liveness is another notion related to liveness, which is concerned with a capability for having tokens in places. Concerning these liveness and place-liveness problems, this paper suggests a new subclass of Petri net, ‘POC nets’, as a superclass of AC nets and DC nets. For this subclass, the equivalence between liveness and place-liveness is shown and a sufficient condition for liveness for this POC net is derived. Then the results are extended to liveness problem of timed Petri nets which have transitions with finite firing durations and the earliest firing rule. Although liveness of a (non-timed) Petri net is neither necessary nor sufficient condition for liveness of a timed Petri net, it is shown that liveness is preserved if the net has POC structure. Furthermore, it is pointed out that if a POC net satisfies some additional condition, Petri net liveness is equivalent to timed Petri net liveness. Finally, it is shown that liveness of timed POC nets with TC structure and the earliest firing rule is decidable with deterministic polynomial time complexity.