![](https://img-blog.csdnimg.cn/20201014180756923.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
建模技术
文章平均质量分 90
我是标同学
我非常喜欢编程
展开
-
形式化验证的原理和过程
形式化验证就是通过数学方法对程序有一个精细的,准确的描述和认识。原创 2022-10-22 16:31:20 · 4766 阅读 · 0 评论 -
Petri网建模技术基础入门学习
以自然规律刻画变迁及变迁间的关系,使Petri网具有区别于其它模型的许多优点。”表达了Petri网就是直接给物理世界的自然规律建立的计算模型。最好的两个建模技术,自动机模型和Petri网模型(我觉得跟非确定性自动机差不多),其实我觉得还有图论里的图。下面总结了一下比较浅显易懂的文章,看完对Petri网就明白了。关于自动机,可以看我这篇文章,形式语言与自动机总结。文章一 Petr...原创 2019-10-04 10:20:27 · 31262 阅读 · 3 评论