| 图形LOTOS和Petri同模型在PC机上的实现 |
| |
| 引用本文： | 叶海薇,叶新铭.图形LOTOS和Petri同模型在PC机上的实现[J].内蒙古大学学报(自然科学版),1996(1). |
| |
| 作者姓名： | 叶海薇 叶新铭 |
| |
| 作者单位： | 内蒙古大学计算机科学系 |
| |
| 摘 要： | 在ＰＣ机上建立了一个由ＤＯＳ系统支持的图形ＬＯＴＯＳ（ＧＬＯＴＯＳ）软件工具．用这个工具，用户可以设计，显示一个ＧＬＯＴＯＳ说明，也可以把它转换成Ｐｅｔｒｉ网．该系统分为三个模块：ＤＲＡＷ，ＲＥＣＯＶＥＲ和ＴＲＡＮＳＦＥＲ．根据ＧＬＯＴＯＳ模型，模块ＤＲＡＷ给出了一个交互式的菜单系统，用这个系统，用户可以在图形窗口的任何位置画出ＧＬＯＴＯＳ的任一成分；模块ＲＥＣＯＶＥＲ可以自动恢复以前画好的ＧＬＯＴＯＳ模型；根据Ｐｅｔｒｉ网的表示，模块ＲＥＣＯＶＥＲ提供了从ＧＬＯＴＯＳ自动转换到Ｐｅｔｒｉ网的功能．
|
| 关 键 词： | 软件工具，图形LOTOS，Petri网，LOTOS说明 |
The Implementation of Graphical LOTOS and Petri-net Model on PC |
| |
| Ye Haiwei, Ye Xinming.The Implementation of Graphical LOTOS and Petri-net Model on PC[J].Acta Scientiarum Naturalium Universitatis Neimongol,1996(1). |
| |
| Authors: | Ye Haiwei Ye Xinming |
| |
| Abstract: | A Dos-based software tool is built on the personal computer (PC) for graphical LOTOS (GLOTOS). With this tool a user can design,recover a GLOTOS specification and can transform it to Petri-net. Therefore,three modulars are included: DRAW, RECOVER,and TRANSFER. Modular DRAW,based on GLOTOS model,exhibits an interactive menu-driven system with which the user can draw any GLOTOS components anywhere on the screen; Modular RECOVER,also based on GLOTOS model,can automatically recover a GLOTOS model previous drawing; Modular TRANSFER, on the base of Petri-net representation, provides a function that transforms a GLOTOS to a Petri-net automatically. |
| |
| Keywords: | software tool graphical LOTOS Petri-net LOTOS specification |
| 本文献已被 CNKI 等数据库收录！ |
|
