Come funziona la verifica basata su regole con reti di Petri lavoro e ciò che è un bene per?

Question

Un amico mi ha fatto notare un nuovo sviluppo in informatica denominata "verifica basata su regole con reti di Petri". Non è un ragazzo computer, ma un artista, quindi mi chiedo se questo è davvero qualcosa di fresco devo guardare? Al telefono mi ha detto dalla lettura e traduzione di un giornale in lingua russa, che questa nuova tecnologia di fantasia è tutto automaticamente ottenere architetture di codice di sistemi basati su regole perfettamente ragione. Una sorta di intelligenza artificiale che ci aiuta a codificare perfettamente? Ok, io davvero non lo so, non hanno studiato informatica.

Sono curioso: Che cosa è esattamente questa storia? E come funziona? Posso usarlo per il mio quadro?

Credo che un "sistema basato regola" è quasi tutto: Tutto il nostro codice ha delle regole. Speranza per alcune risposte utili.

Answer 1

Le reti di Petri sono solo un modo elegante per esprimere uno spazio di stati e le transizioni tra gli stati. Essi sono Turing-complete, però, in modo tutto ciò che si applica alle macchine di Turing è vero per le reti di Petri, anche.

Sono in alcun modo un'intelligenza artificiale. A mio parere, l'applicazione utile must per le reti di Petri è come strumento di modellazione astratta per la simulazione.

Edit: Alcuni esempi di questo potrebbe essere la simulazione di pacchetti in una rete di computer o di come si comporteranno automatici. Se siete ancora interessati, ecco un link per classe di computer di simulazione che insegna Reti di Petri con un certo comportamento casuale: http://www.sim-md.de/its/Lectures/09-PetriNets.pdf

Modifica 2:. Ignorare il braccio superiore, non è più lavorando