Petri网模型的程序代码转换

摘要

作为图形数学建模工具,Petri网已得到了广泛应用,但目前的Petri网工具主要用于系统的建模、分析和仿真,很少涉及Petri网模型到程序代码的转换,一般都需要人工来实现代码的编写。在Petri网图形工具中实现Petri网模型到代码的自动转换可以大大简化系统实现。本文研究了Petri网模型到程序代码的映射规则,用面向对象方法建立了Petri网工具,利用组件技术对映射规则加以应用实现整体转换,并以保险索赔为例对该方法进行了验证。