Attack-Tree-Petri-Nets

A New Model of Attack Trees in Petri Nets by Categorical Means

Name		Name	Last commit message	Last commit date
Latest commit History 29 Commits
RelatedWorks		RelatedWorks
.gitignore		.gitignore
Makefile		Makefile
NotesAttackTreesPetriNets.tex		NotesAttackTreesPetriNets.tex
PDL_for_Petri.tex		PDL_for_Petri.tex
Quantify_Petri.tex		Quantify_Petri.tex
README.md		README.md
abstract.sty		abstract.sty
cmll.sty		cmll.sty
function-spaces.hs		function-spaces.hs
introduction.tex		introduction.tex
main.pdf		main.pdf
main.synctex.gz		main.synctex.gz
main.tex		main.tex
mathpartir.sty		mathpartir.sty
petri.tex		petri.tex
references.bib		references.bib
related_work.tex		related_work.tex
stmaryrd.sty		stmaryrd.sty

Provide feedback