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
The C++ programming language (2nd ed.)
The C++ programming language (2nd ed.)
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
A Formal Definition of Hierarchical Predicate Transition Nets
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
Casting Petri Nets into Programs
IEEE Transactions on Software Engineering
Object orientation in hierarchical predicate transition nets
Concurrent object-oriented programming and petri nets
Hi-index | 0.00 |
The paper presents an approach to translate hierarchical predicate transition nets into CC++ (a concurrent object oriented language) program skeletons. The approach consists of an overall translation architecture and a set of translation rules based on the syntax and semantics of hierarchical predicate transition nets. The results have established a link between hierarchical predicate transition nets and concurrent object-oriented programming, and provided some building blocks for a hierarchical predicate transition net based transformational software development methodology.