【摘 要】
：
Petri网作为一种有完备自动化理论的形式描述语言，既有严格的数学表述方式，也有直观的图形表达方式。在科学研究与实践工程中得到了广泛运用。Petri网自身也在不断的变化发展之
论文部分内容阅读
Petri网作为一种有完备自动化理论的形式描述语言，既有严格的数学表述方式，也有直观的图形表达方式。在科学研究与实践工程中得到了广泛运用。Petri网自身也在不断的变化发展之中，在基本Petri网的基础上，添加了很多新的语法特性，增强了Petri网的描述能力。新特性的加入在丰富了语义概念的同时，也带来了兼容性、完备性、一致性的问题，所以有必要对Petri网语义方面的研究做一个梳理．为今后研究角度的选取与内容的甄别做前期铺垫。本文综述了Petri网语义方面的研究现状，主要集中在Petri网语义的转换、扩充及
其他文献
<正> 翻开国际共运史,特别是六十多年来中国共产党革命斗争的光辉史册,可以看到一个清楚的事实:当马克思主义的普遍真理与本国的具体实际相结合,革命和建设事业就蓬勃地向前发展;否则,必定受到严重挫折。既然这种结合具有如此的威力,那么,探求这种结合的基本特点,对于坚持和发展马克思主义,开创具有中国特色的社会主义现代化建设的新局面,就具有十分重大的意义了。
冠状动脉左主干病变是冠心病的少见类型，临床症状重，预后较差。自1997年6月至2005年5月，我院共进行冠状动脉造影315例，发现左主干病变24例，现总结如下。
随着国有商业金融从农村市场的退出，农村金融机构缺位，农村金融服务面临断层的困境。农村信用社受自身实力和规模制约，难以为当前新农村建设提供急需的金融服务。作者认为．进一步
一位为政清廉,有铁面副市长之称的高官,为了关照“北京王姓老总朋友”，不顾议事程序，无视法律法规，分两次将8200万住房公积金送入虎口中——
<正> 《湖南师大社会科学学报》1986年第6期,发表了熊家利先生的《论奴隶社会的基本经济矛盾》一文,率先提出了奴隶社会的基本经济矛盾是:“生产的集体性与部分劳动者被奴隶主占有之间的矛盾”。这是史学界一
<正> 我国的分权式经济改革开始后,城乡经济活力大增,无疑是件大好事。但我认为,加紧完备经济法律体系,以便对分权经济实行宏观控制,才能够巩固和发展改革的成果,使经济运行纳入良性循环的轨道。而现在的经济法律未能深入到社会经济生活的各个领域,没有构成完备的经济法律体系,主要表现在以下四个方面:第一、经济法律体系有缺口,难以发挥整体效应。完备的经济法律体系至少应具备:有从总体上
本文介绍了一种基于单片机的双路直流稳压电源的设计方法，该设计主电路采用单端反激变换器，实现ACd）C变换，输出双路直流电压。控制电路以COP8CDR9单片机为核心，按照时间最优和PID
<正> 人类社会推动了新技术革命的出现,新技术革命反过来对人类社会提出了新挑战。优胜劣汰这一生物竞争的普遍规律,将使人类社会的方方面面都经受着严峻的考验。高校图书馆当然不能例外,也有一个如何充分发挥和拓展自身功能,以适应社会发展需要的问题。因此,本文拟从高校图书馆的教育功能、情报功能、社会功能的充分发挥和拓展,来谈谈一己之见,以作引玉之砖。笫一,教育功能的发挥和拓展
斗门街道是“新长安战略”规划中西部民营经济板块的重要组成部分，区内民营经济发展十分活跃。现有民营、个体企业2800多家。资产1000万元以上的企业20余家。2006年全街道实现