...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Pomiary Automatyka Kontrola >Autorski system wspomagający proces dekompozycji sieci Petriego na podsieci typu automatowego
【24h】

Autorski system wspomagający proces dekompozycji sieci Petriego na podsieci typu automatowego

机译：专有系统支持将Petri网分解为自动类型子网的过程

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

W referacie przedstawiono autorski system komputerowy wspomagający proces dekompozycji sieci Petriego na podsieci typu automatowego. System sterujący zostaje opisany za pomocą sieci Petriego, na podstawie której określany jest graf lub hipergraf wspólbieżności. Macierz incydencji hipergrafu współbieżności stanowi dane wejściowe systemu Hippo. Aplikacja oferuje przeprowadzenie dekompozycji z zastosowaniem operacji bazujących na teorii hipergrafów różnymi metodami i umożliwia wybór najlepszej z nich.%The dedicated CAD system Hippo for automatic decomposition of Petri Nets into concurrent automata is presented. At the beginning the reachability graph is calculated for the Petri Net which may be easily represented by a concurrency graph or a hypergraph. Such structures are input for main decomposition process. There are several methods for decomposition of Petri Nets. The most popular one is based on the colouring of the concurrency graph, however recently, a few new algorithms based on hypergraph theory have appeared. Contrary to a concurrency graph, application of a concurrency hypergraph to the decomposition of Petri Net enables using new and fast methods. The solution can be found by colouring of a concurrency hypergraph, calculating its complement or finding exact transversals. Especially, the last method is most interesting, because it allows reducing the computational complexity to a polynomial. In the paper the decomposition process is presented in detail. There are several ways of decomposition presented (based on colouring graphs/hypergraphs), calculating hypergraph complement or finding its exact transversals. Each of the presented method was implemented in Hippo. The decomposition process is automated. As the input of the Hippo system, a description of a concurrency graph or hypergraph is required. Based on this structure and a selected decomposition method, Hippo finds and prints results. The obtained results are presented in graphical and text form.
机译：本文提出了一个原始的计算机系统，该系统支持将Petri网分解为自动类型的子网。借助于Petri网描述控制系统，在此基础上确定并发图或超图。并发超图事件矩阵是Hippo系统的输入。该应用程序使用基于超图理论的操作通过各种方法提供分解，并允许您选择最佳方法。％介绍了用于将Petri Nets自动分解为并行自动机的专用CAD系统Hippo。首先，为Petri网计算可达性图，可以很容易地由并发图或超图表示。这样的结构被输入用于主要分解过程。有几种分解陪替氏网的方法。最受欢迎的算法是基于并发图的着色，但是最近出现了一些基于超图理论的新算法。与并发图相反，将并发超图应用于Petri Net的分解可以使用新的快速方法。可以通过对并发超图着色，计算其补数或找到精确的横向来找到解决方案。特别地，最后一种方法最为有趣，因为它可以将计算复杂度降低到多项式。本文详细介绍了分解过程。提出了几种分解方法（基于着色图/超图），计算超图补码或找到其确切的横向。每种提出的方​​法都在Hippo中实现。分解过程是自动化的。作为Hippo系统的输入，需要对并发图或超图进行描述。基于此结构和选定的分解方法，Hippo查找并打印结果。获得的结果以图形和文本形式表示。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号