AUV modeling and analysis using a colored object-oriented petri net
Release time:2024-02-29
Hits:
- Journal:
- First International Multi- Symposiums on Computer and Computational Sciences, IMSCCS\'06
- Page Number:
- 405-409
- Translation or Not:
- no
- Date of Publication:
- 2006
- Pre One:一种基于BPMN的业务流程图到BPEL的映射方法
- Next One:仿真模型组合的验证方法研究