一类高级Petri网:XML代数网

唐达; 李晔; 王秀坤

首页> 中文期刊> 《大连理工大学学报》 >一类高级Petri网:XML代数网

一类高级Petri网:XML代数网

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

综合运用Petri网和XML代数的理论和方法,提出XML代数网.通过对代数高级网在XML代数下的解释和赋值,给出了XML代数网的形式化定义,从而建立了XML代数网的规范化描述.哲学家问题的实例研究展示了XML代数网在动态系统建模和仿真中的应用.研究的结果表明XML代数网作为一种工具对XML应用领域的建模和分析具有实际意义.

著录项

来源
《大连理工大学学报》 |2008年第6期|912-918|共7页
作者
唐达; 李晔; 王秀坤;
展开▼
作者单位

大连理工大学,电子与信息工程学院,辽宁,大连,116024;

大连理工大学,电子与信息工程学院,辽宁,大连,116024;

大连海事大学,交通运输管理学院,辽宁,大连,116026;

大连理工大学,电子与信息工程学院,辽宁,大连,116024;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
Petri网; 代数高级网; XML代数; XML代数网; 哲学家就餐;

相似文献

中文文献
外文文献
专利

1. 一类新型的模块化高级Petri网——π-网 [J] . 曹木亮 ,吴智铭 ,杨根科 . 上海交通大学学报 . 2004,第1期
2. π-网—一类新型的模块化高级Petri网 [J] . 曹木亮 ,吴智铭 ,杨根科 . 系统仿真学报 . 2003,第z1期
3. DEDS对象化高级Petri网模型研究：柔性生产线对象化高级Petri网模型 [J] . 姜旭升 . 自动化学报 . 1994,第005期
4. 一类用于网变换的Petri网代数系统 [J] . 李俊 ,戴先中 ,孟正大 . 东南大学学报（自然科学版） . 2010,第006期
5. 一类混杂Petri网的极大代数模型研究 [J] . 戴华平 . 浙江大学学报（工学版） . 2004,第012期
6. π-网—一类新型的模块化高级Petri网 [C] . 曹木亮 ,吴智铭 ,杨根科 . 第九届全国Petri网学术年会 . 2003
7. 一类柔性制造系统Petri网模型状态计算的代数方法 [A] . 李雨婷 . 2018

一类高级Petri网:XML代数网

摘要

著录项

相似文献

相关主题

期刊订阅