Observabilities and reachabilities of nonlinear DEDS and coloring graphs

From nonlinear discrete event dynamic systems with the applicable background of a large-scale digital integrated circuit, a new conception of coloring graphs on the system is advanced, the necessary and sufficient condition of upper-level observability is given, and the necessary and sufficient condition of respective reachability is simplified and improved.     

Petri网的可达图与可达树的比较

Ｐｅｔｒｉ网的可达图和可达树都是用于分析Ｐｅｔｒｉ网的工具,章将展示如何用可产完成Ｐｅｔｒｉ风的各项分析,并将可达图与可达树相比较,证明可达图是较可达树更为有一种分析工具．     

基于Petri网的设备故障诊断研究

基于设备故障诊断知识的特点,采用层次树结构统一表示故障深浅知识。对普通Ｐｅｔｒｉ 网进行拓展定义,并用拓展Ｐｅｔｒｉ 网综合实现故障知识的表示和故障的诊断推理。诊断时首先基于拓展Ｐｅｔｒｉ 网模型的正向可达性分析进行正向不确定推理,限定可能的故障模块,然后基于Ｐｅｔｒｉ 网模型的反向推理功能在故障模块内具体诊断出故障原因。基于ＦＭＳ故障诊断知识的分析,文中给出了一个利用拓展Ｐｅｔｒｉ 网进行知识表示和推理的实例,证明了方法的可行性。     

安全Petri网位置不变式的一种生成算法

Petri网是一种系统设计和分析的有用工具,在系统测试中有着广泛的应用.利用安全Petri网的特点,提出一种由安全Petri网可达树和带自环的m阶完全图来计算位置不变式的生成算法.     

布尔控制网络关于任意输入的能达性、能观性和能检性

在矩阵半张量积理论框架下，研究布尔控制网络关于任意输入的能达性、能观性和能检性问题。首先研究在任意输入下布尔控制网络的能达性，提出任意输入下的能达性和集能达性定义，并构造检验系统在任意输入下能达（集能达）的能达性矩阵（集能达性矩阵）。其次，应用任意输入下集能达性的研究结果，研究布尔控制网络在任意输入下的能观性和能检性问题，获得这两个问题可解的充分必要条件。最后，给出两个例子验证所得理论结果的有效性。