Mathematical transformation of Petri-nets for development of parallel/distributed programs

Y.E Papelis; T.L Casavant

doi:10.1109/CMPSAC.1990.139334

Back

Conference proceeding

Mathematical transformation of Petri-nets for development of parallel/distributed programs

Y.E Papelis and T.L Casavant

Proceedings., Fourteenth Annual International Computer Software and Applications Conference, pp.92-98

International Computer Software and Applications Conference, 14 (Chicago, Illinois, 10/31/1990–11/02/1990)

1990

DOI: 10.1109/CMPSAC.1990.139334

View Online

Abstract

A novel approach for visually specifying parallel/distributed software using extended Petri-nets (PNS) is investigated. The approach is demonstrated to be useful in the specification of decision-making activities that control distributed computing systems. PNs are employed because of their highly visual nature that can give insight into the nature of the controller of such a system and because of their well-known analytical properties. In order to increase the expressive power of PNs, the extension of transition enabling functions is used. The main focus is a set of automatic transformations derived to transform such an extended net into a basic PN. Then, well-known analytical methods can be used to investigate characteristic properties of the system and validate correct operation. A graphical programming tool (XPAT) has been built to automate the visual programming process as well as the transformations.< >

Control Systems

Parallel Processing

Automatic control

Distributed computing

Distributed control

Laboratories

Petri nets

Power system modeling

Software systems

Testing

Details

Title: Subtitle: Mathematical transformation of Petri-nets for development of parallel/distributed programs
Creators: Y.E Papelis - University of Iowa
T.L Casavant - University of Iowa
Resource Type: Conference proceeding
Publication Details: Proceedings., Fourteenth Annual International Computer Software and Applications Conference, pp.92-98
Conference: International Computer Software and Applications Conference, 14 (Chicago, Illinois, 10/31/1990–11/02/1990)
DOI: 10.1109/CMPSAC.1990.139334
Publisher: IEEE Comput. Soc. Press
Language: English
Date published: 1990
Academic Unit: Roy J. Carver Department of Biomedical Engineering; Electrical and Computer Engineering
Record Identifier: 9984197912102771

Metrics

9 Record Views