Study and Design of Graphic Petri Nets analyzer Based on Maria
As a modeling tool, Petri nets has been widely used. However graphic Petri nets can give the visual description, but not simulate execution process and automatically generate reachability graph. Maria is an effective and comprehensive analyzer for P/T Nets. It can complete dynamic analysis of Petri nets. In this paper, the structure and relationship of graphic Petri nets and Maria modeling language are discussed in detail. On this basis, a conversion algorithm from graphic Petri nets to description with Maria modeling language is presented. Finally, the functional modules of graphic Petri nets analyzer based on Maria are designed and introduced. This analyzer offers a convenient way for analyzing a Petri net model by Maria.
graphic Petri nets Maria modeling language conversion
Yan Wang Hua Li Jiantao Zhou
Inner Mongolia University College of Computer Science, Huhhot 010021, Inner Mongolia, China Inner Mo Inner Mongolia University College of Computer Science, Huhhot 010021, Inner Mongolia, China
国际会议
成都
英文
571-574
2010-12-17（万方平台首次上网日期，不代表论文的发表时间）