Showing
1 changed file
with
6 additions
and
3 deletions
1 | -# SNAKES is the Net Algebra Kit for Editors and Simulators | 1 | +SNAKES is the Net Algebra Kit for Editors and Simulators |
2 | +======================================================== | ||
2 | 3 | ||
3 | SNAKES is a Python library that provides all the necessary to define | 4 | SNAKES is a Python library that provides all the necessary to define |
4 | and execute many sorts of Petri nets, in particular algebras of Petri | 5 | and execute many sorts of Petri nets, in particular algebras of Petri |
... | @@ -20,7 +21,8 @@ way to introduce flexibility but requiring some involvement. | ... | @@ -20,7 +21,8 @@ way to introduce flexibility but requiring some involvement. |
20 | Next step to use SNAKES should be to read the tutorial that describes | 21 | Next step to use SNAKES should be to read the tutorial that describes |
21 | installation and first steps. | 22 | installation and first steps. |
22 | 23 | ||
23 | -## Useful links | 24 | +Useful links |
25 | +------------ | ||
24 | 26 | ||
25 | * SNAKES homepage (documentation, tutorial, API reference, ...) | 27 | * SNAKES homepage (documentation, tutorial, API reference, ...) |
26 | http://www.ibisc.univ-evry.fr/~fpommereau/SNAKES/ | 28 | http://www.ibisc.univ-evry.fr/~fpommereau/SNAKES/ |
... | @@ -30,7 +32,8 @@ installation and first steps. | ... | @@ -30,7 +32,8 @@ installation and first steps. |
30 | * Ubuntu packages | 32 | * Ubuntu packages |
31 | http://launchpad.net/~pommereau/+archive/ppa | 33 | http://launchpad.net/~pommereau/+archive/ppa |
32 | 34 | ||
33 | -## Copyright / Licence | 35 | +Copyright / Licence |
36 | +------------------- | ||
34 | 37 | ||
35 | (C) 2007-2014 [Franck Pommereau](mailto:franck.pommereau@ibisc.univ-evry.fr) | 38 | (C) 2007-2014 [Franck Pommereau](mailto:franck.pommereau@ibisc.univ-evry.fr) |
36 | 39 | ... | ... |
-
Please register or login to post a comment