Petri网的元展——一种并发系统模型检测方法
Release time:2021-08-19
Hits:
Publisher:科学出版社
Translated or Not:no
Number of Words:21
Date of Publication:2020-01-01
- Next One:Petri网活性与应用
Guanjun Liu
Professor
Supervisor of Doctorate Candidates
Supervisor of Master's Candidates
E-Mail:
Education Level: Doctor′s Degree graduated
Degree: Doctor of Engineering
Professional Title: Professor
Alma Mater: 同济大学
Discipline:
Computer Science and Technology
Electronic Information Engineering