Detail publikace

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Kolář Dušan, doc. Dr. Ing. (UIFS)
Klíčová slova

Sequential Function Chart, Petri nets, transformation

Abstrakt

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.

Rok
1999
Strany
391–396
Sborník
Proceedings of XXIst International Colloquium ASIS'99
ISBN
80-85988-41-0
Místo
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"
}
Nahoru