ES_LAB_3-a - e
Transcript
ES_LAB_3-a - e
Laboratorio di metodi formali Lucia Pomello scomposizione di sistemi modellati da reti di Petri guidata da invarianti S-invarianti, soluzioni del sistema : NT * x = 0 S-invarianti, soluzioni del sistema : NT * x = 0 p4 = i1 + i4 p5 = i2 + i5 p6 = i1 + i4 + i6 quale componente viene identificata da p4 ? S-componente corrispondente a p4 S-componente corrispondente a i4 S-componente corrispondente a p5 S-componente corrispondente a i5 S-componente corrispondente a i3 p6 S-componente corrispondente a p6 S-componente corrispondente a i6 Sistema P/T limitato ma non coperto da S-invarianti positivi