どのようなルールに基づく検証とペトリネットの仕事とは何ですか？

Question

友人だけがえる、新開発のコンピュータ科学というルールに基づく検証とペトリネット".彼はコンピュータだが、アーティスト、だいているのだろうかんもんこしていくために、新しい?電話での間、私からの読みを翻訳、ロシアの新聞きは、この派手な新しい技術はすべて自動的に取得コード建築のルールに基づくシステムの完全です。種類の人工皮革知る手助けをコードを完全?Ok、全然わかんないい子コンピュータサイエンス。

私は:んでいること"について教えてください。どのような仕組みになっているのか。十分に充電してからご使用くださっさせていただきます。

思"ルールベースのシステム"はほとんど:すべてのコード。いつかの有用な応答となります。

Answer 1

ペトリネットで派手な解決をもたらすことがある状態空間の遷移す。彼らはチューリング-完全なものですから、すべてに適用されるチューリング機械でペトリネットです。

れており、それらのいかなる人工知能.私のoppinion、必要に有用ペトリネットは、抽象的なモデリングツールシミュレーション。

編集：例えばこれシミュレーションのパケットをコンピュータネットワークはどのようautomatsように振る舞います.もし興味があれば、こちらのリンクをシミュレーションのクラスを教えるペトリネットとランダム行動: http://www.sim-md.de/its/Lectures/09-PetriNets.pdf

編集2:を無視し、上部にリンクすることはできません。