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]

Abrégé: 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 enregistrement

@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 Notice

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.