Changes between Version 6 and Version 7 of ccpn

Timestamp:

02/02/19 23:19:02 (6 years ago)

Author:

9simon

Comment:

--

ccpn

@@ -2 +2 @@
 
 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 [http://renew.de Renew] editor environment
+ - to model CCPNs (Curry-coloured Petri nets) with [http://www.curry-language.org Curry] inscriptions in the [http://renew.de Renew] editor environment
  - to simulate CCPN models
  - to generate a reachability graph for CCPN models
- - 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.
+ - to be integrated as a [https://www.haskell.org Haskell] library into Haskell programs
+While [https://www.haskell.org Haskell] is used as the implementations language, [http://www.curry-language.org 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 Curry evaluation environment of the [https://www-ps.informatik.uni-kiel.de/kics2 KiCS2] compiler.