点击次数：

论文类型：期刊论文

发表时间：2008-11-15

发表刊物：大连理工大学学报

收录刊物：EI、PKU、ISTIC、CSCD、Scopus

卷号：48

期号：6

页面范围：912-918

ISSN号：1000-8608

关键字：Petri网;代数高级网;XML代数;XML代数网;哲学家就餐

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