Title :
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
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;
Conference_Titel :
Computer Software and Applications Conference, 1996. COMPSAC '96., Proceedings of 20th International
Conference_Location :
Seoul
Print_ISBN :
0-8186-7579-9
DOI :
10.1109/CMPSAC.1996.542428
