首页> 外文期刊>Journal of information and computational science >A New Method for Structural Analysis of Petri Net Models Based on Incidence Matrix
【24h】

A New Method for Structural Analysis of Petri Net Models Based on Incidence Matrix

机译:基于关联矩阵的Petri网模型结构分析的新方法

获取原文
获取原文并翻译 | 示例

摘要

This paper provides a new efficient method for analyzing the structural properties of Petri net models based on the characteristics of incidence matrices. For computing S (T) invariants, we propose an improved algorithm of disposing of the presence of parallel places and serial places repeatedly. For computing trap (siphon) sets, wo define a binary operator following the rules of composing each input and output place pair. And we also propose sufficient conditions of structure boundedness, conservativeness, repetitiveness and consistency by solving eigenvalues of modified incidence matrices. Based upon implementations of these method algorithms, Incidence Matrix Analyzer compiled by MatLab is used to analyze a large Petri net model about radar functionalities, which shows us a better way to implement structural analysis of large Petri net models on engineering projects.
机译:本文基于入射矩阵的特征,为分析Petri网模型的结构特性提供了一种新的有效方法。为了计算S(T)不变量,我们提出了一种改进的算法,该算法可以重复处理并行放置和串行放置的情况。对于计算陷阱(虹吸)集,请按照组成每个输入和输出位置对的规则来定义二进制运算符。通过求解修正的入射矩阵的特征值,我们还提出了结构有界性,保守性,重复性和一致性的充分条件。基于这些方法算法的实现,使用MatLab编译的“事故矩阵分析器”来分析有关雷达功能的大型Petri网模型,这为我们展示了在工程项目中实施大型Petri网模型结构分析的更好方法。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号