Changes between Version 31 and Version 32 of ccpn

Timestamp:

Feb 18, 2019, 9:35:52 PM (6 years ago)

Author:

9simon

Comment:

Change GitLab? URLs from 9simon to tgipublic/ccpn.

ccpn

@@ -5 +5 @@
  - to simulate CCPN models
  - to generate a reachability graph for CCPN models
- - to integrate the [https://git.informatik.uni-hamburg.de/9simon/ccpn CCPN simulator] as a [https://www.haskell.org Haskell] library into Haskell programs
+ - to integrate the [https://git.informatik.uni-hamburg.de/tgipublic/ccpn/ccpn CCPN simulator] as a [https://www.haskell.org Haskell] library into Haskell programs
 While [https://www.haskell.org Haskell] is used as the implementations language, [http://www.curry-language.org Curry] is used as the inscription language.
 The main advantage is that CCPN inscriptions are side effect free due to the Curry's functional pureness and the control of side effects by its strong type system.
@@ -21 +21 @@
 == Installation ==
 
-The CCPN tool set requires two components, Renew with the CurryCPN and the !RefNetReachabilityGraph plugin, as well as the [https://git.informatik.uni-hamburg.de/9simon/ccpn CCPN simulator] (includes the [https://www-ps.informatik.uni-kiel.de/kics2 KiCS2] Curry compiler).
+The CCPN tool set requires two components, Renew with the CurryCPN and the !RefNetReachabilityGraph plugin, as well as the [https://git.informatik.uni-hamburg.de/tgipublic/ccpn/ccpn CCPN simulator] (includes the [https://www-ps.informatik.uni-kiel.de/kics2 KiCS2] Curry compiler).
 
 We have extensively tested the installation on macOS, but it also supports other Unix-like systems (Linux, BSD,...). Windows is currently not officially supported (see below).
@@ -68 +68 @@
 === As a Haskell Library ===
 
-See the ''Usage Examples'' in the README of the CCPN simulator's [https://git.informatik.uni-hamburg.de/9simon/ccpn/tree/master_thesis_examples master_thesis_examples branch]. They exceed the scope of the ''Tools for Curry-Coloured Petri Nets'' paper, but two of them are explained in the master thesis.
+See the ''Usage Examples'' in the README of the CCPN simulator's [https://git.informatik.uni-hamburg.de/tgipublic/ccpn/ccpn/tree/master_thesis_examples master_thesis_examples branch]. They exceed the scope of the ''Tools for Curry-Coloured Petri Nets'' paper, but two of them are explained in the master thesis.
 
 == 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.
-  - [https://git.informatik.uni-hamburg.de/9simon/ccpn/wikis/uploads/4eac7bfc80b93071c7779d447c6ff58b/Master_Thesis_Michael_Simon__corrected_.pdf Corrected version]
+  - [https://git.informatik.uni-hamburg.de/tgipublic/ccpn/ccpn/wikis/uploads/4eac7bfc80b93071c7779d447c6ff58b/Master_Thesis_Michael_Simon__corrected_.pdf Corrected version]
 
  - Michael Simon and Daniel Moldt. About the development of a Curry-Coloured Petri net simulator. In Robert Lorenz and Johannes Metzger, editors, Algorithms and Tools for Petri Nets, Proceedings of the 21th Workshop AWPN 2018, Augsburg, Germany, number 2018-02 in Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg, pages 53–54, 2018.
@@ -82 +82 @@
 
  - Michael Simon. Concept and implementation of distributed simulations in Renew. Bachelor thesis, University of Hamburg, Department of Informatics, Vogt-Kölln Str. 30, D-22527 Hamburg, March 2014.
-  - [https://git.informatik.uni-hamburg.de/9simon/ccpn/wikis/uploads/ee8394aad2d78d1acb5f923b5d022f61/Bachelor_Thesis_Michael_Simon.pdf Official version]
+  - [https://git.informatik.uni-hamburg.de/tgipublic/ccpn/ccpn/wikis/uploads/ee8394aad2d78d1acb5f923b5d022f61/Bachelor_Thesis_Michael_Simon.pdf Official version]