摘要
Coloured Petri net(CPN)is a high-level net while place/transition net(PTN)is a low-level net.It is very important to establish the relationship betweenthe two nets both in theoretical analysis and practical application.In this paper,wegive a formal method of translating a CPN into a behaviourally equivalent PTN.APTN and its behaviour are formally constructed,a PTN equivalence definition is giv-en,and the same properties of the two nets are proved.
