【摘 要】
：
Ｅ－ＬＯＴＯＳ对ＬＯＴＯＳ的描述能力进行了多方面增强，Ｐｅｔｒｉ网是分析系统的有效工具，本文提出一种从Ｅ－ＬＯＴＯＳ说明到Ｐｅｔｒｉ网的转换方法，并提出需进一步考虑的问题
E-LOTOS enhances the description ability of LOTOS in
论文部分内容阅读
Ｅ－ＬＯＴＯＳ对ＬＯＴＯＳ的描述能力进行了多方面增强，Ｐｅｔｒｉ网是分析系统的有效工具，本文提出一种从Ｅ－ＬＯＴＯＳ说明到Ｐｅｔｒｉ网的转换方法，并提出需进一步考虑的问题
E-LOTOS enhances the description ability of LOTOS in many ways. Petri net is an effective tool to analyze the system. This paper presents a conversion method from E-LOTOS description to Petri net, and puts forward some problems to be further considered
其他文献
为提高高校医院药品库存管理水平，在保障药品供应的前提下，结合高校医院的特点，采用ABC分类法对本校医院的药品进行分类管理，部分药品实行零库存管理，有效、合理地控制本院药品库
1概述当今市场对产品的要求愈来愈多样化．生产者要想使自己的产品能够占领市场．不仅要使生产的产品具有较高的质量，还需要有快速的反应机制．来缩短产品的开发周期（包括从设计、试
员工素质的提高受到石油企业越来越多的重视,已成为吸引、激励、留住人才的又一重要策略。基层员工培训更是妙招连连,不断推陈出新。曙光采油厂经过多年不懈努力,大力推行员
2005年6月2日,国家环保总局公 布了对全国113个环境保护重点城市的 监测结果,河南省焦作市首次进入“十大 污染城市”黑名单,在全国大气污染最重 的10个城市中名列第八。其他
在温度为400-500℃的Bi_(12)GeO_(20)衬底上,用化学计量的Bi_(12)TiO_(20)靶射频溅射外延生长了Bi_(12)TiO_(20)单晶薄膜。用Bi_(12)TiO_(20)薄膜成功地实现了6328埃H_e-N_e
本刊讯1月26日,全国农药管理工作会议在京召开。农业部对今年农药管理工作提出了“三个确保”的具体目标,即确保不发生因农药残留引发的重大农产品质量安全事故,确保农药产品
目前,频率达6 GC,增益5 db,噪声系数6db。将来,频率将扩大到15～20GC;在6GC时,增益增加到10db;在8GC,增益5db。噪声系数不会下降得太多,如L波段噪声系数只能降为
Currently,
近年来,基层一些单位公款私存问题较为突出,主要是行政事业单位罚没收入、各种收费形成的预算外资金、职工集资款及民营企业生产经营性资金等,以单位会计、出纳和经办人员的
“概率”是一种可能性的大小。当事故来临的时候,对于受害者来说,“概率”就是百分之百。扬子石化一名老操作工某天因为工作比较忙,没有去巡
Probability is the size of a
显象管的调制方式显象管有两种调制方式。一种是栅极调制或调制极调制),其接线如图1a,阴极接地,视频信号加到调制极上。另一种是阴极调制,其接线如图1b,调制极接地,视频信号