【摘 要】
：
综述了我们在Petri网的进程研究方面所取得的成果,完整地给出了Petri网进程描述方法的体系.详细阐述了Petri网的满进程、Petri网的基本进程段、Petri网的进程表达式、Petri网
【机 构】
：
山东科技大学,信息科学与工程学院,青岛,266510
【出 处】
：
第十次全国Petri网学术年会暨形式化方法学术讨论会
论文部分内容阅读
综述了我们在Petri网的进程研究方面所取得的成果,完整地给出了Petri网进程描述方法的体系.详细阐述了Petri网的满进程、Petri网的基本进程段、Petri网的进程表达式、Petri网的进程网系统等概念.给出了Petri网基本进程段的划分标准,证明了任意Petri网的基本进程段集是一个有限集.分别研究了有界Petri网、无界公平Petri网和任意无界Petri网的进程表达式,给出了与进程表达式描述能力等价的Petri网的进程网系统的概念,研究了进程系统的语言表达式同原系统的进程表达式之间的一一对应关系.
其他文献
本文报告60例抗精神病药物所致的急性肌张力障碍,并进行了临床分析,结果发现本组以11—30岁的病人最为多见,占90%。发作时间大多在用药后1～2天之内,占96.7%。采用抗胆碱药物氢
摘要：随着智能手机的普及，大学生在课堂中使用手机的频率越来越高，已成为高校教师高度关注的几个热点问题之一。本文从充分利用智能手机优势出发，指出几种在心理学教学过程中利用智能手机促进教学效果的具体方法。这对于在高校心理学教学课程中利用智能手机进行教学方法的改革有着重要的借鉴意义。 关键词：智能手机；心理学教学；心理统计课程；人体解剖课程 中图分类号：G434文献标志码：A文章编号：2095-92
作者简介：周莹（1986-），女，辽宁沈阳人，辽宁装备制造職业技术学院，高校辅导员，研究方向：思想政治教育、高校大学生管理。 摘 要：高职院校作为我国人才培养的地方，高职院校为了向社会培养更多的专业人才，实施顶岗实行有着重大作用。顶岗实习是学校安排在校学生实习的一种方式，在顶岗实习期间，学生需要完全履行其实习岗位的所有职责，具有较大挑战性。在高职院校定岗实习过程中，学生管理是一项重要的工作，它关
糜蛋白酶引起过敏性休克死亡者临床报道不多,现将我们遇见的2例报道如下: 例1,男性,62岁,因反复咳嗽、咳痰10余年,发热伴咳脓痰1周入院。既往有青、链霉素过敏史。查体:体温3
波在传播过程中，由于波源或观察者相对于媒质运动，致使观察者观察到的频率与波源发出的频率不同，这就是多普勒效应。二种频率之间的关系称之为频率变换公式。现行普通物理教材中
摘要：现代化中国教育的发展，我们必须先了解教育管理信息。我们的大学制度改革，充分符合现代管理技术，特别是计算机信息技术，提供行政便利和效益情况的学院。本文介绍思维管理的信息化教学，详细分析其必要性和实施可行性，指出目前信息技术在高等教育管理中的问题，根据这些问题，作出相应的解决方案，并且在大多数教育改革过程实行信息化管理。 关键词：高校；教学管理；信息化；信息技术 中图分类号：G647文献标志
本文对通感理论在智能音响设计中的应用进行论述和探究,强调通感理念在产品设计中的重要性。以通感理念为设计基础,从智能音响的物质层面与精神层面的通感设计出发,在造型、
本文报告2例快频率依赖型束支传导阻滞,并对其发生机理略加讨论。例1,刘某,男,60岁。因劳累后心慌气短5年,加重1个月入院。临床诊断为冠心病、房颤、心功能Ⅲ级。Ⅱ导联记录
基于逆动力学控制的思想,提出一种RBF神经网络逆控制与PID控制相结合的在线自学习控制方案。辨识器采用RBF神经网络结构和最近邻聚类算法,实现了对系统逆动力学模型的动态辨识。并将辨识模型作为控制器模型,与被控对象串联,构成一个动态伪线性对象,从而使非线性对象的控制问题转换为线性对象的控制问题。仿真实验证明该控制策略不仅能使系统具有良好的动态跟踪性能和抗干扰能力,而且具有较强的鲁棒性。
摘 要：日本成为世界第二经济强国，宏观调控以及宏观调法对日本的教育起了至关重要作用，战前与战后日本教育的法律基础发生了很大改变，日本教育调控在教育政策、计划、产业、财政、金融、税收、价格等方面取得很多瞩目成就，但日本教育的调控也存在着一些问题，本文对此作了法律分析，以期能为我国教育调控的完善提供若干启发和借鉴。 关键词：日本教育;宏观调控;宏观调控法;调控政策 一、教育与宏观调控法的关系 宏