%0 Journal Article
%T Mapping PUNITY to UniNet
%A GuoFu Zhou
%A ChongYi Yuan
%A <br>周国富
%A 袁崇义
%J 计算机科学技术学报
%D 2003
%I 
%X To solve the problems of the interleaving assumption and the single resource in PUNITY (Petri net and UNITY) and Petri net respectively, this paper proposes a set of mapping rules from PUNITY to UniNet. Based on these rules, problems of one field can be transformed to problems of the 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 to an example. Meanwhile, the mapping rules can help computer to translate PUNITY to UniNet easily.
%K Petri net
%K UNITY
%K PUNITY
%K UniNet<br>Petri网
%K UniNet
%K PUNITY
%K UNITY
%K 映射规则
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=F57FEF5FAEE544283F43708D560ABF1B&aid=A5FE69A5AD1D9E85C09C18F2C5E9537D&yid=D43C4A19B2EE3C0A&vid=13553B2D12F347E8&iid=38B194292C032A66&sid=2B25C5E62F83A049&eid=2B25C5E62F83A049&journal_id=1000-9000&journal_name=计算机科学技术学报&referenced_num=2&reference_num=11