Changes between Version 3 and Version 4 of ccpn

Timestamp:

Feb 2, 2019, 11:08:37 PM (6 years ago)

Author:

9simon

Comment:

--

ccpn

@@ -1 +1 @@
 == CCPN: Curry Coloured Petri Nets ==
 
-The new Petri net formalism and its tools provide the possibilities
- - to model CPN (Coloured Petri Nets) with code annotations with the Renew editor environment, 
+The Curry-coloured Petri net formalism and its tool set provide the possibilities
+ - to model CCPNs (Curry-coloured Petri nets) with Curry inscriptions in the Renew editor environment
  - to simulate CCPN models
  - to generate a reachability graph for CCPN models
- - to be used as a Haskell library
-While Haskell is used as the main programming language Curry is used for the inscription language.
-The main advantage is that CCPN annotations are mostly side effect free due to the strong type system of Haskell and Curry. 
-Binding searches are redirected to the compiler, therefore using the efficient implemention of complex operations.
+ - to be integrated as a Haskell library into Haskell programs
+While Haskell is used as the implementations language, Curry is used as the inscription language.
+The main advantage is that CCPN inscriptions are side effect free due to the Curry's functional purness and the control of side effects by its strong type system.
+Binding searches are based on the highly optimized KiCS2 compiler Curry evaluation environment.
 
-Here we provide a webpage for download for reviewers:  [http://www.informatik.uni-hamburg.de/TGI/moldt/renew2.6devbase.zip renew2.6devbase.zip]
+Here we provide a download for reviewers:  [http://www.informatik.uni-hamburg.de/TGI/moldt/renew2.6devbase.zip renew2.6devbase.zip]
 
-References for CCPN so far are:
+References for CCPN are:
 
  - Michael Simon. Curry-Coloured Petri Nets: A concurrent simulator for Petri nets with purely functional logic program inscriptions. Master thesis, University of Hamburg, Department of Informatics, Vogt-Kölln Str. 30, D-22527 Hamburg, April 2018.