Comment fait fondé sur des règles de vérification avec des filets Petri travail et ce que cela est bon pour?

Question

Un ami me fait remarquer à un nouveau développement dans la science informatique appelé « règle de vérification sur la base des réseaux de Petri ». Il n'est pas un gars de l'ordinateur, mais un artiste, alors je me demande si c'est vraiment quelque chose de cool, je dois regarder? Au téléphone, il m'a dit de lire et de traduire un journal en russe, que cette fantaisie nouvelle technologie est tout au sujet d'obtenir automatiquement les architectures de code des systèmes à base de règles parfaitement raison. Une sorte d'intelligence artificielle pour nous aider à coder parfaitement? Ok, je ne sais vraiment pas, ne l'ont pas étudié la science informatique.

Je suis curieux: Qu'est-ce que tout cela? Et comment ça marche? Puis-je utiliser pour mon cadre?

Je suppose un « système à base de règles » est presque tout: Tout notre code a des règles. L'espoir pour quelques réponses utiles.

Answer 1

Les réseaux de Petri sont juste une façon élégante d'exprimer un espace d'état et les transitions entre les états. Ils sont Turing-complet, cependant, si tout ce qui s'applique aux machines de Turing est vrai pour les réseaux de Petri, aussi.

Ils sont en aucun cas une intelligence artificielle. Dans mon oppinion, le moût application utile pour RdP est un outil de modélisation abstraite pour la simulation.

Edit: Quelques exemples pour cela pourrait être la simulation de paquets dans un réseau informatique ou comment se comporteront les automates. Si vous êtes toujours intéressé, voici un lien vers la classe simulation par ordinateur qui enseigne les réseaux de Petri avec un comportement aléatoire: http://www.sim-md.de/its/Lectures/09-PetriNets.pdf

Edit 2:. Ne tenez pas compte du lien supérieur, il ne fonctionne plus