×

对象Petri网。使用nets-within-nets范例。 (英语) Zbl 1088.68135号

Desel,Jörg(编辑)等人,《并发和Petri网讲座》。Petri网的进展。柏林:施普林格出版社(ISBN 3-540-22261-8/pbk)。计算机科学课堂讲稿3098,819-848(2004)。
概要:nets-within-nets范式通过赋予标记本身Petri网的结构,提供了一种创新的建模技术。这些网络称为令牌网或对象网,也支持面向对象建模技术,因为它们可以用适当的动态行为表示现实世界中的对象。在对象网络和周围网络(称为系统网络)之间,以及不同对象网络之间存在各种交互机制。对象Petri网领域的介绍从一些小例子开始,然后给出形式语义。一些示例是在Renew工具的形式主义中建模的。最后讨论了引用语义和两种值语义的区别。
关于整个系列,请参见[Zbl 1052.68003号].

MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)

软件:

续订
PDF格式BibTeX公司 XML格式引用
全文: 内政部