Bibliographie
Concurrency in Communicating Object Petri Nets
Rüdiger Valk.
Concurrency in communicating object petri nets.
In Gul Agha, Fiorella De Cindio, and Grzegorz Rozenberg, editors,
Advances in Petri Nets: Concurrent Object-Oriented Programming and
Petri Nets, volume 2001 of Lecture Notes in Computer Science, pages
164-195. Springer-Verlag, Berlin, Heidelberg, New York, 2001.
[pdf]
[link]
Kurzfassung: Objects are studied as higher-level net tokens having an individual dynamical behaviour. In the context of Petri net research it i s quite natural to also model such tokens by Petri nets. To distinguish them from the system net, they are called object nets. Object nets behave like tokens, i.e., they are lying in places and are moved by transitions. In contrast to ordinary tokens, however, they may change their state (i.e. their marking) when lying in a place or when being moved by a transition. By this approach an interesting and challenging two-level system modelling technique is introduced. Similar to the object-oriented approach, complex systems are modelled close to their real appearance in a natural way to promote clear and reliable concepts. Applications in fields like workflow, agent-oriented approaches (mobile agents and/or intelligent agents as in AI research) or open system networks are feasible. This paper gives a precise definition of the basic model together with a suitable process semantics. The focus is set more on basic concepts and their fundamental study than on high modelling capability.[link] [pdf]
BibTeX-Eintrag
@InCollection{Valk01b,
author = {Valk, R{\"u}diger},
title = {Concurrency in Communicating Object Petri Nets},
pages = {164--195},
editor = {Agha, Gul and De Cindio, Fiorella and Rozenberg,
Grzegorz},
booktitle = {Advances in {Petri} Nets: Concurrent Object-Oriented
Programming and {Petri} Nets},
year = 2001,
volume = 2001,
series = LNCS,
ISSN = {0302-9743},
publisher = Springer,
address = Springer.addr,
url = {http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=2001&spage=164},
abstract = {Objects are studied as higher-level net tokens having an
individual dynamical behaviour. In the context of Petri
net research it i s quite natural to also model such
tokens by Petri nets. To distinguish them from the system
net, they are called object nets. Object nets behave like
tokens, i.e., they are lying in places and are moved by
transitions. In contrast to ordinary tokens, however,
they may change their state (i.e. their marking) when
lying in a place or when being moved by a transition. By
this approach an interesting and challenging two-level
system modelling technique is introduced. Similar to the
object-oriented approach, complex systems are modelled
close to their real appearance in a natural way to
promote clear and reliable concepts. Applications in
fields like workflow, agent-oriented approaches (mobile
agents and/or intelligent agents as in AI research) or
open system networks are feasible. This paper gives a
precise definition of the basic model together with a
suitable process semantics. The focus is set more on
basic concepts and their fundamental study than on high
modelling capability.}
}
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.
