Changes between Version 9 and Version 10 of ccpn

Timestamp:

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

Author:

9simon

Comment:

Bigger headings

ccpn

@@ -1 @@
-== CCPN: Curry Coloured Petri Nets ==
+= CCPN: Curry Coloured Petri Nets =
 
 The Curry-coloured Petri net formalism and its tool set provide the possibilities
@@ -12 +12 @@
 Here we provide a download for reviewers:  [http://www.informatik.uni-hamburg.de/TGI/moldt/renew2.6devbase.zip renew2.6devbase.zip]
 
-=== Prerequisites ===
+== Prerequisites ==
 
 - Java Runtime Environment in Version 9 or later
 - Git
 
-=== Installation ===
+== Installation ==
 
 The CCPN tool set requires two components, Renew with the `CurryCPN` and the `RefNetReachabilityGraph` and the `ccpn` binary.
 
-==== Renew ====
+=== Renew ===
 
 This package contains a precompiled version of Renew and the required plugins. To generate the startup scripts for Renew run the `installrenew`/`installrenew.bat` script in `bin/unix` or`bin/win`.
 
-==== ccpn ====
+=== CCPN ===
 
 The `ccpn` binary has to be compiled manually. The setup script requires Git to check out the ccpn tool and its dependencies. The script uses the Haskell tool [https://haskellstack.org Stack) to download and compile all required dependencies. Stack is automatically installed if it is not already available.
@@ -36 +36 @@
 }}}
 
-=== Running the application ===
+== Running the application ==
 
 To start Renew with the CurryCPN plugin use the generated `loadrenew` script in `bin/unix` or`bin/win`.
 
-=== References for CCPN ===
+== References for CCPN ==
 
  - 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.