Petri+nets

Petri+nets技术资料下载专区，收录40份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。

资源总数
40

Petri+nets 热门资料

查看全部 40 份 →

软硬件划分技术是软硬件协同设计中的一个关键技术。提出将时间Petri 网应用到软硬件划分当中，为系统的性能评估提供了形式化的方法和工具。另一方面，将系统功能集中到Petri 网的迁移上，从而将Petr

2024-03-02 1 Petri+nets

模拟一个Petri网的行为:该程序应该读入一组转换规则，以及一组状态列表，这些状态对应与网络链路层发出一个新的分组或者接受一个新的分组。初始状态也是要读入的。该程序应该从初始状态开始，随机地选取那些激活的转换，并激发这些转换，检查一下看是否...

2013-12-16 134 Petri+nets