A rede de Petri marcada é representada pela dupla MR.
Para simular o comportamento estático dos sistemas, a marcação da rede de Petri é alterada a cada ação realizada.
Uma importante extensão de uma rede de Petri é o arco inibidor.
Marcas (tokens) representam os componentes de uma rede.
Para escrever sua resposta aqui, entre ou crie uma conta
Compartilhar