Strumenti per lo studio di reti di Petri basati sulla programmazione logica