Informasi yang berkaitan dengan it/Rete di Petri ad alto livello