for P being set
for N being Petri_net of P
for e being Element of N holds fire <*e*> = fire e