2.2 Matrici Pre, Post, di incidenza; grafo di stato; equazione di stato, di transizione
2.2 Matrici Pre, Post, di incidenza; grafo di stato; equazione di stato, di transizione. rete di Petri: N = (T, P, Pre, Post). DEFINIZIONE FORMALE. T : insieme dei nodi transizione. P : insieme dei nodi posto. Pre : matrice delle marcature per lo scatto.
439 views • 29 slides