Come è definita formalmente una rete real time basic?

Da una sestupla: - P : insieme dei posti - T : insieme delle transizioni - F : insieme dei flussi - m0 : multiset della marcatura iniziale - theta : dominio temporale - tf : funzione che associa ad ogni transizione un a funzione temporale