如何与皮氏基于规则的验证网工作，这是什么好？

Question

有一个朋友刚刚向我指出了计算机科学的一个新的发展称为“基于规则的验证与Petri网”。他不是一个电脑的人，但一个艺术家，所以我不知道这是否真的凉的东西我都要看？在电话中他告诉我从阅读和翻译在俄罗斯的报纸，这个花哨的新技术是所有自动获得的基于规则的系统的代码结构完全正确的。 A类人工智能帮助我们的完美代码？好吧，我真的不知道，有没有学习计算机科学。

我很好奇：究竟这是什么道理一回事呢？以及它是如何工作的？我可以用它为我的框架？

我猜“基于规则的系统”是几乎所有的东西：我们所有的代码有规则。希望用于一些有用的答案。

Answer 1

Petri网只是表达的状态空间和状态之间的转变看上方式。他们是图灵完备的，虽然如此，适用于图灵机一切都是真的了Petri网了。

他们绝不人工智能。在我的oppinion，对于Petri网的必有用的应用是作为用于模拟目的一个抽象的建模工具。

编辑：对于一些例子可能是数据包的模拟在计算机网络或自动贩卖机将如何表现。如果你仍然有兴趣，这里是计算机模拟类的链接，教Petri网与一些随机行为：的 http://www.sim-md.de/its/Lectures/09-PetriNets.pdf

修改2：忽略上连杆，它不再工作