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"
}
Back to top