×

基于特征值的无选择Petri网结构理论。 (英语) Zbl 0973.93029号

通过建立无选择Petri网(CfPn)的关联矩阵与(M)矩阵的特征值之间的某种关系,作者利用(M)-矩阵的一些定理证明了CfPm的结构有界性、活性、重复性、保守性、一致性和良形性。这种新方法避开了现有复杂方法的应用,如经典关联矩阵分析、可达树方法以及在分析大型系统时禁止使用的约简技术。三个例子说明了一些相关的结果,同时通过特征值方法确保了计算的简单性(基于Matlab)。

MSC公司:

93元65角 离散事件控制/观测系统
93C83号 涉及计算机的控制/观察系统(过程控制等)
68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
93B60型 特征值问题

软件:

Matlab公司
PDF格式BibTeX公司 XML格式引用
全文: 内政部