Implementing Coloured Petri Nets Using a Functional Programming Language.
Lars Michael KristensenSøren ChristensenPublished in: High. Order Symb. Comput. (2004)
Keyphrases
- programming language
- coloured petri nets
- functional language
- high level
- object oriented
- software engineering
- general purpose
- logic programming
- programming environment
- formal verification
- object oriented programming
- specification language
- functional programming
- computer programs
- data abstraction
- concurrent programming
- artificial intelligence
- program code
- object oriented concepts