Wyniki wyszukiwania

Wynik wyszukiwania

1/12
Nr opisu: 0000131801
Incorporating automatic model checking into GPenSIM.
[Aut.]: R. Davidrajuh, Bożena Skołud, Damian Krenczyk.
W: Modelling and performance analysis of cyclic systems. Eds. Wojciech Bożejko, Grzegorz Bocewicz. Cham : Springer, 2020, s. 175-187, bibliogr. 28 poz. (Studies in Systems, Decision and Control ; vol. 241 2198-4182). Punktacja MNiSW 20.000

2/12
Nr opisu: 0000129756
Comparing two methodologies for modeling and simulation of discrete-event based automated warehouses systems.
[Aut.]: Damian Krenczyk, R. Davidrajuh, Bożena Skołud.
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. (Lecture Notes in Mechanical Engineering ; 2195-4364). Punktacja MNiSW 20.000

systemy zdarzeń dyskretnych ; modelowanie ; symulacja ; FlexSim ; sieci Petriego ; GPenSIM ; systemy automatycznego magazynowania

discrete-event systems ; modelling ; simulation ; FlexSim ; Petri nets ; GPenSIM ; automated warehouses systems

3/12
Nr opisu: 0000131196
Extending GPenSIM for model checking on Petri nets.
[Aut.]: R. Davidrajuh, Damian Krenczyk.
-Int. J. Simul. Syst. Sci. Technol. 2019 vol. 20, paper no. 13 s. 1-8, bibliogr. 30 poz.. Punktacja MNiSW 20.000

weryfikacja modelowa ; sieci Petriego ; GPenSIM

model checking ; Petri nets ; GPenSIM

4/12
Nr opisu: 0000128807
Finding clusters in Petri nets. An approach based on GPenSIM.
[Aut.]: R. Davidrajuh, Damian Krenczyk, Bożena Skołud.
-Model. Identif. Control 2019 vol. 40 nr 1, s. 1-10, bibliogr. 22 poz.. Impact Factor 0.778. Punktacja MNiSW 40.000

klaster ; sieć Petriego ; GPenSIM ; elastyczny system produkcji ; metoda peer-pressure

cluster ; Petri net ; GPenSIM ; flexible manufacturing system ; peer-pressure method

5/12
Nr opisu: 0000118707
An activity-oriented Petri net simulation approach for optimization of dispatching rules for job shop transient scheduling.
[Aut.]: Damian Krenczyk, R. Davidrajuh, Bożena Skołud.
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. (Advances in Intelligent Systems and Computing ; vol. 649 2194-5357). Punktacja MNiSW 70.000

system gniazdowy ; zagadnienie cyklicznego planowania ; faza przejściowa ; sieci Petriego ; symulacja ; reguły dyspozytorskie

job shop ; cyclic scheduling problem ; transient phase ; Petri nets ; simulation ; dispatching rules

6/12
Nr opisu: 0000119836
GPenSIM for performance evaluation of event graph.
[Aut.]: R. Davidrajuh, Bożena Skołud, Damian Krenczyk.
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. (Lecture Notes in Mechanical Engineering ; 2195-4364). Punktacja MNiSW 15.000

sieci Petriego ; wykres zdarzeń ; GPenSIM ; ocena wydajności ; system produkcyjny

Petri nets ; event graph ; GPenSIM ; performance evaluation ; manufacturing system

7/12
Nr opisu: 0000127476
Implementing colored Petri nets with GPenSIM.
[Aut.]: R. Davidrajuh, Bożena Skołud.
W: Automatyzacja procesów dyskretnych. Teoria i zastosowania. T. 1. Pod red. Andrzeja Świerniaka i Jolanty Krystek. Gliwice : Wydaw. Politechniki Śląskiej, 2018, s. 53-60, bibliogr. 12 poz.. Punktacja MNiSW 20.000

system dyskretny ; sieć Petriego ; GPenSIM ; Matlab

discrete system ; Petri net ; GPenSIM ; Matlab

8/12
Nr opisu: 0000122295
Performance evaluation of discrete event systems with GPenSIM.
[Aut.]: R. Davidrajuh, Bożena Skołud, Damian Krenczyk.
-Computers 2018 vol. 7 no. 1, s. 1-18, bibliogr. 30 poz.. Punktacja MNiSW 15.000

sieci Petriego ; wykres zdarzeń ; ocena wydajności ; AOPN

Petri nets ; event graph ; performance evaluation ; AOPN ; discrete event dynamic systems

9/12
Nr opisu: 0000117030
Multi-assortment production flow synchronization. Multiscale modelling approach.
[Aut.]: Bożena Skołud, Damian Krenczyk, R. Davidrajuh.
W: Innovative manufacturing engineering & energy. 21th Edition IManE&E 2017. International conference, 24th - 27th May 2017, Iasi, Romania. Book of abstracts. Iasi : Department of Machine Manufacturing Technology, 2017, s. 93

10/12
Nr opisu: 0000117837
Multi-assortment production flow synchronization. Multiscale modelling approach.
[Aut.]: Bożena Skołud, Damian Krenczyk, R. Davidrajuh.
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. (MATEC Web of Conferences ; vol. 112 2261-236X)
Dostępny w Internecie: https://doi.org/10.1051/matecconf/201711205003 [dostęp 18 sierpnia 2017]

11/12
Nr opisu: 0000117136
Multiscale modelling approach for production flow synchronization.
[Aut.]: Bożena Skołud, Damian Krenczyk, R. Davidrajuh.
W: The 5th International Conference on Modern Manufacturing Technologies in Industrial Engineering. ModTech 2017, June 14-17, 2017, Sibiu, Romania. Book of abstracts. Red. Constantin Carausu. Iasi : ModTech Publishing House, 2017, s. 39 ( 2286-4369)

modelowanie wieloskalowe ; planowanie produkcji ; kontrola produkcji ; przepływ produkcji ; synchronizacja ; sterowanie rozproszone

multiscale modelling ; production planning ; production control ; production flow ; synchronisation ; distributed control

12/12
Nr opisu: 0000109798
Solving repetitive production planning problems. An approach based on activity-oriented Petri nets.
[Aut.]: Bożena Skołud, Damian Krenczyk, R. Davidrajuh.
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. (Advances in Intelligent Systems and Computing ; vol. 527 2194-5357). Punktacja MNiSW 70.000

planowanie produkcji ; kontrola produkcji ; sieć Petriego ; symulacja ; logika przepływu

production planning ; production control ; Petri nets ; simulation ; flow logic

stosując format: