[software] Petrify-4.2 Petrify is a tool for the synthesis of bounded Petri nets and logic synthesis of asynchronous controllers.Petrify initially performs a token flow analysis of the Petri net and produces a finite transition system (TS).In the initial TS, all t 语言: 其他 大小: 类型: tag: 上传人:32332 上传时间:2023-09-20 1 1条