MODELAGEM DE SISTEMAS DE TERRAPLENAGEM: UMA ...
21 out. 2005 ... Redes de Petri e sua extensão com restrições de tempo. ..... O fato de a rede ser
estaticamente e dinamicamente livre de conflitos significa que o ... editores de
rede Petri correntes como, por exemplo, o INA e o TINA. 5.
Un extrait du document