Petri网基本性质的研究的中期报告尊敬的评委、老师、同学们，大家好！我今天来向大家报告我关于Petri网基本性质的研究的中期进展情况。首先，我简要介绍了Petri网的基本概念和常用的表达方式：Petri网是由一组地点和变迁构成的图形，其中地点和变迁之间通过使用输入弧、输出弧和标识数值进行连接。Petri网可以使用状态转移图、变迁系统和扩张函数等方式进行形式描述。然后，我研究了Petri网的基本性质，包括有界性、有限性和安全性等。我列举了一些已有的结论，如：-若Petri网是有界的，则其可达状态集合是有限的。-若Petri网是有限的，则其可达状态集合是有限的。-若Petri网是安全的，则其可达状态集合不包含使标识数值小于零的状态。接着，我探索了以下问题：-在什么情况下Petri网是可化简的？-如何判断Petri网是不是自活的？-在什么情况下Petri网是死锁自由的？最后，我总结了我的研究成果，并展示了对于以上问题的初步探索结果。感谢大家的聆听，有任何问题欢迎提出讨论。