Conference paper

KOLÁŘ Dušan. SFC Validation via Petri Nets. In: Proceedings of XXIst International Colloquium ASIS'99. Krnov, 1999, pp. 391-396. ISBN 80-85988-41-0.
Publication language:english
Original title:SFC Validation via Petri Nets
Pages:391-396
Proceedings:Proceedings of XXIst International Colloquium ASIS'99
Conference:21st International Workshop on Advanced Simulation of Systems ASIS'99
Place:Krnov, CZ
Year:1999
ISBN:80-85988-41-0
Keywords
Sequential Function Chart, Petri nets, transformation
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   author = {Du{\v{s}}an Kol{\'{a}}{\v{r}}},
   title = {SFC Validation via Petri Nets},
   pages = {391--396},
   booktitle = {Proceedings of XXIst International Colloquium ASIS'99},
   year = {1999},
   location = {Krnov, CZ},
   ISBN = {80-85988-41-0},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=6016}
}

Your IPv4 address: 54.166.245.10
Switch to IPv6 connection

DNSSEC [dnssec]