Developing a class of sequential function charts from Petri nets

Author

Boucher, T.O. ; Sung, P.

Author_Institution

Rutgers Univ., NJ, USA

fYear

1994

fDate

10-12 Oct 1994

Firstpage

163

Lastpage

168

Abstract

A fundamental problem in specifying control software is that the interaction of inputs and outputs becomes difficult to tract as the size of the control problem grows. This has led to a great deal of interest in graphical programming languages (GPL), such as the sequential function chart (SFC) or the GRAFCET approach to program documentation. These languages are based on Petri nets. In this paper we are interested in defining criteria for developing a GPL macrostep program structure from a Petri net specification of a discrete event system. This work is related to earlier work in which a methodology was developed for converting ladder logic programs to Petri nets. The combination of results is aimed at providing a methodology for automatic stepwise transformation of programs among the programming disciplines of ladder logic Petri nets and GPL

Keywords

Petri nets; discrete event systems; formal logic; formal specification; sequential switching; visual languages; visual programming; Petri nets; control software; discrete event system; graphical programming languages; ladder logic programs; macrostep program structure; sequential function charts; specification; Automatic control; Computer languages; Control systems; Discrete event systems; Documentation; Logic programming; Petri nets; Programmable control; Real time systems; Size control;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Integrated Manufacturing and Automation Technology, 1994., Proceedings of the Fourth International Conference on

Conference_Location

Troy, NY

Print_ISBN

0-8186-6510-6

Type

conf

DOI

10.1109/CIMAT.1994.389078

Filename

389078