A che cosa serve l'algoritmo di floyd? si ottengono grafi aciclici soddisfacenti?

- è un algoritmo che viene utilizzato per semplificare i vincoli forniti dei nodi del grafo di copertura di una rete di petri temporizzata, - scartando informazioni riguardanti come si è arrivati ad un certo stato e mantenento quelle riguardanti la marcatura corrente no, per ottenere dei grafici migliori è opportuno utilizzare: - inclusione fra stati che rappresentano sottoinsiemi di marcature - eliminare i vincoli ai tempi assoluti - introduzione degli stati anonimi per gettoni obsoleti