Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: PNSF2

Sortuj według:

Ogranicz wyniki do:

Petri Nets Mapping into Reconfigurable Logic Controllers

Adamski M., Węgrzyn M.

Electronics and Telecommunications Quarterly

2009

Vol. 55, No 2

157-182

The paper concentrates on the behavioral specification of Reconfigurable Logic Controller programs, given initially as Petri nets and later rewritten in Hardware Description Languages. The rule-based textual language input makes it possible to integrate the design system with existing formal logic based computer-based theorem proovers. The Petri net description in HDL provides the opportunity to integrate existing Petri net software with several commercial systems. Different Petri net places encoding methods are also discussed. Verilog-HDL is used for an intermediate representation of controller behavior on top of existing commercial synthesis tools. The implementation methods using D, JK and T flip-flops are presented.

Wybrane tekstowe formaty specyfikacji sieci Petriego opisujące algorytmy sterowania

Węgrzyn A., Węgrzyn M.

Pomiary Automatyka Kontrola

2006

R. 52, nr 6 bis

29-31

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.

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.