首页> 外文OA文献 >Two Way Concurrent Buffer System without Deadlock in Various Time Models Using Timed Automata

【2h】

Two Way Concurrent Buffer System without Deadlock in Various Time Models Using Timed Automata

机译：使用定时自动机的各种时间模型中无死锁的双向并行缓冲系统

页面导航

著录项
相似文献
相关主题

著录项

作者
Rohit Mishra Md Zeeshan and Sanjay Singh;
展开▼
作者单位

展开▼
年度 2014
总页数
原文格式 PDF
正文语种 {"code":"en","name":"English","id":9}
中图分类

相似文献

外文文献
中文文献
专利

1. Concurrency theory: calculi and automata for modelling untimed and timed concurrent systems [J] . G. Sivakumar Computing reviews . 2007,第11期

机译：并发理论：用于计算非定时和定时并发系统的计算和自动机
2. Deadlock-free scheduling of an automated manufacturing system using an enhanced colored time resource Petri-net model-based evolutionary endosymbiotic learning automata approach [J] . Y. Dashora, S. Kumar, M. K. Tiwari, International journal of flexible manufacturing systems: Design, Analysis and Operation of Manufacturing and Assembly Systems . 2007,第4期

机译：使用增强的有色时间资源，基于Petri网模型的进化内共生学习自动机方法对自动化制造系统进行无死锁调度
3. Deadlock-free scheduling of an automated manufacturing system using an enhanced colored time resource Petri-net model-based evolutionary endosymbiotic learning automata approach [J] . Y. Dashora, S. Kumar, M. K. Tiwari, Flexible Services and Manufacturing Journal . 2007,第4期

机译：使用增强的有色时间资源，基于Petri-net模型的进化内共生学习自动机方法的自动化制造系统的无死锁调度
4. Modeling two way concurrent buffer system using timed automata in UPPAAL [C] . Mishra Rohit, Zeeshaan Md, Singh Sanjay 2012 World Congress on Information and Communication Technologies. . 2012

机译：在UPPAAL中使用定时自动机建模双向并发缓冲区系统
5. Modeling timing faults using timed extended finite state machines and extended timed automata. [D] . Wang, Yu. 2009

机译：使用定时扩展有限状态机和扩展定时自动机对定时故障进行建模。
6. Heart Rhythm Insights Into Structural Remodeling in Atrial Tissue: Timed Automata Approach [O] . Danuta Makowiec, Joanna Wdowczyk, Zbigniew R. Struzik -1

机译：心律对心房组织结构重塑的认识：定时自动机方法
7. Two Way Concurrent Buffer System without Deadlock in Various Time Models Using Timed Automata [O] . Mishra, Rohit, Zeeshan, Md, Singh, Sanjay 2013

机译：不同时间模型中无死锁的双向并发缓冲系统使用定时自动机
8. Verifying Hybrid Systems Modeled as Timed Automata: A Case Study. [R] . Archer, M., Heitmeyer, C. 1997

机译：验证模拟为定时自动机的混合系统：案例研究。

Two Way Concurrent Buffer System without Deadlock in Various Time Models Using Timed Automata

著录项

相似文献

相关主题

期刊订阅