Draft: Resolve "Argomento 17: Reti di Petri temporizzate"

Daniele Ceribellirequested to merge
argomenti/43 into master

Closes #43

Merge request reports