【摘 要】
：
为解决当前系统开发不同阶段采用的方法缺乏继承性与连贯性等问题，提出采用Petri网实现系统统一建模与开发的思想。在现有的子网研究基础上进一步讨论了子网与变迁相互替代前
【机 构】
：
广东商学院信息学院 广东广州 510320
【出 处】
：
第十一届全国Petri网理论与应用学术年会
论文部分内容阅读
为解决当前系统开发不同阶段采用的方法缺乏继承性与连贯性等问题，提出采用Petri网实现系统统一建模与开发的思想。在现有的子网研究基础上进一步讨论了子网与变迁相互替代前后接口保持一致和子网的基本属性保持等问题；提出了基于Petri网的功能和数据分析方法以及子系统自动划分的思想；对IDEFO和Petri网两种建模方法分析对比,提出IDEFO模型到Petri网模型的转换思路和方法。研究结果有助于以Petri网为统一工具实现系统建模与开发,为解决当前系统开发遇到的问题提供一种新的途径。
其他文献
对阳离子染料染腈纶过程中染浴pH值进行了研究,认定了最佳实用条件,并在此基础上,分析了不同染料在不同助剂下染色的应用工艺.
在给出会话初始化协议(SIP)的服务工作过程的基础上,建立了SIP的广义随机Petri网模型(GSPN),利用广义随机Petri网坚实的数学基础和分析技术完成对会话初始化协议的分析验证和
本文介绍了一种新的取代苯甲脒盐酸盐类化合物的合成方法.由取代苯甲腈类化合物在甲醇的酸性介质中发生醇解反应,经过中和、氯化铵氨化得到取代苯甲脒盐酸盐类化合物.总收率
本文分析了过氧乙酸漂白亚麻短纤维的特点,探讨了过氧乙酸浓度、pH值、温度、时间对漂白性能的影响.结果表明:过氧乙酸有效地分解了色素,漂白效果好,同时纤维损伤较小,综合性
利用引用网建模工具Renew的赋时属性和库所事件响应机制对其进行了性能评估扩展。引入赋时托肯的可观察性和监视点概念,增加了与性能评估相关的语义和管理功能,包括策略化触
本文对光敏性树形聚合物的研究进展进行综述,介绍了光敏性树形聚合物的结构,其中重点介绍了树形聚合物进行光敏功能化的方法,分为外围光敏化、内核光敏化及内外双重光敏化三
本文介绍了酸性黑ACE的化学结构和合成过程.通过调整组分的配比,确定了染料合成的最佳配比和关键细节的控制,符合车间控制宽容度要求.
以妥尔油脂肪酸和豆油脂肪酸为原料,在碘催化剂的作用下进行异构化反应,并与丙烯酸进行Diels-Alder反应生成C21二元羧酸.粗产品通过分子蒸馏分离提纯得到C21二元羧酸.该化合
应用液相色谱测定C.I.活性黄15染色过程中染液内各物质的峰面积,依此计算出染色残液中水解组分的量.并通过测定染料在纤维上的吸附率,计算纤维上吸附的水解染料量,从而计算出
基于细胞的指数富集配基系统进化(cell-based systematic evolution of ligands by exponentialenrichment,cell-SELEX)是一项筛选能特异识别靶细胞的适配子的技术。适配子是