@inproceedings{0c7d5d51bc3648198b1e65eb1ffcab27,
title = "Automatic generation of Petri net models from logic control specifications",
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.",
author = "Kurapati Venkatesh and Zhou, {Meng Chu} and Reggie Caudill",
note = "Publisher Copyright: {\textcopyright} 1994 IEEE.; 4th International Conference on Computer Integrated Manufacturing and Automation Technology, CIMAT 1994 ; Conference date: 10-10-1994 Through 12-10-1994",
year = "1994",
doi = "10.1109/CIMAT.1994.389066",
language = "English (US)",
series = "Proceedings of the 4th International Conference on Computer Integrated Manufacturing and Automation Technology, CIMAT 1994",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "242--247",
booktitle = "Proceedings of the 4th International Conference on Computer Integrated Manufacturing and Automation Technology, CIMAT 1994",
address = "United States",
}