Bibliographie
Object Petri Nets - Using the Nets-within-Nets Paradigm
Rüdiger Valk.
Object Petri Nets - Using the Nets-within-Nets Paradigm.
In Jörg Desel, Wolfgang Reisig, and Grzegorz Rozenberg, editors,
Advances in Petri Nets: Lectures on Concurrency and Petri Nets,
volume 3098 of Lecture Notes in Computer Science, pages 819-848.
Springer-Verlag, Berlin, Heidelberg, New York, 2004.
[pdf]
[link]
Kurzfassung: 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.[link] [pdf]
BibTeX-Eintrag
@InCollection{Valk04,
author = {Valk, R{\"u}diger},
title = {{Object {Petri} Nets -- Using the Nets-within-Nets
Paradigm}},
editor = {Desel, J{\"o}rg and Reisig, Wolfgang and Rozenberg,
Grzegorz},
booktitle = {Advances in {Petri} Nets: Lectures on Concurrency and {Petri} Nets},
pages = {819--848},
year = 2004,
volume = 3098,
series = LNCS,
ISSN = {0302-9743},
publisher = Springer,
address = Springer.addr,
url = {http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=3098&spage=819},
abstract = {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.}
}
Copyright-Hinweis
Diese Informationen werden zur Verfügung gestellt, um technische und Forschungsarbeiten zeitnah bekannt zu geben. Das Urheberrecht und alle damit verbundenen Rechte verbleiben bei den Autoren bzw. anderen Rechteinhabern. Von jedem, der Informationen dieser Seiten übernimmt, wird erwartet, dass er sich an die jeweiligen Bedingungen und Beschränkungen der Rechteinhaber hält. Meist bedeutet dies, dass die hier bereitgestellten Daten nicht ohne explizite Genehmigung der Rechteinhaber weiterveröffentlicht werden dürfen.
