Annotating Coloured Petri Nets

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  • Bo Lindstrøm, Denmark
  • Lisa Marie Wells, Denmark
  • Department of Computer Science
Coloured Petri nets (CP-nets) can be used for several fundamentally different purposes like functional analysis, performance analysis, and visualisation. To be able to use the corresponding tool extensions and libraries it is sometimes necessary to include extra auxiliary information in the CP-net. An example of such auxiliary information is a counter which is associated with a token to be able to do performance analysis. Modifying colour sets and arc inscriptions in a CP-net to support a specific use may lead to creation of several slightly different CP-nets – only to support the different uses of the same basic CP-net. One solution to this problem is that the auxiliary information is not integrated into colour sets and arc inscriptions of a CP-net, but is kept separately. This makes it easy to disable this auxiliary information if a CP-net is to be used for another purpose. This paper proposes a method which makes it possible to associate auxiliary information, called annotations, with tokens without modifying the colour sets of the CP-net. Annotations are pieces of information that are not essential for determining the behaviour of the system being modelled, but are rather added to support a certain use of the CP-net. We define the semantics of annotations by describing a translation from a CP-net and the corresponding annotation layers to another CP-net where the annotations are an integrated part of the CP-net.
Original languageEnglish
Title of host publicationFourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools : Aarhus, Denmark, August 28-30, 2002
EditorsKurt Jensen
Number of pages20
PublisherDepartment of Computer Science, University of Aarhus
Publication year2002
Pages39-58
Publication statusPublished - 2002
EventWorkshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools. CPN'2002 - Aarhus, Denmark
Duration: 28 Aug 200230 Aug 2002
Conference number: 4

Conference

ConferenceWorkshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools. CPN'2002
Nummer4
LandDenmark
ByAarhus
Periode28/08/200230/08/2002
SeriesDAIMI PB
Number560
ISSN0105-8517

See relations at Aarhus University Citationformats

ID: 282716