Wynik wyszukiwania
Zapytanie: PETRI NETS
Liczba odnalezionych rekordów: 9



Przej¶cie do opcji zmiany formatu | Wy¶wietlenie wyników w wersji do druku | Pobranie pliku do edytora | Przesłanie wyników do modułu analizy | excel | Nowe wyszukiwanie
1/9
Nr opisu: 0000129756
Tytuł oryginału: Comparing two methodologies for modeling and simulation of discrete-event based automated warehouses systems.
Autorzy: Damian Krenczyk, R. Davidrajuh, Bożena Skołud.
¬ródło: W: Advances in manufacturing II. Vol. 2, Production engineering and management. Eds.: Adam Hamrol, Agnieszka Kujawińska, Manuel Francisco Suarez Barraza. Cham : Springer, 2019, s. 161-175, bibliogr. 26 poz.
ISBN: 978-3-030-18788-0978-3-030-18789-7
Seria: (Lecture Notes in Mechanical Engineering ; 2195-4364)
Punktacja MNiSW: 20.000
Liczba arkuszy wydawniczych: 0,9
Bazy indeksuj±ce publikację: Scopus; Web of Science
DOI:
Słowa kluczowe polskie: systemy zdarzeń dyskretnych ; modelowanie ; symulacja ; FlexSim ; sieci Petriego ; GPenSIM ; systemy automatycznego magazynowania
Słowa kluczowe angielskie: discrete-event systems ; modelling ; simulation ; FlexSim ; Petri nets ; GPenSIM ; automated warehouses systems
Typ publikacji: U
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.
Dostęp on-line:


2/9
Nr opisu: 0000131196
Tytuł oryginału: Extending GPenSIM for model checking on Petri nets
Autorzy: R. Davidrajuh, Damian Krenczyk.
¬ródło: -Int. J. Simul. Syst. Sci. Technol. 2019 vol. 20, paper no. 13 s. 1-8, bibliogr. 30 poz.
Punktacja MNiSW: 20.000
p-ISSN: 1374-804X
e-ISSN: 1473-8031
DOI:
Słowa kluczowe polskie: weryfikacja modelowa ; sieci Petriego ; GPenSIM
Słowa kluczowe angielskie: model checking ; Petri nets ; GPenSIM
Typ publikacji: A
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.
Dostęp on-line:


3/9
Nr opisu: 0000129015
Tytuł oryginału: Modular approach to the planning of the robot's tasks in the context of holons and graph-based methods.
Autorzy: Krzysztof Foit.
¬ródło: W: Mechatronics 2017 - Ideas for industrial applications. Eds.: Jerzy ¦wider, Sławomir Kciuk, Maciej Trojnacki. Berlin : Springer International Publishing, 2019, s. 134-143, bibliogr. 16 poz.
ISBN: 978-3-030-15856-9978-3-030-15857-6
Seria: (Advances in Intelligent Systems and Computing ; vol. 934 2194-5357)
Punktacja MNiSW: 20.000
Liczba arkuszy wydawniczych: 0,5
Bazy indeksuj±ce publikację: Springer; Scopus
DOI:
Słowa kluczowe polskie: system produkcyjny ; planowanie zadań ; holon ; sieci Petriego
Słowa kluczowe angielskie: manufacturing system ; task planning ; holon ; Petri nets
Typ publikacji: U
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.
Lokalizacja ¬ródła: P¦l. sygn. 150957
Dostęp on-line:


4/9
Nr opisu: 0000118707
Tytuł oryginału: An activity-oriented Petri net simulation approach for optimization of dispatching rules for job shop transient scheduling.
Autorzy: Damian Krenczyk, R. Davidrajuh, Bożena Skołud.
¬ródło: W: International Joint Conference SOCO'17- CISIS'17-ICEUTE'17, Leon, Spain, September 6-8, 2017. Proceedings. Eds. H. Perez Garcia, J. Alfonso-Cendon, L. Sanchez Gonzalez, H. Quintian, E. Corchado. Cham : Springer, 2018, s. 299-309, bibliogr. 17 poz.
ISBN: 978-331967179-6978-3-319-67180-2
Seria: (Advances in Intelligent Systems and Computing ; vol. 649 2194-5357)
Punktacja MNiSW: 70.000
Liczba arkuszy wydawniczych: 0,5
Bazy indeksuj±ce publikację: Scopus; Springer; Web of Science
DOI:
Słowa kluczowe polskie: system gniazdowy ; zagadnienie cyklicznego planowania ; faza przej¶ciowa ; sieci Petriego ; symulacja ; reguły dyspozytorskie
Słowa kluczowe angielskie: job shop ; cyclic scheduling problem ; transient phase ; Petri nets ; simulation ; dispatching rules
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.


5/9
Nr opisu: 0000127692
Tytuł oryginału: Distributed control systems integration and management with an ontology-based multi-agent system
Autorzy: Dariusz Choiński, Michał Senik.
¬ródło: -Bull. Pol. Acad. Sci., Tech. Sci. 2018 vol. 66 no. 5, s. 613-620, bibliogr. 38 poz.
Impact Factor: 1.277
Punktacja MNiSW: 25.000
p-ISSN: 0239-7528
e-ISSN: 2300-1917
DOI:
Słowa kluczowe polskie: rozproszony system sterowania ; system wieloagentowy ; ontologia ; sieci Petriego
Słowa kluczowe angielskie: distributed control system ; multi-agent system ; ontology ; Petri nets
Typ publikacji: A
Język publikacji: ENG
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Informacje o dostępie open-access: open-access-text-version: FINAL_PUBLISHED open-access-licence: CC-BY-NC-ND open-access-release-time: AT_PUBLICATION open-access-article-mode: OPEN_JOURNAL
Dostęp on-line:


6/9
Nr opisu: 0000119836
Tytuł oryginału: GPenSIM for performance evaluation of event graph.
Autorzy: R. Davidrajuh, Bożena Skołud, Damian Krenczyk.
¬ródło: W: Advances in manufacturing. 5th International Scientific-Technical Conference on Advances in Manufacturing. MANUFACTURING 2017, Poznań, Poland, 24-26 October 2017. Eds.: Adam Hamrol, Olaf Ciszak, Stanisław Legutko, Mieczysław Jurczyk. Cham : Springer, 2018, s. 289-299, bibliogr. 16 poz.
ISBN: 978-3-319-68618-9978-3-319-68619-6
Seria: (Lecture Notes in Mechanical Engineering ; 2195-4364)
Punktacja MNiSW: 15.000
Bazy indeksuj±ce publikację: Scopus; Web of Science
DOI:
Słowa kluczowe polskie: sieci Petriego ; wykres zdarzeń ; GPenSIM ; ocena wydajno¶ci ; system produkcyjny
Słowa kluczowe angielskie: Petri nets ; event graph ; GPenSIM ; performance evaluation ; manufacturing system
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.
Dostęp on-line:
Dostęp BCP¦:


7/9
Nr opisu: 0000122295
Tytuł oryginału: Performance evaluation of discrete event systems with GPenSIM
Autorzy: R. Davidrajuh, Bożena Skołud, Damian Krenczyk.
¬ródło: -Computers 2018 vol. 7 no. 1, s. 1-18, bibliogr. 30 poz.
Punktacja MNiSW: 15.000
p-ISSN: 2073-431X
DOI:
Słowa kluczowe polskie: sieci Petriego ; wykres zdarzeń ; ocena wydajno¶ci ; AOPN
Słowa kluczowe angielskie: Petri nets ; event graph ; performance evaluation ; AOPN ; discrete event dynamic systems
Typ publikacji: A
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.
Informacje o dostępie open-access: open-access-text-version: FINAL_PUBLISHED open-access-licence: CC-BY open-access-release-time: AT_PUBLICATION open-access-article-mode: OPEN_JOURNAL
Dostęp on-line:


8/9
Nr opisu: 0000109798
Tytuł oryginału: Solving repetitive production planning problems. An approach based on activity-oriented Petri nets.
Autorzy: Bożena Skołud, Damian Krenczyk, R. Davidrajuh.
¬ródło: W: International Joint Conference SOCO'16-CISIS'16-ICEUTE'16, San Sebastian, Spain, October 19th-21st, 2016. Proceedings. Eds. M. Grana, J.M. Lopez-Guede, O. Etxaniz, A. Herrero, H. Quintian, E. Corchado. Cham : Springer International Publishing, 2017, s. 397-407, bibliogr. 14 poz.
ISBN: 978-3-319-47363-5978-3-319-47364-2
Seria: (Advances in Intelligent Systems and Computing ; vol. 527 2194-5357)
Punktacja MNiSW: 70.000
Liczba arkuszy wydawniczych: 0,6
Bazy indeksuj±ce publikację: Scopus; Web of Science
DOI:
Słowa kluczowe polskie: planowanie produkcji ; kontrola produkcji ; sieć Petriego ; symulacja ; logika przepływu
Słowa kluczowe angielskie: production planning ; production control ; Petri nets ; simulation ; flow logic
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.


9/9
Nr opisu: 0000002802
Tytuł oryginału: Signal cascades in nano-networks
Tytuł w wersji polskiej: Kaskady sygnałowe w nanosieciach
Autorzy: Lech** Znamirowski.
¬ródło: -Stud. Informat. 2003 vol. 24 nr 2A, s. 21-28, bibliogr. 16 poz.
p-ISSN: 1642-0489
Słowa kluczowe polskie: nanotechnologia ; nanosieć ; sieć Petriego ; kaskady sygnałowe ; translokacja sygnału
Słowa kluczowe angielskie: nanotechnology ; nano-networks ; Petri nets ; signal cascades ; signal translocation
Typ publikacji: A
Język publikacji: ENG
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Lokalizacja ¬ródła: P¦l. sygn. P.4193


stosuj±c format:
Nowe wyszukiwanie