图形E-LOTOS的一个编辑软件和执行算法

An Edit Software and Excuting Arithmetic of Graphic E LOTOS

给出了图形Ｅ－ＬＯＴＯＳ编辑软件的主要组成和特点，同时提出了图形Ｅ－ＬＯＴＯＳ的一种执行算法．试图为今后的系统设计、验证、执行和测试工作提供一个良好的环境．

Developed a software which can edit graphic E LOTOS using JAVA . Further more an arithmetic of executing of graphic E LOTOS is presented.This software will provide a good environment for the design、verification、execution and testing of system.