Changes
Page history
Update home
authored
Oct 14, 2017
by
Sinha Aman (Student Com14)
Show whitespace changes
Inline
Side-by-side
home.md
View page @
73bd5090
This project talks about developing CPN Tools extension
s.
DB-nets extension to facilitate the modelling, simulation and execution of DB-net
s.
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