Mapping PUNITY to UniNet

被引：3

作者：

Zhou, GF ^{[1
]}

Yuan, CY ^{[1
]}

机构：

[1] Beijing Univ, Sch Elect Engn & Comp Sci, Beijing 100871, Peoples R China

来源：

JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY | 2003年 / 18卷 / 03期

基金：

中国国家自然科学基金;

关键词：

Petri net; UNITY; PUNITY; UniNet;

D O I：

10.1007/BF02948908

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：378 / 387

页数：10

共 11 条

[1]

CHANDY KM, 1989, PARALLEL PROGRAM DES

[2]

CHARPENTIER M, 1998, INT WORKSH FORM METH, V388, P820

[3]

CHARPENTIER M, 1997, INT WORKSH FORM METH, P26

[4]

CHARPENTIER M, 1997, LECT NOTES COMPUTER, V1313, P665

[5]

CHARPENTIER M, 1999, ITN C PRINC DISTR SY, P151

[6]

FU HY, 2001, THESIS PEKING U BEIJ

[7] Comparative study and categorization of high-level petri nets [J].

Gerogiannis, VC ;

Kameas, AD ;

Pintelas, PE .

JOURNAL OF SYSTEMS AND SOFTWARE, 1998, 43 (02) :133-160

[8] Software modeling and analysis using a hierarchical object-oriented Petri net [J].

Hong, JE ;

Bae, DH .

INFORMATION SCIENCES, 2000, 130 (1-4) :133-164

[9]

KOZURA V, 2001, A ERSH 4 INT C PERSP, P268

[10] Mapping Petri nets to concurrent programs in CC++ [J].

Yao, WL ;

He, XD .

INFORMATION AND SOFTWARE TECHNOLOGY, 1997, 39 (07) :485-495

← 1 2 →