【摘 要】
：
本文定义Petri网嵌入操作的概念，讨论了嵌入操作对于系统行为（语言）以及性质（如活性，公平性，安全性和回归性）的保持关系，得到了一组充要条件，给出基于嵌入操作的并发系统递阶设计方法．
【机 构】
：
山东矿业学院应用数学与软件工程系!泰安，271019,中国科学院自动化研究所!北京，100080,中国科学院自动化研究所!北京，100080,中国科学院自动化研究所!北京，100080
论文部分内容阅读
本文定义Petri网嵌入操作的概念，讨论了嵌入操作对于系统行为（语言）以及性质（如活性，公平性，安全性和回归性）的保持关系，得到了一组充要条件，给出基于嵌入操作的并发系统递阶设计方法．
This paper defines the concept of Petri nets embedding operation, discusses the relationship between embedded operation and system behavior (language) and properties (such as activity, fairness, security and regressivity), and obtains a set of necessary and sufficient conditions. Hierarchical operation of the system design method.
其他文献
摘 要： 共振碎石化技術具有广阔的前景，它修补速度快、质量高、扰民少，对于保证国家经济大动脉的畅通具有重大的社会意义和经济效益，而且能够实现水泥路面混合旧料再利用，不废弃任何旧混合料，节约资源，保护了生态环境。本文在充分了解共振破碎原理的基础上，对高速公路旧水泥路面共振破碎施工流程及注意事项进行了分析与探究。 关键词： 高速公路；旧水泥路面；共振破碎 水泥混凝土路面在我国路面中占有相当大的比例
以特青为母本与Lemont杂交,然后用特青为轮回亲本回交,建立特青背景下的染色体片段置换系(CSSL)群体。在正常和低氮条件下分别在生长后期对株高(PH)、单株穗数(PN)、叶绿素含
摘 要： 随着社会经济的飞速发展，人口数量爆炸式剧增以及农村人口往城市迁移，各个发达城市面积已经不足以容纳飞速增长的人口，这促使着城市化进程的不断推进，与此同时，科技水平提升带来的高层建筑施工技术深受广大人民群众的青睐。高层建筑施工极大程度上缓解了城市人民用地紧张问题，近几年来，高层建筑如同雨后春笋般在中国这个广袤的土地上遍布开来。但是，高层建筑也带来一系列困扰，首当其冲的便是安全问题。高层建筑施
摘 要： 当前在我国的电力企业的管理体系当中，供电所是一个最基层的单位。供电所具有为广大用电户进行直接供电、服务用户的重要的工作职责任。伴随着当前我国国民经济的发展趋势，工业用电的增加，使得供电的负荷也在不断的提升，同时也进一步拓展了供电的配网规模，日益彰显出供电所在供电工作当中的重要地位。在当前全新的发展趋势下，如何来有效的提升供电所的整体管理效率與管理质量，业已成为现今电力企业管理的一个研究与
摘 要： 高分子材料是近几年来一种尤其先进的材料，无论是在国内还是在世界范围内都发挥着举足轻重的作用。高分子材料所涉及的范围比较广泛，工业领域、农业领域甚至是我们的日常生活都与高分子材料息息相关，并且联系越来越紧密，另一方面，高分子材料的产量正在逐年增加，逐渐开始超过金属材料。虽然高分子材料在当今社会的应用广泛，作用重大，但是高分子材料一直以来都面临着老化问题，本文就针对高分子材料的老化问题进行详
摘 要： 随着电力系统规模的不断扩大，系统所面临的窃电风险越来越大，一些窃电者会通过不同的手段窃电，为电力企业带来严重的经济损失，还会损害电力用户的利益。因此，需要加强对电力系统的用电监察，全面了解常用的窃电手段。本文对用电监察中的窃电技术进行分析，并就相应的反窃电技术进行探讨。 关键词： 用电监察；窃电技术；反窃电技术 非法窃电会影响电力系统的正常运行，窃电技术随着科学技术的发展而变得多样化
摘 要： 当前随着不同类型的机动车大量出现，使得沥青路承载的重量的压力也越来越大。为了保证沥青路面的持久性和耐用性，在沥青路面的施工过程中需要高度重视其施工技术，并且要重点分析施工要点。本文通过对沥青道路的施工技术的分析，旨在为城市基础设施提供一定的建设意见。 关键词： 沥青公路；路面；施工要点 引言 现阶段，伴随着我国运输业的急剧发展，公路所承受的重力也在不断地提升，因此在公路建设过程中要
摘 要： 随着我国建筑事业的快速发展，传统建筑形式和电气设备的功能已经无法满足现代化建筑需求，工程设计人员对现代化建筑电气及智能化系统开始了新的思考。在建筑领域，电气系统的合理设计和智能化系统的优化组合是实现建筑现代化的必要前提。传统的供电模式满足不了大型电气设备对供电质量的需求，日益增多的电气设备对建筑供电系统的可靠性提出了更高的要求。为此，本文在充分了解建筑电气工程对智能化技术需求的基础上，对
多年的坚守与砥砺,时代已让牡丹江新闻传媒集团由孤独的市场舞者变成了行业不可多得的先行样板。为推动中国传媒体制改革与产业发展,进一步促进和完善牡丹江新闻传媒集团的一
摘 要： 随着我国经济的快速发展，测量测绘工程技术也在不断地成熟，从而使测量测绘工程测量出来的数据更加的准确，这样有利于保证工程项目的整体质量。为此，本文主要对工程项目中“3S”测绘技术的概况及应用进行了分析与探究。 关键词： 工程测绘；GPS测量技术；数字化测绘技术；遥感技术 一、3S技术的概况 3S技术，即空间定位系统（GPS）技术、遥感（RS）技术和地理信息系统（GIS）技术。3S是目