Abstract
The Curry-coloured Petri net (CCPN) simulation combines Petri nets with the purely functional logic programming language Curry. The most notable aspects of the CCPN simulator are the absence of side effects, the use of logic program evaluation for the transition binding search and a concurrent simulation. Furthermore, the inscribed programs can be non-deterministic. In this contribution we present the tools that were developed so far: simulator, editor, reachability graph and library.
Author supplied keywords
Cite
CITATION STYLE
Simon, M., Moldt, D., Schmitz, D., & Haustermann, M. (2019). Tools for Curry-Coloured Petri Nets. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11522 LNCS, pp. 101–110). Springer Verlag. https://doi.org/10.1007/978-3-030-21571-2_7
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
