图形LOTOS和Petri同模型在PC机上的实现

The Implementation of Graphical LOTOS and Petri-net Model on PC

在ＰＣ机上建立了一个由ＤＯＳ系统支持的图形ＬＯＴＯＳ（ＧＬＯＴＯＳ）软件工具．用这个工具，用户可以设计，显示一个ＧＬＯＴＯＳ说明，也可以把它转换成Ｐｅｔｒｉ网．该系统分为三个模块：ＤＲＡＷ，ＲＥＣＯＶＥＲ和ＴＲＡＮＳＦＥＲ．根据ＧＬＯＴＯＳ模型，模块ＤＲＡＷ给出了一个交互式的菜单系统，用这个系统，用户可以在图形窗口的任何位置画出ＧＬＯＴＯＳ的任一成分；模块ＲＥＣＯＶＥＲ可以自动恢复以前画好的ＧＬＯＴＯＳ模型；根据Ｐｅｔｒｉ网的表示，模块ＲＥＣＯＶＥＲ提供了从ＧＬＯＴＯＳ自动转换到Ｐｅｔｒｉ网的功能．

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.