Detail publikace

SFC Validation via Petri Nets

KOLÁŘ, D.

Originální název

SFC Validation via Petri Nets

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

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

Klíčová slova

Sequential Function Chart, Petri nets, transformation

Autoři

KOLÁŘ, D.

Vydáno

1. 1. 1999

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",
  address="Krnov",
  isbn="80-85988-41-0"
}