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.  [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.

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 =          {https://link.springer.com/openurl?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.