Nr opisu: | 0000131801 |
Tytuł oryginału: | Incorporating automatic model checking into GPenSIM. |
Autorzy: | R. Davidrajuh, Bożena Skołud, Damian Krenczyk. |
¬ródło: | W: Modelling and performance analysis of cyclic systems. Eds. Wojciech Bożejko, Grzegorz Bocewicz. Cham : Springer, 2020, s. 175-187, bibliogr. 28 poz. |
ISBN: | 978-3-030-27651-5978-3-030-27652-2 |
Seria: | (Studies in Systems, Decision and Control ; vol. 241 2198-4182) |
Punktacja MNiSW: | 20.000 |
Liczba arkuszy wydawniczych: | 0,5 |
Bazy indeksuj±ce publikację: | Springer; Scopus |
DOI: | |
Typ publikacji: | U |
Język publikacji: | ENG |
Zasieg terytorialny: | Z |
Afiliacja: | praca afiliowana w P¦l. |
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. |
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¦: | |
Nr opisu: | 0000117837 |
Tytuł oryginału: | Multi-assortment production flow synchronization. Multiscale modelling approach. |
Autorzy: | Bożena Skołud, Damian Krenczyk, R. Davidrajuh. |
¬ródło: | W: 21st Innovative Manufacturing Engineering & Energy International Conference. IManE&E 2017, Iasi, Romania, May 24-27, 2017 [on-line]. Eds. L. Slatineanu, G. Nagit, O. Dodun, V. Merticaru, M. Coteata, M.I. Ripanu, A.M. Mihalache, M. Boca, R. Ibanescu, C.E. Panait, G. Oancea and P. Kyratsis. Les Ulis : EDP Sciences, 2017, (plik pdf) s. 1-6, bibliogr. 13 poz. |
Seria: | (MATEC Web of Conferences ; vol. 112 2261-236X) |
Uwagi: | Dostępny w Internecie: https://doi.org/10.1051/matecconf/201711205003 [dostęp 18 sierpnia 2017] |
Liczba arkuszy wydawniczych: | 0,5 |
Bazy indeksuj±ce publikację: | Scopus |
DOI: | |
Typ publikacji: | RK |
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: OTHER |
Dostęp on-line: | |
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. |