:: deftheorem defines TrivialColoredPetriNet PETRI_2:def 8 :
TrivialColoredPetriNet = Colored_PT_net_Str(# {{}},{{}},([#] ({{}},{{}})),([#] ({{}},{{}})),{{}},{} #);