首页> 外文会议>Membrane computing >On the Qualitative Analysis of Conformon P Systems
【24h】

On the Qualitative Analysis of Conformon P Systems

机译:Conformon P系统的定性分析

获取原文
获取原文并翻译 | 示例

摘要

We study computational properties of conformon P systems, an extension of P systems in which symbol objects are labeled by their current amount of energy. We focus here our attention to decision problems like reachability and coverability of a configuration and give positive and negative results for the full model and for some of its fragments. Furthermore, we investigate the relation between conformon P systems and other concurrency models like nested Petri nets and constrained multiset rewriting systems.
机译:我们研究conformon P系统的计算特性,它是P系统的扩展,其中,符号对象通过其当前能量标记。在这里,我们将注意力集中在决策问题上,例如配置的可达性和可覆盖性,并对完整模型及其某些片段给出肯定和否定的结果。此外,我们研究了conformon P系统与其他并发模型(例如嵌套Petri网和约束多集重写系统)之间的关系。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号