论文部分内容阅读
对规范说明的研究是当前计算机科学领域的一个重要的课题,现已提出多种语言系统。本文从petri网的特点出发,提出了一种基于petri网的规范说明语言。首先介绍了它的数据类型,控制过程及实现方法,详细说明了网类型及其运算。最后还给出了一个具有实用价值的例子。
基于Petri网的规范说明语言
【摘 要】
：
对规范说明的研究是当前计算机科学领域的一个重要的课题,现已提出多种语言系统。本文从petri网的特点出发,提出了一种基于petri网的规范说明语言。首先介绍了它的数据类型,
【机 构】
：
暨南大学计算机科学系,暨南大学计算机科学系
【出 处】
：
暨南大学学报：自然科学与医学版
【发表日期】
：
1989年3期
其他文献
在比较欧美人和亚洲人的相貌时，最容易被人忽视的是面颊。有人认为欧美入五官鲜明生动，其实最大的原因在于他们的五官集中，眼眶凹陷，颧骨突出，正面看，面颊较小。
全球化不仅改变着世界经济、政治、文化的格局,而且极大地影响着现代价值教育的发展.本文从全球化的实质、全球化对现代价值教育的影响以及由此引起的对价值教育的全球性思考
班长，号称企业里的“兵头将尾”。作为企业最基层的管理者，班长既是管理的主体，又是管理的客体；既是管理活动的执行者。又是管理活动的作用对象。正是班长所处的这么个微妙的位置
从1990年和2000年人口普查取得的资料来看,20世纪90年代以来我国制造业就业的空间分布格局发生了显著的变化,内地的制造业就业严重萎缩,东部沿海的制造业就业大量增加,制造业
高效益出自强措施──关于公安县工业经济发展的调查张泽权近几年来，公安县工业企业进步快，发展势头好。目前，全县乡及乡以上工业企业共有３７２家，其中，城镇工业１１９家，乡镇工业１４９家，部门工业１０４家
康医生：俗话说．五十知天命。可我很难做到这一点。我经常无事自烦，若遇丁点小事，更是身如负重心如铸铅。烦得坐卧不安。有次，我自己把心爱的手表弄丢了。心里就烦极了，总想找人生事
“治未病”学说是祖国医学的重要特色和优势。此学说开创了中医对这一领域的独特认识和精辟见解，是目前国内外医学界的研究热点之一。早在《黄帝内经》中就有论述：“圣人不治已病治未病、不治已乱治未乱……夫病已成而后药之，乱已成而后治之，譬犹渴而穿井，斗而铸锥，不亦晚乎。”随着中医学的发展，对于治未病的内容，中医学家将其归纳为未病先防，既病防变、已病早治和瘥后防复几方面。 所谓“未病”就是身体健康，没有疾病
毕升故里在英山──北宋活字印刷术发明家毕升墓考马民权活字版的发明，是我国古代科技“四大发明”之一。其发明家毕升属何处人氏？各种文史资料均无确切记载，已成千年之谜。据《
别误会,不是编辑校对出错,而是我要求编辑就这么写的,二月不仅有30号,还有31号,我们要让二月延伸……有人曾说过这样一句话"一个人能走多远,关键看他与谁同行"。套用一下,我