:: deftheorem Def11a defines Colored-PT-net-Family-like PETRI_3:def 1 :
for I being non empty set
for CPNTS being ManySortedSet of I holds
( CPNTS is Colored-PT-net-Family-like iff for i being Element of I holds CPNTS . i is Colored-PT-net );