Developing a class of sequential function charts from Petri nets

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 th...

Full description

Saved in:
Bibliographic Details
Published in:Proceedings of the Fourth International Conference on Computer Integrated Manufacturing and Automation Technology, Troy, New York, October 10-12, 1994 pp. 163 - 168
Main Authors: Boucher, T.O., Sung, P.
Format: Conference Proceeding
Language:English
Published: IEEE Comput. Soc. Press 1994
Subjects:
Automatic control
Computer languages
Control systems
Discrete event systems
Documentation
Logic programming
Petri nets
Programmable control
Real time systems
Size control
ISBN:9780818665103, 0818665106
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
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.< >
AbstractList 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.< >
Author Sung, P.
Boucher, T.O.
Author_xml – sequence: 1
  givenname: T.O.
  surname: Boucher
  fullname: Boucher, T.O.
  organization: Rutgers Univ., NJ, USA
– sequence: 2
  givenname: P.
  surname: Sung
  fullname: Sung, P.
  organization: Rutgers Univ., NJ, USA
BookMark eNotj0FOwzAQAC0BElDyADj5Awne2E68N6pCoVIRHHKv3HgNRqlTYheJ31OpzGVuI801O49jJMZuQVQAAu8Xq9d5VwGiqqRB0ZozVmBrhAHTNBqEvGRFSl_iiNJCt3DFHh7ph4ZxH-IHt7wfbEp89DzR94FiDnbg_hD7HMbI-0875cT9NO74O-Up8Eg53bALb4dExb9nrFs-dYuXcv32vFrM12UwmEvvAJ3SjZdOkzwKW0lgjGuo1r30krZkde8AlPKKJCEK1FtnRd3W4KScsbtTNhDRZj-FnZ1-N6dL-QcDnEoL
ContentType Conference Proceeding
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.1109/CIMAT.1994.389078
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Xplore POP ALL
IEEE Xplore All Conference Proceedings
IEEE Xplore
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Xplore
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
EndPage 168
ExternalDocumentID 389078
GroupedDBID 6IE
6IK
6IL
AAJGR
AAWTH
ACGHX
ALMA_UNASSIGNED_HOLDINGS
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
OCL
RIB
RIC
RIE
RIL
ID FETCH-LOGICAL-i89t-fd19d456f3d5e36f3973e188d6e25c3f3ebea5cd1144f4e3e99095bda02721d33
IEDL.DBID RIE
ISBN 9780818665103
0818665106
IngestDate Tue Aug 26 23:00:33 EDT 2025
IsPeerReviewed false
IsScholarly false
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-i89t-fd19d456f3d5e36f3973e188d6e25c3f3ebea5cd1144f4e3e99095bda02721d33
PageCount 6
ParticipantIDs ieee_primary_389078
PublicationCentury 1900
PublicationDate 19940000
PublicationDateYYYYMMDD 1994-01-01
PublicationDate_xml – year: 1994
  text: 19940000
PublicationDecade 1990
PublicationTitle Proceedings of the Fourth International Conference on Computer Integrated Manufacturing and Automation Technology, Troy, New York, October 10-12, 1994
PublicationTitleAbbrev CIMAT
PublicationYear 1994
Publisher IEEE Comput. Soc. Press
Publisher_xml – name: IEEE Comput. Soc. Press
SSID ssj0000450571
Score 1.2303491
Snippet 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...
SourceID ieee
SourceType Publisher
StartPage 163
SubjectTerms Automatic control
Computer languages
Control systems
Discrete event systems
Documentation
Logic programming
Petri nets
Programmable control
Real time systems
Size control
Title Developing a class of sequential function charts from Petri nets
URI https://ieeexplore.ieee.org/document/389078
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV09T8MwED3RigEWoBTxLQ-saes4X95AhQoGqg4dulX-OEuVUIralN_P2QkBJBamOBmiyJfk3Tv7vQO4cwpRJlxHWsWSCAq9xjTKI8ykM8RacoWj0Gwin06LxULOGp_toIVBxLD5DAd-GNby7drsfKlsSOBKiNaBTp5ntVSrLadQZkKZBw8Oj8HDjahO46_zdS6aRU0-ksPxy-vD3Cv1kkF901_NVQK2TI7-9VTH0P_W6LFZiz4nsIdlDw5_2Auewv1jq4hiihmfJ7O1Y_Xuafqy35hHNR8Z5sVX1ZZ5sQkLTbZYidW2D_PJ03z8HDUdE6JVIavIWS4tZURO2BQFHWQukBeFzTBOjXCCIqZSY4kDJS5BgQRFMtVWETeNuRXiDLrlusRzYKmNlTdmkVzTv1RLaSh2hOXa6mzkMLuAnp-J5XvtibGsJ-Hyz6tXcFA7EPvCxTV0q80Ob2DffFSr7eY2xPETL3WbXA
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV09T8MwED1BQQIWoBTxjQfWtE2cL2-gQtWKtuqQoVsV22epEkpRm_L7OTuhgMTCFCdDFPmSvHtnv3cADyZHFKEvPZkHgggKvcY0SjyMhVHEWpIcu67ZRDKZpLOZmNY-204Lg4hu8xm27dCt5eul2thSWYfAlRBtF_Zs46xarLUtqFBuQrmH7zwenYsbkZ3aYefrnNfLmn5XdHrD8VNmtXphu7rtr_YqDl36x_96rhNofav02HSLP6ewg0UTjn4YDJ7B4_NWE8VypmymzJaGVfun6dt-YxbXbGyYlV-Va2blJsy12WIFlusWZP2XrDfw6p4J3iIVpWe0LzTlRIbrCDkdRMLRT1MdYxApbjjFLI-UJhYUmhA5EhiJSOqc2Gnga87PoVEsC7wAFukgt9Yswpf0N5VCKIoeobnUMu4ajC-haWdi_l65YsyrSbj68-o9HAyy8Wg-Gk5er-Gw8iO2ZYwbaJSrDd7CvvooF-vVnYvpJ3vMnqU
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Proceedings+of+the+Fourth+International+Conference+on+Computer+Integrated+Manufacturing+and+Automation+Technology%2C+Troy%2C+New+York%2C+October+10-12%2C+1994&rft.atitle=Developing+a+class+of+sequential+function+charts+from+Petri+nets&rft.au=Boucher%2C+T.O.&rft.au=Sung%2C+P.&rft.date=1994-01-01&rft.pub=IEEE+Comput.+Soc.+Press&rft.isbn=9780818665103&rft.spage=163&rft.epage=168&rft_id=info:doi/10.1109%2FCIMAT.1994.389078&rft.externalDocID=389078
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818665103/lc.gif&client=summon&freeimage=true
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818665103/mc.gif&client=summon&freeimage=true
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818665103/sc.gif&client=summon&freeimage=true