Casting Petri Nets into Programs
- 1 September 1983
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. SE-9 (5) , 590-602
- https://doi.org/10.1109/TSE.1983.235118
Abstract
A programming system has been implemented in which annotated Petri nets are used as machine-processable high-evel design representations. The nets can be used to express the parallelism and the dynamic sequential dependencies found in complex software. They can then be interactively fired to facilitate debugging of the design. The nets are processed into a procedure language, called XL/1, to which a variety of transformations are applied in order to produce more efficient programs. These programs are generated for either a serial or a parallel processing environment. Finally, the XL/1 programs may be translated into PL/I or PL/S. The serial processing versions have been compiled and run successfully, but the parallel processing versions have not yet been run in a parallel processing environment.Keywords
This publication has 11 references indexed in Scilit:
- On formulating simultaneity for studying parallelism and synchronizationJournal of Computer and System Sciences, 1980
- Special Feature: Putting Petri Nets to WorkComputer, 1979
- XLACM SIGPLAN Notices, 1978
- Can programming be liberated from the von Neumann style?Communications of the ACM, 1978
- Petri NetsACM Computing Surveys, 1977
- PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing SystemsIEEE Transactions on Software Engineering, 1977
- A program data flow analysis procedureCommunications of the ACM, 1976
- HIPO and integrated program designIBM Systems Journal, 1976
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975
- Flowchart techniques for structured programmingACM SIGPLAN Notices, 1973