Petri网在操作系统课程学习过程中的应用研究

摘要

使用petri网来提高操作系统课程的学习是一种有效的方法.利用这种普通的图形化工具,使得一些难懂的概念譬如进程的并发执行以及相关联的通信和同步可以很好的解释和理解.另外,一些自动和半自动软件工具可以帮助学生分析得到的petri网模型.