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 · 相关技术