Temat: hierarchical Petri nets - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Realizacja hierarchicznych sieci Petriego z wykorzystaniem sterowników klasy PLC
Realization of Hierarchical Petri net by means of PLC
Autorzy:: Andrzejewski, G.
Mróz, P.
Powiązania:: https://bibliotekanauki.pl/articles/152673.pdf
Data publikacji:: 2007
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: hierarchiczne sieci Petriego
programowalne sterowniki logiczne PLC
hierarchical Petri nets
programmable logic controller (PLC)
Opis:: W artykule przedstawione zostały zasady realizacji hierarchicznych, interpretowanych sieci Petriego (HPN) w sterownikach klasy PLC. Jako język implementacji wybrano graficzny język drabinkowy (LD), ze względu na jego uniwersalny charakter. Proponowaną metodę realizacji zaprezentowano na szeregu przykładach, przedstawiających różne aspekty opisu, wykorzystywane w sieciach hierarchicznych.
The paper presents rules of implementation of interpreted Hierarchical Petri nets (HPN) by means of PLC. The Ladder Diagram (LD) language has been used because of its universal character. The proposed method is shown on a set of examples, which are describing various aspects of formal description used in HPN model.
Źródło:: Pomiary Automatyka Kontrola; 2007, R. 53, nr 5, 5; 6-8
0032-4140
Pojawia się w:: Pomiary Automatyka Kontrola
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: Odwzorowanie hierarchicznych interpretowanych sieci Petriego sterowania z makromiejscami w diagramach aktywności UML
Mapping of hierarchical control interpreted Petri nets with macroplaces in UML activity diagrams
Autorzy:: Grobelny, M.
Powiązania:: https://bibliotekanauki.pl/articles/153447.pdf
Data publikacji:: 2012
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: UML
diagramy aktywności
interpretowane sieci Petriego sterowania
specyfikacja behawioralna
specyfikacja hierarchiczna
activity diagrams
control interpreted Petri nets
behavioural specification
hierarchical specification
Opis:: Artykuł przedstawia metodę odwzorowania hierarchicznych interpretowanych sieci Petriego sterowania z makromiejscami w diagramach aktywności języka UML. Zgodnie z przyjętą zasadą odwzorowania akcji w tranzycjach sieci Petriego nie ma możliwości bezpośredniej graficznej reprezentacji miejsc interpretowanej sieci Petriego sterowania w diagramach UML. Jednocześnie konieczna jest zamiana takich elementów jak wyjścia przypisane do miejsc na aktywację i dezaktywację wyjść przy realizacji tranzycji oraz zamiany makromiejsc w makrotranzycje. Takie postępowanie kom-plikuje cały proces oraz może wprowadzać nieznaczne rozbieżności pomiędzy specyfikacją źródłową i docelową.
The paper presents a method for mapping hierarchical control interpreted Petri nets into activity diagrams of UML. Usage of both specification techniques is possible considering international and multicultural design projects specifying hardware behavioural properties of a control process. Sometimes use of two different modelling techniques can be reasonable. After a short introduction (Section 1), a sample control process and its graphical interpretation using the control interpreted Petri net is described (Section 2). Fig. 1 shows the real model of the considered process of transportation of friable goods, whereas Fig. 2 presents graphical specification of the process with use of the control interpreted Petri net. Fig. 3 shows interpretation of action of UML activity diagrams in Petri nets. Due to no direct representation of the system state in UML activity diagrams, the outputs attached to places have to be exchanged with the outputs activated and deactivated with transitions firings. Sample output replacement scenario is depicted in Fig. 4 and is in details described in Section 3. Fig. 5 presents specification of the deliberated control process with usage of Mealy outputs (after replacement). On the other hand, conversion of macroplaces into macrotransitions is shown in Section 4 with graphical representation after exchange in Fig. 6. Section 5 describes transformation of the prepared Petri net into the activity diagram of UML with the process graphical representation in Fig. 7. Finally, Section 6 concludes the paper.
Źródło:: Pomiary Automatyka Kontrola; 2012, R. 58, nr 6, 6; 506-509
0032-4140
Pojawia się w:: Pomiary Automatyka Kontrola
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "hierarchical Petri nets" wg kryterium: Temat

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język