Projects



Changes between Version 8 and Version 9 of ccpn


Ignore:
Timestamp:
Feb 2, 2019, 11:41:13 PM (6 years ago)
Author:
9simon
Comment:

From Haustermann's Release

Legend:

Unmodified
Added
Removed
Modified

  • ccpn

    v8 v9  
    1212Here we provide a download for reviewers:  [http://www.informatik.uni-hamburg.de/TGI/moldt/renew2.6devbase.zip renew2.6devbase.zip]
    1313
    14 References for CCPN are:
     14=== Prerequisites ===
     15
     16- Java Runtime Environment in Version 9 or later
     17- Git
     18
     19=== Installation ===
     20
     21The CCPN tool set requires two components, Renew with the `CurryCPN` and the `RefNetReachabilityGraph` and the `ccpn` binary.
     22
     23==== Renew ====
     24
     25This 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`.
     26
     27==== ccpn ====
     28
     29The `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.
     30
     31To compile ccpn and all its dependencies run:
     32
     33{{{
     34chmod +x setup_ccpn.sh
     35./setup_ccpn.sh
     36}}}
     37
     38=== Running the application ===
     39
     40To start Renew with the CurryCPN plugin use the generated `loadrenew` script in `bin/unix` or`bin/win`.
     41
     42=== References for CCPN ===
    1543
    1644 - 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.