Wybrane tekstowe formaty specyfikacji sieci Petriego opisujące algorytmy sterowania

• Autorzy: Węgrzyn A. , Węgrzyn M.

Warianty tytułu

EN

Selected textual formats for specification of Petri net described logic controllers

• Konferencja: Konferencja Informatyka - Sztuka czy Rzemiosło (19-22 czerwca 2006, Złotniki Lubańskie; Polska)
• Języki publikacji: PL

Abstrakty

PL

Układy sterowania mogą być modelowane z wykorzystaniem sieci Petriego, gdyż w łatwy sposób można przedstawić za ich pomocą współbieżność. Sieci Petriego mogą być reprezentowane w sposób graficzny (graf dwudzielny) lub tekstową. Istnieje wiele formatów tekstowych opisu sieci Petriego. Rozwój technologii przyczynił się do prowadzenia prac nad ujednoliceniem formatów tekstowych z wykorzystaniem języka XML - język PNML. W artykule został opisany rozwój formatów tekstowych specyfikacji sieci Petriego opisujących algorytmy sterowania.

EN

Discrete systems can be modeled by Petri nets, because Petri nets in easy way present concurrency. There are two method of specification of Petri net: graphical way (bipartite graph) and textual formats. There are a lot of textual format specifying Petri net. Development of new technologies contributes to standardization of textual formats using XML. In the paper development of textual format specifying Petri nets describing logic controllers, is presented.

Słowa kluczowe

PL

sieci Petriego; sterowniki logiczne; PNSF2; PNSF3; PNML

EN

Petri nets; logic controllers; PNSF2; PNSF3; PNML

• Wydawca: Wydawnictwo PAK
• Czasopismo: Pomiary Automatyka Kontrola
• Rocznik: 2006
• Tom: R. 52, nr 6 bis
• Strony: 29--31
• Opis fizyczny: Bibliogr. 17 poz.

Twórcy

autor

Węgrzyn A.

autor

Węgrzyn M.

• Instytut Informatyki i Elektroniki, Uniwersytet Zielonogórski,

Bibliografia

• [1] M. Adamski, Projektowanie układów cyfrowych systematyczną metodą strukturalną, Monografia Nr 49, Wydawnictwo Wyższej Szkoły Inżynierskiej w Zielonej Górze, Zielona Góra, 1990
• [2] M. Adamski, M. Węgrzyn, “Hierarchically Structured Coloured Petri Net Specification and Validation of Concurrent Controllers”, Proceedings of the 39th International Scientific Colloquium, IWK’94, Ilmenau, Niemcy, 27-30.09.1994, Band 1, ss. 517-522, 1994
• [3] J. M. Fernandes, M. Adamski, A. Proença, “VHDL Generation from Petri Net Specifications”, IEE Proceedings - E, Computer and Digital Techniques, Vol. 144, No. 2, ss. 127-137, March 1997
• [4] K. Jensen, Coloured Petri Nets. Basic Concept, Analysis Methods and Practical Use, Volume 1, Basic Concepts, Springer-Verlag, Berlin, 1992
• [5] E. Kindler, Definition, Implementation and Application of a Standard Interchange Format for Petri Nets, Proceedings of the Workshop on the Definition, Implementation and Application of a Standard Interchange Format for Petri Nets
• [6] T. Kozłowski, Petri-Net-Based CAD Tools for Parallel Controller Synthesis, M.Sc. Thesis, University of Bristol, Electrical and Electronic Engineering Department, Bristol, 1993
• [7] T. Kozłowski, E. L. Dagless, J. M. Saul, M. Adamski, J. Szajna, “Parallel controller synthesis using Petri nets”, IEE Proceedings-E, Computers and Digital Techniques, Vol. 142, No. 4, ss. 263-271, July 1995
• [8] R. B. Lyngso, T. Mailund, “Textual Interchange Format for High-Level Petri Nets”, Workshop on Practical Use of Coloured Petri Nets and Design, June 1998, Aarhus University, ss. 47-64
• [9] T. Murata, “Petri Nets: Properties, Analysis and Applications”, Proceedings of the IEEE, Vol.77, No.4, ss. 541-580, April 1989
• [10] C. A. Petri, Kommunikation mit automaten, Institut fur Instrumentelle Mathematik, Bonn, 1962
• [11] W. Reisig, Sieci Petriego. Wprowadzenie, Wydawnictwa Naukowo-Techniczne, Warszawa, 1988
• [12] P. H. Starke, Sieci Petri - podstawy, zastosowania, teoria, PWN, Warszawa, 1987
• [13] M. Węgrzyn, Hierarchiczna implementacja współbieżnych kontrolerów cyfrowych z wykorzystaniem FPGA, Rozprawa doktorska, Politechnika Warszawska, Warszawa, 1998
• [14] A. Węgrzyn, Symboliczna analiza układów sterowania z wykorzystaniem wybranych metod analizy sieci Petriego, Rozprawa doktorska, Politechnika Warszawska, 2003
• [15] A. Węgrzyn, P. Bubacz, XML application for modelling and simulation of concurrent controllers, The International Workshop on Discrete-Event System Design, DESDes’01, Przytok, 27-29.06.2001 ss. 215-221
• [16] Software and Systems Engineering – High-level Petri Nets, International Standard ISO/IEC 15909-2
• [17] International Electrotechnical Commission, International standard IEC 1131-3, Programmable Controllers, Part 3: Programming Languages, Geneva, 1992