%0 Journal Article
%T 一类高级Petri网:XML代数网
%A 唐达
%A 李晔
%A 王秀坤
%J 大连理工大学学报
%P 912-918
%D 2008
%R 10.7511/dllgxb200806023
%X 综合运用Petri网和XML代数的理论和方法,提出XML代数网．通过对代数高级网在XML代数下的解释和赋值,给出了XML代数网的形式化定义,从而建立了XML代数网的规范化描述．哲学家问题的实例研究展示了XML代数网在动态系统建模和仿真中的应用．研究的结果表明XML代数网作为一种工具对XML应用领域的建模和分析具有实际意义．
%K Petri网
%K 代数高级网
%K XML代数
%K XML代数网
%K 哲学家就餐
%U http://press.dlut.edu.cn/ch/reader/view_abstract.aspx?file_no=20080623&flag=1