| Publisher DOI: | 10.7146/dpb.v33i570.7200 | Title: | Relating Higher Order Reference Nets and Well-Formed Nets | Language: | English | Authors: | Cabac, Lawrence Köhler, Michael  |
Editor: | Jensen, Kurt | Issue Date: | 2004 | Publisher: | Aarhus University | Part of Series: | Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools : Aarhus, Denmark, October 8-11, 2004 | Journal or Series Name: | DAIMI | Volume: | 33 | Issue: | 507 | Startpage: | 185 | Endpage: | 198 | Conference: | Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools 2004 | Abstract: | In this presentation we introducet he formalism of "Higher Order Reference Nets" (Hornets). Hornets follow theparadigm of "nets within nets", i.e. the paradigm that allows Petrinets 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 Petrinets. This allows for several analysis techniques, e.g. symbolic state space generation, which automatically takes the system symmetries into account. |
URI: | http://hdl.handle.net/20.500.12738/2865 | ISSN: | 0105-8517 | Review status: | This version was peer reviewed (peer review) | Institute: | Universität Hamburg | Type: | Chapter/Article (Proceedings) |
| Appears in Collections: | Publications without full text |
Show full item record
Add Files to Item
Note about this record
Export
This item is licensed under a Creative Commons License
