论文部分内容阅读
To solve the problems of the interleaving assumption and the single resource inPUNITY (Petri net and UNITY) and Petri net respectively, this paper proposes a set of mappingrules from PUNITY to UniNet. Based on these rules, problems of one field can be transformed toproblems of the other field and powerful tools of Petri net and UNITY can be used. The papergives a sketch of the mapping rules and applies the rules to an example. Meanwhile, the mappingrules can help computer to translate PUNITY to UniNet easily.