Detail výsledku

SFC Validation via Petri Nets

KOLÁŘ, D. SFC Validation via Petri Nets. Proceedings of XXIst International Colloquium ASIS'99. Krnov: Marq software s.r.o., 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.
Abstrakt

Sequential Function Chart (SFC) is a graphical language for controllprogramming. A possibility of transformation of SFC graphs into Petrinets for later formal verification is shown in the paper.

Klíčová slova

Sequential Function Chart, Petri nets, transformation

Rok
1999
Strany
391–396
Sborník
Proceedings of XXIst International Colloquium ASIS'99
Konference
21st International Workshop on Advanced Simulation of Systems ASIS'99
ISBN
80-85988-41-0
Vydavatel
Marq software s.r.o.
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",
  publisher="Marq software s.r.o.",
  address="Krnov",
  isbn="80-85988-41-0"
}
Výzkumné skupiny
Výzkumná skupina informačních a databázových systémů (VZ IS)
Pracoviště
Fakulta informačních technologií (FIT)
Nahoru