• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Applications and theory of petri nets >Pomset Languages of Finite Step Transition Systems
【24h】

Pomset Languages of Finite Step Transition Systems

机译：有限步过渡系统的Pomset语言

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

摘要

Step transition systems form a powerful model to describe the concurrent behaviors of distributed or parallel systems. They offer also a general framework for the study of marking graphs of Petri nets [22]. In this paper we investigate a natural labeled partial order semantics for step transition systems. As opposed to [19] we allow for autoconcurrency by considering steps that are multisets of actions. First we prove that the languages of step transition systems are precisely the width-bounded languages that are step-closed and quasi-consistent. Extending results from [19] we focus next on finite step transition systems and characterize their languages in the line of Buchi's theorem. Our main result present six equivalent conditions in terms of regularity and MSO-definability for a set of labeled partial orders to be recognized by some finite step transition system.
机译：逐步过渡系统形成了一个强大的模型，用于描述分布式或并行系统的并发行为。他们也为研究Petri网的标记图提供了一个通用框架[22]。在本文中，我们研究了步移系统的自然标记的偏序语义。与[19]相对，我们通过考虑多个动作集来实现自动并发。首先，我们证明了步过渡系统的语言恰好是步封闭且准一致的有界语言。扩展[19]的结果，我们接下来将重点放在有限步跃变系统上，并根据Buchi定理来刻画它们的语言。我们的主要结果在规则性和MSO可定义性方面给出了六个等效条件，这些条件由一组有限步跃变系统识别出一组标记的偏序。

著录项

  • 来源
  • 会议地点 Paris(FR);Paris(FR)
  • 作者

    Jean Fanchon; Remi Morin;

  • 作者单位

    CNRS, LAAS, 7 avenue du colonel Roche, F-31077 Toulouse, France Universite de Toulouse, UPS, INSA, INP, ISAE, LAAS, F-31077 Toulouse, France;

    Laboratoire d'Informatique Fondamentale de Marseille, LIF, CNRS, UMR 6166 Aix-Marseille Universite, 163, avenue de Luminy, Case 901 F-13288 Marseille, France;

  • 会议组织
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类 计算机网络;
  • 关键词

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号