theberto
29-07-2013, 11:58
salve devo analizzare una rete di petri calcolando i sifoni,trappole, matrice di incidenza...
per quanto riguarda le proprietà LTL per la rete non so proprio come calcolarle.
come si calcolano queste proprietà per una rete di petri?
grazie mille
per quanto riguarda le proprietà LTL per la rete non so proprio come calcolarle.
come si calcolano queste proprietà per una rete di petri?
grazie mille