Changes between Version 20 and Version 21 of ccpn
- Timestamp:
- 02/03/19 03:46:07 (6 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
ccpn
v20 v21 47 47 To select the CCPN simulation formalism click on the menu item ''Simulation -> Formalisms -> Curry Net Compiler''. 48 48 Subsequently, you can start a concurrent CCPN simulation by ''Simulation -> Run Simulation''. 49 Please note that the CCPN compilation occurs at the beginning of each new simulation and takes some time before the first marking is visualized. 49 50 Alternatively, you can start a simulation and fire individual transitions by ''Simulation -> Simulation Step''. 50 Please note that the CCPN compilation occurs at the beginning of each new simulation and takes some time before the first marking is visualized.51 51 A running simulation is halted by ''Simulation -> Halt Simulation'' and any simulation is terminated by ''Simulation -> Terminate Simulation''. 52 52