Update home authored by Sinha Aman (Student Com14)'s avatar Sinha Aman (Student Com14)
...@@ -10,7 +10,11 @@ Supervisor: ...@@ -10,7 +10,11 @@ Supervisor:
In order to download CPN tools, visit [CPN Tools Homepage](http://cpntools.org/). 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](Project setup) to know how to set up this project.
Click [here]() to know how to use this extension. 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. 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. 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. 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