Implementing Coloured Petri Nets using a Functional Programming Language

Research output: Research - peer-reviewJournal article

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

See relations at Aarhus University Citationformats

ID: 282573