Como funciona a verificação baseada em regras com as redes de Petri e para que serve isso?

Question

Um amigo me apontou para um novo desenvolvimento em ciência da computação chamada "verificação baseada em regras com redes de Petri". Ele não é um cara de computador, mas um artista, então eu me pergunto se isso é realmente algo legal que eu devo olhar? Por telefone, ele me contou ao ler e traduzir um jornal em russo, que essa nova tecnologia sofisticada é sobre obter automaticamente as arquiteturas de código dos sistemas baseados em regras perfeitamente certos. Um tipo de inteligência artificial nos ajudando a codificar perfeitamente? Ok, eu realmente não sei, não estudei ciência da computação.

Estou curioso: o que exatamente é isso? E como funciona? Posso usá -lo para minha estrutura?

Eu acho que um "sistema baseado em regras" é quase tudo: todo o nosso código tem regras. Esperança por algumas respostas úteis.

Answer 1

As redes de Petri são apenas uma maneira chique de expressar um espaço de estado e as transições entre os estados. Eles são completos, porém, então tudo o que se aplica a máquinas de Turing também é verdadeiro para redes de Petri.

Eles não são de forma alguma uma inteligência artificial. Na minha opção, a aplicação útil para as redes de Petri é como uma ferramenta de modelagem abstrata para fins de simulação.

Editar: Alguns exemplos para isso podem ser a simulação de pacotes em uma rede de computadores ou como os automatizos se comportarão. Se você ainda está interessado, aqui está um link para a aula de simulação de computador que ensina redes de Petri com algum comportamento aleatório: http://www.sim-md.de/its/lectures/09-petrinets.pdf

EDIT 2: Desconsidere o link superior, ele não está mais funcionando.