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"
}