Changes between Version 1 and Version 2 of ccpn

Timestamp:

02/01/19 18:11:42 (6 years ago)

Author:

haustermann

Comment:

--

ccpn

@@ -1 @@
-CCPN: Curry Coloured Petri Nets
+== CCPN: Curry Coloured Petri Nets ==
 
 The new Petri net formalism and its tools provide the possibilities
@@ -10 +10 @@
 Binding searches are redirected to the compiler, therefore using the efficient implemention of complex operations.
 
-[Download-tools-and-examples] Here we provide a webpage for download for reviewers
+Here we provide a webpage for download for reviewers:  [http://www.informatik.uni-hamburg.de/TGI/moldt/renew2.6devbase.zip renew2.6devbase.zip]
 
 References for CCPN so far are: