首页> 外文OA文献 >Compositional Petri Net Models of Advanced Tasking in Ada-95

【2h】

Compositional Petri Net Models of Advanced Tasking in Ada-95

机译：ada-95中高级任务的组合petri网模型

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Ravi K. Gedela; Sol M. Shatz; Haiping Xu;
展开▼
作者单位

展开▼
年度 1999
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Task decomposition and analysis of robotic assembly task plans using Petri nets [J] . Cao T., Sanderson A.C. IEEE Transactions on Industrial Electronics . 1994,第6期

机译：使用Petri网的机器人装配任务计划的任务分解和分析
2. Integration of task networks and cognitive user models using coloured Petri nets and its application to job design for safety and productivity [J] . Tom Kontogiannis Cognition, Technology & Work . 2005,第4期

机译：使用彩色Petri网集成任务网络和认知用户模型，并将其应用于作业设计以提高安全性和生产率
3. Robot task plan representation by Petri nets: modelling, identification, analysis and execution [J] . Hugo Costelha, Pedro Lima Autonomous robots . 2012,第4期

机译：Petri网代表机器人任务计划：建模，识别，分析和执行
4. Modeling of advanced tasking in Ada-95: a Petri net perspective [C] . Gedela R.K., Shatz S.M. Software Engineering for Parallel and Distributed Systems, 1997. Proceedings., Second International Workshop on . 1997

机译：Ada-95中高级任务建模：Petri网观点
5. Verification approach for compositional hierarchical time Petri-nets. [D] . Chen, Lan. 2006

机译：组成分层时间Petri网的验证方法。
6. Modeling the Metabolism of Arabidopsis thaliana: Application of Network Decomposition and Network Reduction in the Context of Petri Nets [O] . Ina Koch, Joachim Nöthen, Enrico Schleiff 2017

机译：模拟拟南芥的代谢：网络分解和网络还原在Petri网中的应用
7. Modeling of advanced tasking in Ada-95: a Petri net perspective [O] . R. K. Gedela 1997

机译：ada-95中高级任务的建模：petri网视角

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号