膜系统与Petri网中的时间延迟
分布式、并行与集群计算
2011-07-07 v1 形式语言与自动机理论
摘要
研究了具有显式资源和并行性的形式化模型中的时间方面，并提出了定时膜系统与带位置定时Petri网之间的形式化联系。对于这两种形式化模型，定时并未增加表达能力；然而，定时膜系统和定时Petri网在描述时间作为关键资源的分子现象时更为灵活。我们建立了定时膜系统与带位置定时Petri网之间的联系，并证明了它们之间的操作对应关系。
引用
@article{arxiv.1107.1200,
title = {Time Delays in Membrane Systems and Petri Nets},
author = {Bogdan Aman and Gabriel Ciobanu},
journal= {arXiv preprint arXiv:1107.1200},
year = {2011}
}
备注
In Proceedings QAPL 2011, arXiv:1107.0746