Automatic concurrent Program Generation from Petri nets
Automatic generation of code from Petri-Nets is an important topic.This paper presents a new approach to automatically translate Petri nets into concurrent program.In the proposed approach,place in Petri net is viewed as variable and transition as operating statement which change place marking according to enable and firing semantics.In order to conveniently translate Petri net to CC++program code,sequence block and independent transition is defined and a graph called virtual Petri net is constructed.The translation rules of sequence structure,concurrent structure,select structure and loop structure of Petri nets are developed.According to these presented translation rules,an algorithm of concurrent program code generated automatically for Petri net was proposed.Finally,through case study,the effectiveness of the developed approach is illustrated.
Petri nets automatic concurrent programming CC++
Weizhi LIAO Wenjing LI
College of Mathematics Physics and Information Engineering Jiaxing University Jiaxing,China College of Computer and Information Engineering Guangxi Teachers Education University Nanning,China
国际会议
英国伦敦
英文
34-39
2013-09-02（万方平台首次上网日期，不代表论文的发表时间）