Changes between Version 23 and Version 24 of ccpn

Timestamp:

Feb 3, 2019, 6:22:33 AM (6 years ago)

Author:

9simon

Comment:

--

ccpn

@@ -1 @@
-= CCPN: Curry Coloured Petri Nets =
+= Tools for Curry-Coloured Petri Nets =
 
 The Curry-coloured Petri net formalism and its tool set provide the possibilities
@@ -5 +5 @@
  - to simulate CCPN models
  - to generate a reachability graph for CCPN models
- - to integrate the CCPN simulator as a [https://www.haskell.org Haskell] library into Haskell programs
+ - to integrate the [https://git.informatik.uni-hamburg.de/9simon/ccpn CCPN simulator] 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 pureness and the control of side effects by its strong type system.
@@ -20 +20 @@
 == Installation ==
 
-The CCPN tool set requires two components, Renew with the CurryCPN and the !RefNetReachabilityGraph plugin, as well as the CCPN simulator (includes the KiCS2 compiler).
+The CCPN tool set requires two components, Renew with the CurryCPN and the !RefNetReachabilityGraph plugin, as well as the [https://git.informatik.uni-hamburg.de/9simon/ccpn CCPN simulator] (includes the KiCS2 compiler).
 
 === Renew ===