Modeling clinical guidelines through Petri Nets