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