摘要: 本文首先综述了Petri网的基本理论,包括Petri网的概念和Petri网的分析性质。然后讨论了Petri网在操作系统中的应用。