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