Implementing coloured Petri nets using a functional programming language

DOI10.1023/B:LISP.0000029445.29210.CAMaRDI QIDQ1768480zbMATH OpenOpenAlexFDO

Authors Lars M. Kristensen, Søren Christensen

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

zbMATH Keywords

implementation techniquesPetri NetsColoured Petri Netsdistributed and concurrent computationhigh-level Petri Netsprogramming environments and tools

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• The practitioner's guide to coloured Petri nets.
• Coloured Petri Nets
• Lectures on Concurrency and Petri Nets
• Strategies for modeling complex processes using colored Petri nets
• scientific article; zbMATH DE number 107927

Describes a project that uses

Uses Software

• LoLA
• Maria

This page was built for publication: Implementing coloured Petri nets using a functional programming language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1768480)