Implementing coloured Petri nets using a functional programming language
DOI10.1023/B:LISP.0000029445.29210.cazbMath1075.68620OpenAlexW2053842121MaRDI QIDQ1768480
Søren Christensen, Lars Michael Kristensen
Publication date: 15 March 2005
Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/b:lisp.0000029445.29210.ca
Petri Netsimplementation techniquesColoured Petri Netsdistributed and concurrent computationhigh-level Petri Netsprogramming environments and tools
Functional programming and lambda calculus (68N18) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Uses Software
This page was built for publication: Implementing coloured Petri nets using a functional programming language
