13 SIMPOSIO BRASILEIRO DE REDES DE COMPUTADORESce-resd.facom.ufms.br/sbrc/1995/p01.pdf · machines,...
20
13 SIMPOSIO BRASILEIRO DE REDES DE COMPUTADORESce-resd.facom.ufms.br/sbrc/1995/p01.pdf · machines, FSM), [2], as Redes de Petri, [3], e a definição de técnicas de descriçäo