Che cosa comporta la conversione di una rete TB in una rete ad alto livello?

- il contenuto informativo del tempo potrebbe essere contenuto all'interno dei gettoni - implementando delle funzioni che controllano i timestamp dei gettoni nel preset e i tempi di scatto delle transizioni - i gettoni generati da una transizione sono tutti dotati dello stesso dato temporale(non minore della sum(timestamp gettoni preset)) - assiomi 1 e 3 all'interno delle funzioni delle transizioni - assioma 2 necessita di un posto globale contenente il gettone dell'ultimo scatto - assiomi 4 e 5 difficilmente realizzabili con l'aggiunta dii un posto globale in uscita e in ingresso in ogni transizione