...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Przeglad Elektrotechniczny >Assigning the cover of Petri nets with subnets of the automatic type
【24h】

Assigning the cover of Petri nets with subnets of the automatic type

机译：用自动类型的子网分配陪替氏网络的封面

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

摘要

W artykule rozważa się problem dekompozycji współbieżnego automatu cyfrowego na jego sekwencyjne składowe automatowe. Zaproponowano nową metodę pokrycia bezpiecznych, żywych i powracanych sieci Petriego. Do wyznaczania p-inwariantów podstawowych i poprawnych, generujących mocno spójne podsieci typu maszyna stanów używa się odpowiedniego zadania programowania liniowego, bazującego na macierzy znakowań odpowiadającej stanom globalnym sieci. Zilustrowano działanie metody dla przykładowych sieci Petriego i przedstawiono zalety w stosunku do innych metod.%In the article the problem of the decomposition of a concurrent digital automaton for its state machine components is considered. A new method of cover is proposed with safe, live and reversible Petri nets. In order to determine basic and correct P-invariants which generate strongly connected subnets of the state machine type the suitable linear programming problem based on the matrix of marking corresponding to the global states of the net is used. The operating of the method for the example Petri nets is illustrated and benefits in relation to other methods are presented.
机译：本文考虑了将并行数字自动机分解为其顺序自动机的问题。已经提出了一种用于覆盖安全的，活的和返回的陪替氏网的新方法。为了确定基本正确的p不变量，生成状态机类型的高度相干的子网，基于与网络的全局状态相对应的标记矩阵，使用了适当的线性编程任务。说明了该方法在样本Petri网络上的操作，并说明了与其他方法相比的优点。％本文中考虑了并发数字自动机的状态机组件分解问题。提出了一种使用安全，有效和可逆Petri网的新型覆盖方法。为了确定产生状态机类型的强连接子网的基本和正确的P不变量，使用了基于与网络的全局状态相对应的标记矩阵的合适的线性规划问题。举例说明了Petri网的方法的操作，并说明了与其他方法有关的好处。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号