...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>IEEE Transactions on Automatic Control >Modeling and analysis of timed Petri nets using heaps of pieces
【24h】

Modeling and analysis of timed Petri nets using heaps of pieces

机译：使用片段堆对定时Petri网进行建模和分析

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

摘要

The authors show that safe timed Petri nets can be represented by special automata over the (max, +) semiring, which compute the height of heaps of pieces. This extends to the timed case the classical representation a la Mazurkiewicz of the behavior of safe Petri nets by trace monoids and trace languages. For a subclass including all safe free-choice Petri nets, we obtain reduced heap realizations using structural properties of the net (covering by safe state machine components). The authors illustrate the heap-based modeling by the typical case of safe jobshops. For a periodic schedule, the authors obtain a heap-based throughput formula, which is simpler to compute than its traditional timed event graph version, particularly if one is interested in the successive evaluation of a large number of possible schedules.
机译：作者表明，安全定时的Petri网可以由（max，+）半环上的特殊自动机表示，该自动机可计算碎片堆的高度。这将定时的情况扩展为通过痕迹类id半群和痕迹语言对安全Petri网的行为的经典表示a Mazurkiewicz。对于包括所有安全自由选择Petri网的子类，我们使用网的结构属性（由安全状态机组件覆盖）获得减少的堆实现。作者通过安全车间的典型案例说明了基于堆的建模。对于周期性的计划，作者获得了一个基于堆的吞吐量公式，该公式比其传统的定时事件图版本更易于计算，尤其是如果您对大量可能的计划的连续评估感兴趣的话。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号