Publication result detail

SFC Validation via Petri Nets

KOLÁŘ, D.

Original Title

SFC Validation via Petri Nets

English Title

SFC Validation via Petri Nets

Type

Paper in proceedings outside WoS and Scopus

Original Abstract

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.

English abstract

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.

Keywords

Sequential Function Chart, Petri nets, transformation

Key words in English

Sequential Function Chart, Petri nets, transformation

Authors

KOLÁŘ, D.

Released

01.01.1999

Publisher

Marq software s.r.o.

Location

Krnov

ISBN

80-85988-41-0

Book

Proceedings of XXIst International Colloquium ASIS'99

Pages from

391

Pages to

396

Pages count

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