Update home authored by Sinha Aman (Student Com14)'s avatar Sinha Aman (Student Com14)
This project talks about developing CPN Tools extensions.
DB-nets extension to facilitate the modelling, simulation and execution of DB-nets.
Author:
1. Aman Sinha
......@@ -10,3 +10,7 @@ Supervisor:
In order to download CPN tools, visit [CPN Tools Homepage](http://cpntools.org/).
Click [here](Project setup) to know how to set up this project.
Click [here]() to know how to use this extension.
Refer [Ch. 4](https://gitlab.inf.unibz.it/Aman.Sinha/CPN_Aman/blob/master/report/Report/Aman_Sinha_Master_Thesis.pdf) for basics of DB-nets.
Refer [Ch. 5](https://gitlab.inf.unibz.it/Aman.Sinha/CPN_Aman/blob/master/report/Report/Aman_Sinha_Master_Thesis.pdf) for implementation of DB-nets.
Refer [Ch. 6](https://gitlab.inf.unibz.it/Aman.Sinha/CPN_Aman/blob/master/report/Report/Aman_Sinha_Master_Thesis.pdf) for state space generation.
\ No newline at end of file