Calcola i path e statbilisce se una petri net e' un workflow.

NB: ancora da controllare BENE il colcolo dei path nel caso di presenza
di cicli nella petri net