期刊
LECTURES ON CONCURRENCY AND PETRI NETS: ADVANCES IN PETRI NETS
卷 3098, 期 -, 页码 819-848出版社
SPRINGER-VERLAG BERLIN
DOI: 10.1007/978-3-540-27755-2_23
关键词
-
The nets-within-nets paradigm provides an innovative modelling technique by giving tokens themselves the structure of a Petri net. These nets, called token nets or object nets, also support the object oriented modelling technique as they may represent real world objects with a proper dynamical behaviour. Between object nets and the surrounding net, called system net, various interaction mechanisms exist as well as between different object nets. This introduction into the field of object Petri nets starts with small examples and proceeds by giving formal semantics. Some of the examples are modelled within the formalism of the Renew tool. Finally the differences between reference and two kinds of value semantics are discussed.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据