论文部分内容阅读
现有的工作流网到程序设计语言的转换所生成的程序不仅可读性较差而且难以进行验证．针对这一情况，该文给出了一个工作流网到建模、仿真和验证语言（MsVL）的结构化转换工具PN2MSVL．该文首先定义了注释工作流网，然后以注释工作流网为中间模型，利用一组转换规则不断地压缩注释工作流网中的正规结构，最终得到MSVL程序．PN2MSVL生成的MSVL程序不仅具备更好的可读性，而且可以利用MSVL的支持工具MSV进行建模、仿真和验证．另外，该文通过一个应用实例详细地展示了PN2MSVL的执行过程，并通过大量的实验分析了