Mapping Petri nets to parallel programs in CC++

Author

Yao, Weili ; He, Xudong

Author_Institution

Dept. of Comput. Sci., North Dakota State Univ., Fargo, ND, USA

fYear

1996

Firstpage

70

Lastpage

75

Abstract

Petri nets have been widely used as a tool for modeling and analyzing concurrent and distributed system for many years but their applications have been limited to the earlier activities of software system development. To make Petri nets a full fledged software development methodology, systematic (eventually automatic) code generation techniques are needed. We present an approach to derive parallel program skeletons from Petri nets which establishes a link between Petri nets and OO parallel programming and forms a foundation for a Petri net based transformational software development methodology

Keywords

C language; Petri nets; object-oriented languages; object-oriented programming; parallel programming; program interpreters; software engineering; CC++; OO parallel programming; Petri net based transformational software development methodology; Petri net mapping; concurrent systems; distributed systems; parallel program skeletons; parallel programs; systematic code generation techniques; Computer science; Concurrent computing; Fires; Helium; Neodymium; Parallel programming; Petri nets; Skeleton; Software systems; Yarn;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Software and Applications Conference, 1996. COMPSAC '96., Proceedings of 20th International

Conference_Location

Seoul

ISSN

0730-3157

Print_ISBN

0-8186-7579-9

Type

conf

DOI

10.1109/CMPSAC.1996.542428

Filename

542428