Abstract: Maximum constant continuous Petri net(CCPN),one of the timed continuous Petri net models,was first put forward by David.An efficient way for analysis of CCPN properties is developing graph of CCPN.However,for CCPN with effective conflict,it makes the construction of developing graph become more difficult because of the uncertainty of transition excitation caused by effective conflict.Based on the two kinds of solutions for effective conflict-determining priority or distributing flow in proportion,algorithm 2 for calculating the velocity of every transition was presented,and generating algorithm 3 of developing graph was further put forward for bounded CCPN with effective conflict.By means of which,analysis can be made for analyzing the properties of CCPN with effective conflict.

Key words: Maximum constant continuous Petri net,Strongly(Weakly) enabled,Effective conflict,Instantaneous firing velocity,Functioning interval,Developing graph,Algorithm