基于PetriNet的目标机描述的初步的研究.docVIP

基于Petri Net的目标机描述的初步研究 符文杰 清华大学 计算机科学与技术系，北京 100084 A Primary Study in the Architecture Description Language based on Petri-Net Wenjie FU Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China Abstract: Retargetability is especially important in compilers, and architecture description is one of the key elements for such a purpose. The paper studies how to specify the architecture using some kinds of Petri Net models. The concurrency and other properties Petri Net has make it certain advantages as an Architecture Description Language, but the current research