:: deftheorem defines outbound PETRI_2:def 9 :
for CPNT being Colored_Petri_net
for t0 being transition of CPNT holds
( t0 is outbound iff {t0} *' = {} );