PETRI网描述的VPML语义
更新时间：2019-05-21
访问次数：
关键词：可视化建模语言 面向对象技术 PETRI网建模
作者单位：北京航空航天大学软件工程研究所
内容提要：企事业过程建模系统EPMS（Enterprise Process Modeling System）以可视化过程建模语言VPML（Visual Process Modeling Language）为基础，用于过程模型建造和过程模型模拟。VPML语义的正确性与完备性是得到可靠的过程模型的基本保证。文章以枚举法为基础，利用PETRI网描述VPML的所有语义，证明其语义的正确性与完备性。利用二者之间建立的映射关系，将VPML建立的模型转换为PETRI网描述，借助于PETRI网工具可进行系统性能分析，提高产品开发的可靠性。
期刊名：计算机工程与应用
期号：第12期
年份：2001
页数：36-42
