Petri网基本性质的研究的中期报告.docx

文档介绍：该【Petri网基本性质的研究的中期报告 】是由【niuwk】上传分享，文档一共【1】页，该文档可以免费在线阅读，需要了解更多关于【Petri网基本性质的研究的中期报告 】的内容，可以使用淘豆网的站内搜索功能，选择自己适合的文档，以下文字是截取该文章内的部分文字，如需要获得完整电子版，请下载此文档到您的设备，方便您编辑和打印。Petri网基本性质的研究的中期报告尊敬的评委、老师、同学们,大家好!我今天来向大家报告我关于Petri网基本性质的研究的中期进展情况。首先,我简要介绍了Petri网的基本概念和常用的表达方式:Petri网是由一组地点和变迁构成的图形,其中地点和变迁之间通过使用输入弧、输出弧和标识数值进行连接。Petri网可以使用状态转移图、变迁系统和扩张函数等方式进行形式描述。然后,我研究了Petri网的基本性质,包括有界性、有限性和安全性等。我列举了一些已有的结论,如:-若Petri网是有界的,则其可达状态集合是有限的。-若Petri网是有限的,则其可达状态集合是有限的。-若Petri网是安全的,则其可达状态集合不包含使标识数值小于零的状态。接着,我探索了以下问题:-在什么情况下Petri网是可化简的?-如何判断Petri网是不是自活的?-在什么情况下Petri网是死锁自由的?最后,我总结了我的研究成果,并展示了对于以上问题的初步探索结果。感谢大家的聆听,有任何问题欢迎提出讨论。