Detail publikačního výsledku

SFC Validation via Petri Nets

KOLÁŘ, D.

Originální název

SFC Validation via Petri Nets

Anglický název

SFC Validation via Petri Nets

Druh

Stať ve sborníku mimo WoS a Scopus

Originální 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.

Anglický 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

Klíčová slova v angličtině

Sequential Function Chart, Petri nets, transformation

Autoři

KOLÁŘ, D.

Vydáno

01.01.1999

Nakladatel

Marq software s.r.o.

Místo

Krnov

ISBN

80-85988-41-0

Kniha

Proceedings of XXIst International Colloquium ASIS'99

Strany od

391

Strany do

396

Strany počet

6

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