首页    期刊浏览 2024年11月27日 星期三
登录注册

文章基本信息

  • 标题:From Petri Nets to Graph Transformation Systems
  • 本地全文:下载
  • 作者:Paolo Baldan ; Andrea Corradini ; Fabio Gadducci
  • 期刊名称:Electronic Communications of the EASST
  • 电子版ISSN:1863-2122
  • 出版年度:2010
  • 卷号:26
  • 语种:English
  • 出版社:European Association of Software Science and Technology (EASST)
  • 摘要:Hans-Joerg Kreowski was among the first researchers to point out that Place/Transition Petri nets can be interpreted as instances of Graph Transformation Systems, a fact now considered folklore. We elaborate on this observation, discussing how several different models of Petri nets can be encoded faithfully into Graph Transformation Systems. The key idea we pursue is that the net encoding is uniquely determined, and distinct net models are mapped to alternative approaches to graph transformation.
国家哲学社会科学文献中心版权所有