基于Petri网的应用软件开发及其关键技术

来源 :曲阜师范大学学报:自然科学版 | 被引量 : 0次 | 上传用户:historycode
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
讨论了设计基于Petri网的应用软件中的几个关键技术及相应的解决方法,类似与中间件技术,将Petri网结构文件存储为XML格式文件,系统能够导入和导出基于PNML(Petri Net Markup Language)交换格式的Petri网模型,并简要介绍了基于Petri网的多主体运行环境PNAE(Petri Nets based Agents Environment).
其他文献
通过密度泛函理论(DFT)在6—311G*基组水平上对CH3+HCI<=>CH4+Cl反应进行研究,获得反应中间体,过渡态的最优化构型、能量及振动频率.对前驱化合物、过渡态、后继化合物的频率分析得出了
以黑线姬鼠肝脏组织为材料提取线粒体DNA,并以此为模版定向扩增D-loop区.克隆后测序得到的全序列大小为852bp.选取其相对保守序列与欧洲大陆同种黑线姬鼠进行序列比较,发现2个同
应用关联分析和B型关联分析对NBA比赛中的13项技术指标进行了数据分析.结果表明,从总体作用上看,命中率因子对于比赛的最终结果影响较大,但从作用的稳定性上看,除投篮命中率外,罚球
用电桥法测量了晶体三极管的伏安特性,巧妙地利用电表的内阻,既达到测量实际电压和电流的目的,又最大可能的降低了电表内阻对测量结果的影响,基本消除了系统误差.
研究态射广义Moore-Penrose逆的倒换顺序律, 利用态射广义Moore-Penrose逆的性质给出了态射广义Moore-Penrose逆的倒换顺序律成立的九种等价刻画,推广了关于态射Moore-Penros
以区域可持续发展能力建设为切入点,在构建苏北地区可持续发展能力评价指标体系的基础上,采用均方差权数决策分析方法和GIS技术,对苏北地区可持续发展能力进行综合评价.结果表明:
分析了Glan-Taylor棱镜两部分晶体光轴的不平行对棱镜性能的影响.结果表明:晶体光轴的纵向不平行会对出射光束的偏离角产生影响;晶体光轴的横向不平行会对棱镜的消光比产生一
将武汉市作为研究对象,对武汉市的协调发展水平进行了评价。依据评价结果,可看出武汉市近十年来总体水平有了长足的发展,但是环境和社会的发展以及与经济的协调方面有待进一步改
20008年全球金融危机发生后,公允价值计量属性受到了人们的强烈质疑。但在后金融危机时代我国新会计准则的修订及完善过程中,仍将公允价值作为一项重要的会计计量手段大力推
给出一个新的杂交共轭梯度法.不仅其全局收敛性很容易被证明,而且它避免了产生小步长的倾向.此外,该方法在初始数值结果方面比PRP方法好.