Implementing Coloured Petri Nets using a Functional Programming Language

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

Standard

Implementing Coloured Petri Nets using a Functional Programming Language. / Kristensen, L.M.; Christensen, S.

In: Higher-Order and Symbolic Computation, Vol. 17, No. 3, 2004, p. 207-243.

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

Harvard

Kristensen, LM & Christensen, S 2004, 'Implementing Coloured Petri Nets using a Functional Programming Language', Higher-Order and Symbolic Computation, vol. 17, no. 3, pp. 207-243.

APA

Kristensen, L. M., & Christensen, S. (2004). Implementing Coloured Petri Nets using a Functional Programming Language. Higher-Order and Symbolic Computation, 17(3), 207-243.

CBE

Kristensen LM, Christensen S. 2004. Implementing Coloured Petri Nets using a Functional Programming Language. Higher-Order and Symbolic Computation. 17(3):207-243.

MLA

Kristensen, L.M. and S. Christensen. "Implementing Coloured Petri Nets using a Functional Programming Language". Higher-Order and Symbolic Computation. 2004, 17(3). 207-243.

Vancouver

Kristensen LM, Christensen S. Implementing Coloured Petri Nets using a Functional Programming Language. Higher-Order and Symbolic Computation. 2004;17(3):207-243.

Author

Kristensen, L.M. ; Christensen, S. / Implementing Coloured Petri Nets using a Functional Programming Language. In: Higher-Order and Symbolic Computation. 2004 ; Vol. 17, No. 3. pp. 207-243.

Bibtex

@article{8812f4508d3c11dcbee902004c4f4f50,
title = "Implementing Coloured Petri Nets using a Functional Programming Language",
author = "L.M. Kristensen and S. Christensen",
year = "2004",
language = "English",
volume = "17",
pages = "207--243",
journal = "Higher-Order and Symbolic Computation",
issn = "1388-3690",
publisher = "Springer New York LLC",
number = "3",

}

RIS

TY - JOUR

T1 - Implementing Coloured Petri Nets using a Functional Programming Language

AU - Kristensen, L.M.

AU - Christensen, S.

PY - 2004

Y1 - 2004

M3 - Journal article

VL - 17

SP - 207

EP - 243

JO - Higher-Order and Symbolic Computation

JF - Higher-Order and Symbolic Computation

SN - 1388-3690

IS - 3

ER -