从增强的LOTOS(E-LOTOS)说明到Petri网的转换  

A Translation from Enhanced LOTOS to Petri Nets Model

作　　者：李华[1] 曹军[1] 陈月惠 石立新 李文 

机构地区：[1]内蒙古大学计算机系

出　　处：《内蒙古大学学报（自然科学版）》1998年第2期264-271,共8页Journal of Inner Mongolia University：Natural Science Edition

基　　金：国家自然科学基金

摘　　要：Ｅ－ＬＯＴＯＳ对ＬＯＴＯＳ的描述能力进行了多方面增强，Ｐｅｔｒｉ网是分析系统的有效工具，本文提出一种从Ｅ－ＬＯＴＯＳ说明到Ｐｅｔｒｉ网的转换方法。Enhanced LOTOS (E LOTOS) is a description language which enhances the power of description of LOTOS in many aspects.Petri net is an effective tool by which we can analyze the property of a system.This paper presents an approach by which we can translate E LOTOS description to Petri net model.In this paper,we raise a problem which should be considered later.

关 键 词：LOTOS语言 E-LOTOS语言 PETRI网 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]