Annotating Coloured Petri Nets

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

Standard

Annotating Coloured Petri Nets. / Lindstrøm, Bo; Wells, Lisa Marie.

Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, August 28-30, 2002. ed. / Kurt Jensen. Department of Computer Science, University of Aarhus, 2002. p. 39-58 (DAIMI PB; No. 560).

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

Harvard

Lindstrøm, B & Wells, LM 2002, Annotating Coloured Petri Nets. in K Jensen (ed.), Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, August 28-30, 2002. Department of Computer Science, University of Aarhus, DAIMI PB, no. 560, pp. 39-58, Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools. CPN'2002, Aarhus, Denmark, 28/08/2002.

APA

Lindstrøm, B., & Wells, L. M. (2002). Annotating Coloured Petri Nets. In K. Jensen (Ed.), Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, August 28-30, 2002 (pp. 39-58). Department of Computer Science, University of Aarhus. DAIMI PB, No. 560

CBE

Lindstrøm B, Wells LM. 2002. Annotating Coloured Petri Nets. Jensen K, editor. In Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, August 28-30, 2002. Department of Computer Science, University of Aarhus. pp. 39-58. (DAIMI PB; No. 560).

MLA

Lindstrøm, Bo and Lisa Marie Wells "Annotating Coloured Petri Nets". Jensen, Kurt (ed.). Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, August 28-30, 2002. Department of Computer Science, University of Aarhus. (DAIMI PB; Journal number 560). 2002, 39-58.

Vancouver

Lindstrøm B, Wells LM. Annotating Coloured Petri Nets. In Jensen K, editor, Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, August 28-30, 2002. Department of Computer Science, University of Aarhus. 2002. p. 39-58. (DAIMI PB; No. 560).

Author

Lindstrøm, Bo ; Wells, Lisa Marie. / Annotating Coloured Petri Nets. Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, August 28-30, 2002. editor / Kurt Jensen. Department of Computer Science, University of Aarhus, 2002. pp. 39-58 (DAIMI PB; No. 560).

Bibtex

@inproceedings{bdf5f630942b11dcbee902004c4f4f50,
title = "Annotating Coloured Petri Nets",
abstract = "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.",
author = "Bo Lindstr{\o}m and Wells, {Lisa Marie}",
year = "2002",
language = "English",
series = "DAIMI PB",
publisher = "Department of Computer Science, University of Aarhus",
number = "560",
pages = "39--58",
editor = "Kurt Jensen",
booktitle = "Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools",

}

RIS

TY - GEN

T1 - Annotating Coloured Petri Nets

AU - Lindstrøm, Bo

AU - Wells, Lisa Marie

PY - 2002

Y1 - 2002

N2 - 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.

AB - 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.

M3 - Article in proceedings

T3 - DAIMI PB

SP - 39

EP - 58

BT - Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools

A2 - Jensen, Kurt

PB - Department of Computer Science, University of Aarhus

ER -