• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>World Multi-Confernece on Systemics, Cybernetics and Informatics >Refinement of time Petri nets semantics in conflict Situations
【24h】

Refinement of time Petri nets semantics in conflict Situations

机译：在冲突局势中细化时间Petri网语义

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

This paper deals with time Petri nets, where a firing interval is associated with each transition. Three semantics (intermediate, atomic and persistent atomic) are proposed, in the literature for this model, in the context of single-server/multi-server and strong/weak semantics. This paper shows that, in presence of conflicts, these semantics may exhibit some unexpected behaviours and properties. This paper proposes a new semantics more appropriate to deal with conflicts.
机译：本文涉及时间Petri网，其中发射间隔与每个转换相关联。在单服务器/多服务器和强/弱语义的上下文中，提出了三个语义（中间，原子和持续的原子）在该模型的文献中提出。本文表明，在存在冲突中，这些语义可能表现出一些意外的行为和属性。本文提出了一种更适合处理冲突的新语义。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号