首页 | 本学科首页   官方微博 | 高级检索  
     检索      

从增强的LOTOS(E—LOTOS)说明到Petri网的转换
引用本文:李华,曹军.从增强的LOTOS(E—LOTOS)说明到Petri网的转换[J].内蒙古大学学报(自然科学版),1998,29(2):264-271.
作者姓名:李华  曹军
作者单位:内蒙古大学计算机系
摘    要:E-LOTOS对LOTOS的描述能力进行了多方面增强,Petri网是分析系统的有效工具,本提出一种从E-LOTOS说明到Petri网的转网方法,并提出南非进一步考虑的问题。

关 键 词:LOTOS语言  E-LOTOS语言  Petri网

A Translation from Enhanced LOTOS to Petri Nets Model
Li Hua,Chao Jun,Chen Yuehui,Shi Lixin,Li Wen.A Translation from Enhanced LOTOS to Petri Nets Model[J].Acta Scientiarum Naturalium Universitatis Neimongol,1998,29(2):264-271.
Authors:Li Hua  Chao Jun  Chen Yuehui  Shi Lixin  Li Wen
Abstract:
Keywords:LOTOS  E  LOTOS  Petri net  protocol of network  
本文献已被 CNKI 维普 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号