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

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

BibTeX enregistrement

@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://dx.doi.org/10.1007/978-3-540-27755-2_23},
  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 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.