Mapping PUNITY to UniNet

Authors:
GuoFu Zhou;ChongYi Yuan
Affiliations:
School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, P.R. China;School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, P.R. China
Venue:
Journal of Computer Science and Technology
Year:
2003

Citing 5
Cited 0

Parallel program design: a foundation

Parallel program design: a foundation
Comparative study and categorization of high-level petri nets

Journal of Systems and Software
Software modeling and analysis using a hierarchical object-oriented Petri net

Information Sciences: an International Journal
A UNITY Mapping Operator for Distributed Programs

FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
Unfoldings of Coloured Petri Nets

PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 nets 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.