Implementing Coloured Petri Nets using a Functional Programming Language

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

  • Department of Computer Science
Original languageEnglish
JournalHigher-Order and Symbolic Computation
Volume17
Issue number3
Pages (from-to)207-243
Number of pages37
ISSN1388-3690
Publication statusPublished - 2004

See relations at Aarhus University Citationformats

ID: 282573