• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Simulation Multiconference >(Symbolic) State-space Inspection of a Class of Dynamic Petri Nets
【24h】

(Symbolic) State-space Inspection of a Class of Dynamic Petri Nets

机译：（符号）一类动态培养网的状态空间检查

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

摘要

The design of dynamic or adaptable discrete-event systems needs for adequate modeling techniques in order to manage possible structural changes occurring during system's lifecycle. An usual approach is that of polluting design with details not concerning the (current) system behavior, rather its evolution. That hampers analysis, reuse and maintenance in general. A Petri net-based reflective layout based on classical Petri nets was recently proposed to support dynamic discrete-event system's design, and was applied to dynamic workflows. The basic idea is that keeping functional aspects separated from evolutionary ones, deploying evolution on the (current) system configuration when necessary, results in a clean formal model for dynamic systems. This model preserves the ability of verifying properties typical of classical Petri nets. As a first step toward the implementation of a discrete-event simulator, Reflective Petri nets are provided with a (symbolic) reduced state-transition graph.
机译：动态或可适应的离散事件系统的设计需要适当的建模技术，以便在系统生命周期内进行可能发生的结构变化。通常的方法是污染设计，细节没有关于（当前）系统行为，而是它的演变。妨碍通常的分析，重用和维护。最近提出了一种基于古典培养网的Petri基于网络的反射布局，以支持动态离散事件系统的设计，并应用于动态工作流程。基本思想是，保持与进化中的功能方面，在必要时部署在（当前）系统配置上的演化，导致动态系统的清洁正式模型。该模型保留验证典型的典型Petri网的属性的能力。作为实施离散事件模拟器的第一步，反射培养网被提供有（符号）降低的状态转换图。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号