Publication detail

SFC Validation via Petri Nets

KOLÁŘ, D.

Original Title

SFC Validation via Petri Nets

Type

article in a collection out of WoS and Scopus

Language

English

Original Abstract

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.

Keywords

Sequential Function Chart, Petri nets, transformation

Authors

KOLÁŘ, D.

Released

1. 1. 1999

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