Mapping Petri Nets to Parallel Programs in CC++

Authors:
Weili Yao;Xudong He
Affiliations:
-;-
Venue:
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Year:
1996

Citing 6
Cited 1

Process-translatable Petri Nets for the rapid prototyping of process control systems

IEEE Transactions on Software Engineering
On the implementation of Petri nets

Advances in Petri Nets 1988
A methodology for constructing predicate transition net specifications

Software—Practice & Experience
Designing and Building Parallel Programs: Concepts and Tools for Parallel Software Engineering

Designing and Building Parallel Programs: Concepts and Tools for Parallel Software Engineering
Primer in Petri Net Design

Primer in Petri Net Design
Casting Petri Nets into Programs

IEEE Transactions on Software Engineering

Coloured Petri nets and graphical simulation for the validation of a robotic cell in aircraft industry

Robotics and Computer-Integrated Manufacturing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Petri nets have been widely used as a tool for modeling and analyzing concurrent and distributed system for many years; however their applications are mainly limited to the earlier activities of software system development. To make Petri nets a full fledge software development methodology, systematic (eventually automatic) code generation techniques are needed. In this paper, 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.