Bibliographie

Relating Higher Order Reference Nets and Well-Formed Nets

Lawrence Cabac and Michael Köhler.
Relating higher order reference nets and well-formed nets.
In Proceedings of the International Workshop on Coloured Petri Nets (CPN 2004). Computer Science Department, Aarhus University, 2004.

Kurzfassung: In this presentation we introduce the formalism of ``Higher Order Reference Nets'' (Hornets). Hornets follow the paradigm of "nets within nets", i.e. the paradigm that allows Petri nets as token objects.
Since all net tokens are objects of some net class they all share the same structure. In our contribution we therefore introduce the notion of well-formed Hornets which can be simulated by well-formed coloured Petri nets. This allows for several analysis techniques, e.g. symbolic state space generation, which automatically takes the system symmetries into account.

BibTeX-Eintrag

@InProceedings{Cabac+04,
   author =  {Cabac, Lawrence and K{\"o}hler, Michael},
   title =  {Relating Higher Order Reference Nets and Well-Formed Nets},
   booktitle =  {Proceedings of the International Workshop on Coloured {Petri} Nets ({CPN 2004})},
   year =  2004,
  publisher =  UniAarhus,
  abstract = {In this presentation we introduce the formalism of ``Higher Order
                    Reference Nets'' (Hornets). Hornets follow the paradigm of
                    "nets within nets", i.e. the paradigm that allows Petri nets as token
                    objects.
                    \par
                    Since all net tokens are objects of some net class they all share the
                    same structure. In our contribution we therefore introduce the notion of
                    well-formed Hornets which can be simulated by well-formed coloured
                    Petri nets. This allows for several analysis techniques, e.g. symbolic state
                    space generation, which automatically takes the system symmetries into
                    account.}
}

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.