Changes between Version 17 and Version 18 of ccpn

Timestamp:

02/03/19 03:18:56 (6 years ago)

Author:

9simon

Comment:

Add instructions to Running the application

ccpn

@@ -41 +41 @@
 To start Renew with the CurryCPN plugin use the generated `loadrenew` script in `bin/unix` or `bin/win`.
 
+You can find the example CCPN from the ''Tools for Curry-Coloured Petri Nets'' paper in `examples/word.rnw`.
+The other examples are from the master thesis.
+
+To select the CCPN simulation formalism click on the menu item ''Simulation -> Formalisms -> Curry Net Compiler''.
+Subsequently, you can start a concurrent CCPN simulation by ''Simulation -> Run Simulation''.
+Alternatively, you can start a simulation and fire individual transitions by ''Simulation -> Simulation Step''.
+Please note that the CCPN compilation occurs at the beginning of each new simulation and takes some time before the first marking is visualized.
+A running simulation is halted by ''Simulation -> Halt Simulation'' and any simulation is terminated by ''Simulation -> Terminate Simulation''.
+
+The colored reachability graph can be generated by ''Tools -> Curry Reachability Graph''.
+In the generated graph, a graphical representation of a marking is opened by double-clicking it.
+
 == References for CCPN ==