On Hybrid Petri Nets 论文

2001Discrete Event Dynamic Systems引用 244
Petri Nets in System ModelingFormal Methods in VerificationBusiness Process Modeling and Analysis

On Hybrid Petri Nets · 相关事件

暂无数据