Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "Wojnakowski, Marcin" wg kryterium: Autor


Wyświetlanie 1-2 z 2
Tytuł:
Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems
Autorzy:
Wojnakowski, Marcin
Wiśniewski, Remigiusz
Bazydło, Grzegorz
Popławski, Mateusz
Powiązania:
https://bibliotekanauki.pl/articles/2055147.pdf
Data publikacji:
2021
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
safeness
control part
cyber physical system
Petri net
state machine cover
place invariant
bezpieczeństwo baz danych
część kontrolna
system cyberfizyczny
sieć Petriego
maszyna stanów
niezmiennik miejsca
Opis:
The paper proposes an algorithm for safeness verification of a Petri net-based specification of the control part of cyber-physical systems. The method involves a linear algebra technique and is based on the computation of the state machine cover of a Petri net. Contrary to the well-known methods, the presented idea does not require obtaining all sequential components, nor the computation of all reachable states in the system. The efficiency and effectiveness of the proposed method have been verified experimentally with a set of 243 test modules (Petri net-based systems). The results of experiments show high efficiency of the proposed method since a solution has been found even for such nets where popular techniques are not able to analyze the safeness of the system. Finally, the presented algorithm is explained in detail using a real-life case-study example of the control part of a cyber-physical system.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2021, 31, 4; 647--657
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Design optimization of the Petri net-based production process supported by additive manufacturing technologies
Autorzy:
Patalas-Maliszewska, Justyna
Wiśniewski, Remigiusz
Topczak, Marcin
Wojnakowski, Marcin
Powiązania:
https://bibliotekanauki.pl/articles/2173645.pdf
Data publikacji:
2022
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
additive manufacturing technology
manufacturing processes
Petri nets
process modelling
verification
validation
optimization of production process supported by AM technologies
technologia wytwarzania przyrostowego
proces produkcji
sieci Petriego
modelowanie procesów
weryfikacja
walidacja
optymalizacja procesu produkcyjnego wspierana technologiami AM
Opis:
In the era of smart manufacturing and Industry 4.0, the rapid development of modelling in production processes results in the implementation of new techniques, such as additive manufacturing (AM) technologies. However, large investments in the devices in the field of AM technologies require prior analysis to identify the possibilities of improving the production process flow. This paper proposes a new approach to determine and optimize the production process flow with improvements made by the AM technologies through the application of the Petri net theory. The existing production process is specified by a Petri net model and optimized by AM technology. The modified version of the system is verified and validated by the set of analytic methods safeguarding against the formal errors, deadlocks, or unreachable states. The proposed idea is illustrated by an example of a real-life production process.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2022, 70, 2; art. no. e140693
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-2 z 2

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies