一位朋友刚刚向我指出了计算机科学的一个新发展，即“使用Petri网进行基于规则的验证”。他不是一个电脑人，而是一个艺术家，所以我想知道这是否真的很酷我必须看看？通过电话，他通过阅读和翻译俄语报纸告诉我，这种奇特的新技术就是自动获得基于规则的系统的代码架构。一种人工智能帮助我们完美编码？好吧，我真的不知道，还没有读过计算机科学。
我很好奇：这究竟是什么？它是如何工作的？我可以将它用于我的框架吗？
我认为“基于规则的系统”几乎就是一切：我们所有的代码都有规则。希望得到一些有用的答案。
答案 0 :(得分：4)
Petri网只是表达状态空间和状态之间转换的一种奇特方式。然而，它们是图灵完备的，所以适用于图灵机的一切都适用于Petri网。
它们绝不是人工智能。在我看来，petri网必须有用的应用程序是用于模拟目的的抽象建模工具。
编辑：这方面的一些示例可能是模拟计算机网络中的数据包或自动机的行为方式。如果你仍然感兴趣，这里有一个指向计算机模拟课程的链接，教授Petri网有一些随机行为：http://www.sim-md.de/its/Lectures/09-PetriNets.pdf
编辑2：忽略上层链接，它不再有效。