英国Petri Net相关的课程能辅导吗？

　　可以的同学，英国Petri Net相关的课程我们是可以辅导的，同学有任何Petri Net方面的问题，都可以让我们的辅导老师进行解答。同学想重点学习哪部分内容可以直接告诉我们，我们会根据同学的具体需求来制定有针对性的辅导方案。

　　英国Petri Net课程通常会涉及到Petri Net的“经典”结果(关于有界性、传动性、可达性、可覆盖性等)。)和“现代”结果(等价检查和模型检查的(不)可判定性。)，目的是通过介绍Petri Net是如何发展的——从一个有前途的理论模型到大型离散事件系统的设计、规范、仿真、验证和实现的成熟语言，对Petri Net的理论和实践方面进行连贯的描述。

　　英国Petri Net课程大纲：

　　1、Petri Net理论为复杂分布式(并发、并行)系统的建模、设计、仿真和分析提供了形式化基础，并在计算机软件、通信协议、柔性制造系统、软件工程等领域得到了广泛的应用。

　　2、应用Petri Net建模的原理。

　　3、place/transition nets经典结果。有界性，可覆盖性，Karp-Miler树。

　　4、应用place/transition nets进行等价性检验和模型检验的不可判定性。

　　辅导课程结束后，同学应该能够理解Petri Net语言，并使用Petri Net对各类系统建模，同时熟练应用为Petri Net开发的特定分析方法。同学如果有课程补习需求，可以随时联系我们。