Mapping PUNITY to UniNet

To solve the problems of the interleavingassumption and the single resource in PUNITY (Petri net and UNITY) andPetri net respectively,this paper proposes a set of mapping rules from PUNITY to UniNet. Basedon these rules, problems of one field can be transformed to problems ofthe other field and powerful tools of Petri net and UNITY can be used.The paper gives a sketch of the mapping rules and applies the rules toan example. Meanwhile, the mapping rules can help computer to translatePUNITY to UniNet easily.