云南高校图书馆联盟文献共享服务平台- PNML

PNML: 作品数：20被引量：52H指数：4; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：马炳先周建涛张正明赵俊峰袁崇义更多>>; 相关机构：济南大学内蒙古大学北京大学华中科技大学更多>>; 相关期刊：《工业控制计算机》《系统仿真学报》《滁州学院学报》《计算机与数字工程》更多>>; 相关基金：国家自然科学基金内蒙古自治区自然科学基金山东省高等学校科技计划项目山东省优秀中青年科学家科研奖励基金更多>>

Mapping AADL to Petri Net Tool-Sets Using PNML Framework: 《Journal of Software Engineering and Applications》2014年第11期920-933,共14页Hassan Reza Amrita Chatterjee; Architecture Analysis and Design Language (AADL) has been utilized to specify and verify nonfunctional properties of Real-Time Embedded Systems (RTES) used in critical application systems. Examples of such critical ap...; 关键词：Model-Based Engineering PETRI NETS AADL PNML Software Architecture Formal Methods

自控网系统建模工具的研究与开发被引量：3: 《计算机科学》2014年第7期97-101,共5页万军赵不贿陆继远; 国家自然科学基金资助项目(61070058);江苏高校优势学科建设工程资助项目(苏政办发[2011]6号)资助; 自控网系统是一类具有非线性关系和强大建模能力的Petri网。应用可视化编程平台Visual Studio.NET开发了自控网系统建模工具CyberNetTool。用户可在交互方式下建立自控网系统模型,并采用PNML格式文件来存储模型。构造了软件核心类,以实...; 关键词：PETRI网自控网系统建模 PNML

UML活动图到Petri网的转换方法及实现研究被引量：11: 《计算机科学》2014年第7期143-147,共5页赵俊峰周建涛邢冠男; 国家自然科学基金资助项目(61262082);国家教育部重点资助项目(212025);内蒙古杰出青年学者科学基金资助项目(2012JQ03);内蒙古自然科学基金资助项目(2011MS0911)资助; 统一建模语言UML缺乏形式化语义,由其描述的模型难以进行动态的分析和验证。而Petri网在具有丰富而严格语义的同时,又有严谨的数学分析方法。综合运用Petri网和UML能够提高软件描述的全面性、一致性、精确性和完整性。研究了UML活动图向...; 关键词：UML 活动图 PETRI网 PNML 转换规则

基于Petri网的FMS建模及模型标准文件格式转化的研究: 《工业控制计算机》2013年第9期118-120,共3页张威米智伟韩正功; 首先对FMS的建模方法 Petri网理论进行简单的介绍,紧接着给出一个FMS加工案例,并通过一款Petri网建模软件ExSpect对其进行建模,并给出各库所、变迁的说明。随后简单介绍一下PNML的总体组成结构。最后将案例中部分工件的Petri网图形模型...; 关键词：FMS 建模 PETRI网 PNML

BPEL到PNML文件转换框架的设计与实现被引量：1: 《计算机应用与软件》2013年第5期60-64,共5页刘士喜胡晓静; 国家自然科学基金项目(61170059);安徽省高校省级科学研究项目(KJ2011B117;KJ2012Z282);滁州学院自然科学基金资助项目(2010KJ016B;2011KJ008B); 针对Web服务组合流程的Petri网自动建模问题,以Web服务组合流程为研究对象,采用BPEL4WS作为Web服务组合流程描述语言,设计并实现一个BPEL文件到PNML(Petri Net Markup Language)文件的转换框架,自动实现Web服务组合的Petri网建模。该框...; 关键词：WEB服务组合 PETRI网 BPEL4WS PNML

Web服务组合的Petri网自动生成方法被引量：10: 《小型微型计算机系统》2013年第2期332-337,共6页马炳先相东明张正明; 国家自然科学基金项目(60903099)资助;山东省优秀中青年科学家奖励基金项目(BS2009DX012)资助;山东省高等学校科技计划项目(J09LG14)资助; 针对Petri网理论与方法在服务计算中的应用,从Web服务执行的角度,在定义Web服务组合的Petri网的基础上,给出Web服务组合的Petri网的自动生成方法.首先对Web服务的Petri网描述,通过利用Web服务的输入、输出等元素的本体定义为Petri网中...; 关键词：WEB服务 PETRI网 PNML OWL 服务组合

基于Petri网的Web服务注册方法的研究与实现被引量：2: 《电信科学》2012年第11期86-91,共6页张正明马炳先相东明; 国家自然科学基金资助项目(No.60903099);山东省优秀中青年科学家奖励基金资助项目(No.BS2009DX012);山东省高等学校科技计划基金资助项目(No.J09LG14); 为了使Petri网理论与方法在服务组合相关问题中得到实际应用,从软件实现的角度,解决面向Web服务组合的Petri网的自动生成问题,本文提出了基于Petri网的Web服务注册方法。首先根据已建立的领域本体来规范Web服务各参数的定义,然后依据We...; 关键词：WEB服务本体 PETRI网 PNML+OWL

UML时序图向PNML转换的研究与实现被引量：3: 《武汉大学学报（理学版）》2011年第6期511-516,共6页赵俊峰周建涛; 国家自然科学基金(60863015);国家科技部春晖计划(Z2007-1-01042);内蒙古自然科学基金资助项目(2011MS0911); 对已有行为模型向Petri网的转换机制进行对比分析,提出改进的UML2时序图到Petri网的转换规则,实现了时序图向Petri网标记语言转换的工具.实验结果表明,本文提出的工具能有效地将时序图转化为Petri网模型并生成相应PNML文件,进而更好地对...; 关键词：UML 时序图 PNML PETRI网转换规则

PNML到SVG矢量图转换的研究与实现被引量：1: 《滁州学院学报》2011年第5期22-24,共3页胡晓静刘士喜马骏; 安徽省教育厅自然科学基金资助项目(KJ2011B116);滁州学院自然科学基金资助项目(2010kj016B);滁州学院自然科学基金项目(2011kj008B); 针对Petri网的图形化表现形式,讨论了运用XSLT样式表把基于PNML文件的Petri网图形转换为SVG矢量图的方法,给出从Petri网图形到SVG矢量图转换的实现细节。结合应用实例借助PNK(Petri NetKernel)工具建立模型并进行仿真,验证了方法的有效性。; 关键词：PETRI网 PNML文件 SVG矢量图 XSLT样式表

基于Petri网的Web服务的创建与描述被引量：3: 《系统仿真学报》2011年第B07期19-25,共7页张正明马炳先相东明; 国家自然科学基金(60903099);山东省优秀中青年科学家奖励基金(BS2009DX012);山东省高等学校科技计划项目(J09LG14); 为了更好的支持Web服务组合的Petri网系统的自动生成,提出了在发布Web服务的时候即建立该服务的PNML(Petri Net Markup Language)+OWL(Ontology Web Language)的方法,在建立Web服务领域本体的基础上,通过创建Web服务的Petri网模型,为Pe...; 关键词：WEB服务 PETRI网本体 PNML OWL-S

PNML