¿Cómo funciona la regla basada en la verificación con redes de Petri de trabajo y qué es esto bueno para?

Question

Un amigo me señaló a un nuevo desarrollo en ciencias de la computación llamado "basado en las reglas de verificación con redes de Petri".Él no es un equipo chico, pero un artista, así que me pregunto si eso es realmente algo fresco debo mirar?Por teléfono me dijo que a partir de la lectura y la traducción de un periódico en ruso, que esta de lujo nueva tecnología automáticamente el código de arquitecturas de la regla de los sistemas basados perfectamente derecho.Un tipo de inteligencia artificial que nos ayuda a código de la perfección?Ok, la verdad, no sé, no he estudiado ciencias de la computación.

Tengo curiosidad:¿Qué es exactamente esto?Y cómo funciona?¿Puedo usar para mi marco?

Supongo que una "regla basada en el sistema" es casi todo:Todo nuestro código tiene reglas.Esperanza para algunas respuestas útiles.

Answer 1

Las redes de Petri son sólo una forma elegante de expresar un estado del espacio y las transiciones entre los estados.Son Turing-completo, aunque, por lo que todo lo que se aplica a las máquinas de Turing es cierto para las redes de Petri, también.

Ellos no son de ninguna manera una inteligencia artificial.En mi opinión, el debe útil aplicación para redes de petri es como un resumen de la modelización de la herramienta para la simulación de los efectos.

Editar:Algunos ejemplos de esto podría ser la simulación de paquetes en una red de ordenadores o cómo autómatas se comportan.Si usted todavía está interesado, aquí hay un enlace a la Simulación por Ordenador de la clase que enseña a Redes de Petri con algún comportamiento aleatorio: http://www.sim-md.de/its/Lectures/09-PetriNets.pdf

Edit 2:Desprecio el enlace superior, no es trabajo.