Automatic generation of Petri net models from logic control specifications

Kurapati Venkatesh, Mengchu Zhou, Reggie Caudill

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Scopus citations

Abstract

There i s a growing need to use advanced andformal methodologiesfor design and synthesis of supervisory controllers for flexible manufacturing system. This paper presents an algorithm to generate automatically the Petri net (PN) models from logic control specificatwns. Traditionalmethods such as ladder logic diagramsand high-levelprogramming languages proved in@cient to develop control software and very dificult to debug and maintain. PNs were demonstrated as an effective tool for logic controller design by several researchers and industrial practitioners. One critical task in this development is to design Petri net models given the sequence control specifications. This paper presents a PN design algorithm which mainly consists in: 1) dividing the sequence of events into groups, 21 building the PN model via top-down refinement, and 3) merging the common plueedpaths within the model.

Original languageEnglish (US)
Title of host publicationProceedings of the 4th International Conference on Computer Integrated Manufacturing and Automation Technology, CIMAT 1994
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages242-247
Number of pages6
ISBN (Electronic)0818665106, 9780818665103
DOIs
StatePublished - Jan 1 1994
Event4th International Conference on Computer Integrated Manufacturing and Automation Technology, CIMAT 1994 - Troy, United States
Duration: Oct 10 1994Oct 12 1994

Publication series

NameProceedings of the 4th International Conference on Computer Integrated Manufacturing and Automation Technology, CIMAT 1994

Conference

Conference4th International Conference on Computer Integrated Manufacturing and Automation Technology, CIMAT 1994
CountryUnited States
CityTroy
Period10/10/9410/12/94

All Science Journal Classification (ASJC) codes

  • Computer Science Applications
  • Industrial and Manufacturing Engineering
  • Control and Optimization

Fingerprint Dive into the research topics of 'Automatic generation of Petri net models from logic control specifications'. Together they form a unique fingerprint.

Cite this