唐达,李晔,王秀坤.一类高级Petri网:XML代数网[J].,2008,(6):912-918 |
一类高级Petri网:XML代数网 |
A class of high-level Petri Nets: XML algebraic nets |
|
DOI:10.7511/dllgxb200806023 |
中文关键词: Petri网 代数高级网 XML代数 XML代数网 哲学家就餐 |
英文关键词: Petri Nets algebraic high-level nets XML algebra XML algebraic nets dining philosopher |
基金项目: |
|
摘要点击次数: 1084 |
全文下载次数: 1068 |
中文摘要: |
综合运用Petri网和XML代数的理论和方法,提出XML代数网.通过对代数高级网在XML代数下的解释和赋值,给出了XML代数网的形式化定义,从而建立了XML代数网的规范化描述.哲学家问题的实例研究展示了XML代数网在动态系统建模和仿真中的应用.研究的结果表明XML代数网作为一种工具对XML应用领域的建模和分析具有实际意义. |
英文摘要: |
XML algebraic nets are proposed by means of theories and methods combining Petri Nets with XML algebra. A formal definition of XML algebraic nets is given by an interpretation and an assignment of algebraic high-level nets under XML algebra. Consequently, the specifications of XML algebraic nets are formed. A case study of philosopher′s problem is investigated to illustrate the applications of dynamic system modeling and simulation based on XML algebraic nets. The research results show that XML algebraic nets, as a modeling and analyzing tool in the field of XML application, are significant in practice. |
查看全文
查看/发表评论 下载PDF阅读器 |
关闭 |
|
|
|