Publication Details
SFC Validation via Petri Nets
KOLÁŘ Dušan. SFC Validation via Petri Nets. In: Proceedings of XXIst International Colloquium ASIS'99. Krnov, 1999, pp. 391-396. ISBN 80-85988-41-0.
Type
conference paper
Language
english
Authors
Kolář Dušan, Dr. Ing. (DCSE FEECS BUT)
Keywords
Sequential Function Chart, Petri nets, transformation
Abstract
Sequential Function Chart (SFC) is a graphical language for controll programming. A possibility of transformation of SFC graphs into Petri nets for later formal verification is shown in the paper.
Published
1999
Pages
391-396
Proceedings
Proceedings of XXIst International Colloquium ASIS'99
Conference
21st International Workshop on Advanced Simulation of Systems ASIS'99, Krnov, CZ
ISBN
80-85988-41-0
Place
Krnov, CZ
BibTeX
@INPROCEEDINGS{FITPUB6016, author = "Du\v{s}an Kol\'{a}\v{r}", title = "SFC Validation via Petri Nets", pages = "391--396", booktitle = "Proceedings of XXIst International Colloquium ASIS'99", year = 1999, location = "Krnov, CZ", ISBN = "80-85988-41-0", language = "english", url = "https://www.fit.vut.cz/research/publication/6016" }