• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Symposium on Automated Technology for Verification and Analysis(ATVA 2005); 20051004-07; Taibei(CT) >Syntactical Colored Petri Nets Reductions
【24h】

Syntactical Colored Petri Nets Reductions

机译：句法着色Petri网减少

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

摘要

In this paper, we develop a syntactical version of elaborated reductions for high-level Petri nets. These reductions simplify the model by merging some sequential transitions into an atomic one. Their conditions combine local structural ones (e.g. related to the actions of a thread) and global algebraic ones (e.g. related to the threads synchronization). We show that these conditions are performed in a syntactical way, when a syntax of the color mappings is given. We show also how our method outperforms previous ones on a recent case study with regard both to the reduction ratio and the automatization of their application.
机译：在本文中，我们开发了高级Petri网精细化约简的句法版本。这些减少通过将一些顺序转换合并为原子转换来简化模型。它们的条件结合了局部结构的条件（例如与线程的动作有关）和全局代数的条件（例如与线程同步有关）。我们表明，当给出颜色映射的语法时，这些条件是以语法方式执行的。我们还展示了在减少比例和自动应用方面，我们的方法在最近的案例研究中如何优于以前的方法。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号