A Survey of Petri Net Methods for Controlled Discrete Event Systems 论文
1997Discrete Event Dynamic Systems引用 423
Petri Nets in System ModelingBusiness Process Modeling and AnalysisFormal Methods in Verification
A Survey of Petri Net Methods for Controlled Discrete Event Systems · 相关文章
暂无数据