Publication Details

SFC Validation via Petri Nets

KOLÁŘ, D. SFC Validation via Petri Nets. Proceedings of XXIst International Colloquium ASIS'99. Krnov: 1999. p. 391-396. ISBN: 80-85988-41-0.

Type

conference paper

Language

English

Authors

Kolář Dušan, doc. Dr. Ing. (DIFS)

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

ISBN

80-85988-41-0

Place

Krnov

BibTeX

@inproceedings{BUT191942,
  author="Dušan {Kolář}",
  title="SFC Validation via Petri Nets",
  booktitle="Proceedings of XXIst International Colloquium ASIS'99",
  year="1999",
  pages="391--396",
  address="Krnov",
  isbn="80-85988-41-0"
}