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

来源 :曲阜师范大学学报：自然科学版 | 被引量 : 0次 | 上传用户：historycode

【摘要】

：

讨论了设计基于Petri网的应用软件中的几个关键技术及相应的解决方法,类似与中间件技术,将Petri网结构文件存储为XML格式文件,系统能够导入和导出基于PNML(Petri Net Markup

【作者】

：

徐颖蕾张群卞飞

【机构】

：

山东财政学院计算机信息工程学院,南京信息工程大学信息与通信系,山东省科技馆信息处

【出处】

：

曲阜师范大学学报：自然科学版

【发表日期】

：

2005年2期

【关键词】

：

PETRI网 PNML PNAE Petri nets PNML PNAE

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

讨论了设计基于Petri网的应用软件中的几个关键技术及相应的解决方法,类似与中间件技术,将Petri网结构文件存储为XML格式文件,系统能够导入和导出基于PNML(Petri Net Markup Language)交换格式的Petri网模型,并简要介绍了基于Petri网的多主体运行环境PNAE(Petri Nets based Agents Environment).

其他文献

密度泛函理论研究反应CH3＋HCl＜=＞CH4＋Cl（Ⅰ）频率分析与反应机理

通过密度泛函理论（DFT）在6—311G＊基组水平上对CH3＋HCI＜=＞CH4＋Cl反应进行研究，获得反应中间体，过渡态的最优化构型、能量及振动频率．对前驱化合物、过渡态、后继化合物的频率分析得出了

期刊

前驱化合物过渡态后继化合物电子转移precursor complex transition state successor complex ele

黑线姬鼠线粒体DNA控制区的序列测定及分析

以黑线姬鼠肝脏组织为材料提取线粒体DNA，并以此为模版定向扩增D-loop区．克隆后测序得到的全序列大小为852bp．选取其相对保守序列与欧洲大陆同种黑线姬鼠进行序列比较，发现2个同

期刊

黑线姬鼠线粒体D-LOOP区Apodemus agraritus mitochondrial DNA D-Loop region

2004-2005赛季NBA常规技术统计与特点分析

应用关联分析和B型关联分析对NBA比赛中的13项技术指标进行了数据分析．结果表明，从总体作用上看，命中率因子对于比赛的最终结果影响较大，但从作用的稳定性上看，除投篮命中率外，罚球

期刊

NBA关联分析B型关联分析评价NBA relational analysis relation analysis of B-mode evalua

电桥法测晶体管的输出特性

用电桥法测量了晶体三极管的伏安特性，巧妙地利用电表的内阻，既达到测量实际电压和电流的目的，又最大可能的降低了电表内阻对测量结果的影响，基本消除了系统误差．

期刊

饱和电桥零偏电压集电极电流saturation bridge zero bias current of collector

关于态射广义Moore-Penrose逆的倒换顺序律

研究态射广义Moore-Penrose逆的倒换顺序律, 利用态射广义Moore-Penrose逆的性质给出了态射广义Moore-Penrose逆的倒换顺序律成立的九种等价刻画,推广了关于态射Moore-Penros

期刊

态射Moore-Penmse逆倒换顺序律morphism Moore-Penrose inverse reverse law

苏北地区可持续发展能力空间结构与对策研究

以区域可持续发展能力建设为切入点，在构建苏北地区可持续发展能力评价指标体系的基础上，采用均方差权数决策分析方法和GIS技术，对苏北地区可持续发展能力进行综合评价．结果表明：

期刊

苏北地区可持续发展能力空间结构north Jiangsu sustainable development ability spacial differ

晶体光轴的不平行对Glan—Taylor棱镜性能的影响

分析了Glan-Taylor棱镜两部分晶体光轴的不平行对棱镜性能的影响.结果表明:晶体光轴的纵向不平行会对出射光束的偏离角产生影响;晶体光轴的横向不平行会对棱镜的消光比产生一

期刊

Glan-Taylor棱镜晶体光轴光束偏离角Glan-Taylor prism optical axis of crystal beam deflec

城市协调发展水平评价及对策研究——以武汉市为例

将武汉市作为研究对象，对武汉市的协调发展水平进行了评价。依据评价结果，可看出武汉市近十年来总体水平有了长足的发展，但是环境和社会的发展以及与经济的协调方面有待进一步改

期刊

武汉市系统评价值综合评价值协调发展系数Wuhan city appraisement value of system total appraisem

后金融危机时代公允价值会计准则再思考

20008年全球金融危机发生后,公允价值计量属性受到了人们的强烈质疑。但在后金融危机时代我国新会计准则的修订及完善过程中,仍将公允价值作为一项重要的会计计量手段大力推

期刊

后金融危机新会计准则公允价值financial crisisnew accounting standardsfair value

无约束优化问题的一个新的杂交共轭梯度法

给出一个新的杂交共轭梯度法.不仅其全局收敛性很容易被证明,而且它避免了产生小步长的倾向.此外,该方法在初始数值结果方面比PRP方法好.

期刊

无约束优化共轭梯度法线搜索全局收敛性unconstrained optimization conjugate gradient method lin

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

与本文相关的学术论文