| 一类高级Petri网:XML代数网 |
| |
| 引用本文： | 唐达,李晔,王秀坤.一类高级Petri网:XML代数网[J].大连理工大学学报,2008,48(6):912-918. |
| |
| 作者姓名： | 唐达 李晔 王秀坤 |
| |
| 作者单位： | 1. 大连理工大学,电子与信息工程学院,辽宁,大连,116024
2. 大连理工大学,电子与信息工程学院,辽宁,大连,116024;大连海事大学,交通运输管理学院,辽宁,大连,116026 |
| |
| 摘 要： | 综合运用Petri网和XML代数的理论和方法,提出XML代数网.通过对代数高级网在XML代数下的解释和赋值,给出了XML代数网的形式化定义,从而建立了XML代数网的规范化描述.哲学家问题的实例研究展示了XML代数网在动态系统建模和仿真中的应用.研究的结果表明XML代数网作为一种工具对XML应用领域的建模和分析具有实际意义.
|
| 关 键 词： | Petri网 代数高级网 XML代数 XML代数网 哲学家就餐 |
A class of high-level Petri Nets: XML algebraic nets |
| |
| TANG Da LI Ye,WANG Xiukun.A class of high-level Petri Nets: XML algebraic nets[J].Journal of Dalian University of Technology,2008,48(6):912-918. |
| |
| Authors: | TANG Da LI Ye WANG Xiukun |
| |
| Institution: | TANG Da1,LI Ye1,2,WANG Xiu-kun1 1.School of Electronic , Information Engineering,Dalian University of Technology,Dalian 116024,China,2.Transportation Management College,Dalian Maritime University,Dalian 116026 |
| |
| Abstract: | |
| |
| Keywords: | Petri Nets algebraic high-level nets XML algebra XML algebraic nets dining philosopher |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《大连理工大学学报》浏览原始摘要信息 |
| 点击此处可从《大连理工大学学报》下载免费的PDF全文 |
|
