CCM系统的设计与实现

来源 :计算机应用研究 | 被引量 : 0次 | 上传用户:queenie88
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
CCM模型是一个基于Petri网的用于软件并行开发控制的模型。本文对实现该模型的CCM系统进行了讨论。CCM系统对用CCM语言描述的CCM模型进行识别,利用可达树作为分析工具对所识别的CCM模型的活性进行分析将其转换为屏幕可视的图形形式。
其他文献
日本电力工业中央研究院的能源工程研究实验室研制成功一种更简单的工艺,它有望成为更有效、同时消耗较少能源的工艺。该工艺利用液化二甲醚(DME)在油和水中具有溶混性的独特性
日本电气化学株式会社计划投资约30亿日元(3900万美元)在新加坡新建1套10kt/aPVC纤维装置,预计在2013年建成投产。该装置生产的PVC纤维将用于假发,主要出口到非洲市场。
以葡萄糖与乙酸酐为原料,在催化剂的作用下制备了β-D-葡萄糖五乙酸酯,研究了合成和提纯β-D-葡萄糖五乙酸酯的方法。结果表明,合成最佳条件为:葡萄糖、乙酸酐、醋酸钠的摩尔比为
以2,3-二甲基吡啶为原料,通过N-氧化、硝化反应制得2,3-二甲基-4-硝基吡啶-N-氧化物,收率69.3%、质量分数98.5%以上;在相转移催化剂的作用下,2,3-二甲基-4-硝基吡啶-N-氧化物
美国专用化学品生产商科聚亚公司(Chemtura)将提高抗氧化剂和UV稳定剂的产能.将建立在位于法国Catenoy现有的烷基苯酚产能基础之上。烷基苯酚是生产抗氧化剂的一种主要原材料。
介绍了炭膜的特性,叙述了国内外近年来在制备炭膜前躯体材料、制备方法及炭膜应用方面的最新研究成果,并对炭膜未来的发展前景和方向做了展望,认为如何增加渗透性、减少膜厚
介绍了四氟化碳的性能、用途和生产技术路线。评述了其国内外的市场变化、主要生产厂家规模及分布,从四氟化碳发展历程到今后趋势,说明四氟化碳在氟化工中的地位、我国发展四
荷兰帝斯曼公司和法国罗盖特公司日前宣布计划新建1套商业规模的生物基琥珀酸装置,设计产能10kt/a,将成为欧洲最大的生物基琥珀酸生产装置。该装置将位于罗盖特公司在意大利Cass
研究了离子液体对丙酮连氮水解反应制水合肼的影响。结果表明,亲水性离子液体对该反应有促进作用,当亲水性离子液体[Bmim]BF4为反应介质,[Bmim]BF4、丙酮、水的投料体积比为1.0:1.0
软件开发活动的并行化是缩短软件开发周期、加快软件开发速度的有效途径。本文提出了一个基于Petri网的支持软件并行开发的并行控制模型CCM及其构造方法,从而为实现软件并行开发的有效控制和开发相应的CASE系统奠定了基础。