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ę "Petri Nets" wg kryterium: Temat


Tytuł:
Capacity assessment of the airport cargo screening system under disruptions
Ocena przepustowości systemu kontroli bezpieczeństwa cargo w porcie lotniczym w warunkach zakłóceń
Autorzy:
Skorupski, Jacek
Uchroński, Piotr
Powiązania:
https://bibliotekanauki.pl/articles/38955788.pdf
Data publikacji:
2023
Wydawca:
Politechnika Warszawska, Wydział Transportu
Tematy:
air cargo
security screening
airport capacity
Petri nets
simulation analysis
cargo lotnicze
kontrola bezpieczeństwa
przepustowość lotniska
sieci Petriego
analiza symulacyjna
Opis:
Cargo shipments are a growing part of the transport carried out by many air carriers. One of the critical elements in this area of activity is shipment security inspection, which is a mandatory part of the transportation process. This article aimed to study the inspection system's capacity under disruption conditions and determine its dependence on possible technical and organizational improvements. For this purpose, simulation modeling was applied using a microscale model of the cargo security inspection process realized in a colored, timed, stochastic Petri net. Bayesian networks representing the actual process were used to validate the model. As a result of the research, experiments showed that for Katowice Airport in Pyrzowice, more advanced technical solutions can increase capacity by up to 50%. On the other hand, introducing modifications to the procedure, involving at least two checks using specialized assistive devices, can reduce it by up to 40%. Relatively small changes in capacity are expected with changes in the training and experience of screening operators. Based on these results, it can be recommended that airport managers consider using technical solutions with the parameters analyzed in the article. In addition, it is necessary to maintain the level of training at least at the current level. At the same time, any changes in control procedures should be made prudently, only when necessary, due to the need to strengthen the effectiveness of controls during periods of increased terrorist threat.
Przesyłki cargo stanowią coraz większą część przewozów realizowanych przez wielu przewoźników lotniczych. Jednym z kluczowych elementów w tym obszarze działalności jest kontrola bezpieczeństwa przesyłek, która jest obowiązkowym elementem procesu przewozowego. Celem artykułu było zbadanie przepustowością systemu kontroli w warunkach zakłóceń, a także określenie jej zależności od możliwych ulepszeń technicznych i organizacyjnych. W tym celu zastosowano modelowanie symulacyjne z wykorzystaniem mikroskalowego modelu procesu kontroli bezpieczeństwa cargo zrealizowanego w postaci kolorowanej, czasowej, stochastycznej sieci Petriego. Do walidacji modelu wykorzystano sieci Bayesowskie reprezentujące rzeczywisty przebieg procesu. W wyniku przeprowadzonych eksperymentów badawczych wykazano dla lotniska Katowice w Pyrzowicach, że użycie bardziej zaawansowanych rozwiązań technicznych może zwiększyć przepustowość nawet o 50%. Z kolei wprowadzenie modyfikacji procedury, polegające na co najmniej dwukrotnej kontroli z wykorzystaniem specjalizowanych urządzeń wspomagających, może doprowadzić do jej zmniejszenia nawet o 40%. Stosunkowo niewielkie zmiany przepustowości są spodziewane w przypadku zmian w zakresie wyszkolenia i doświadczenia operatorów kontroli bezpieczeństwa. Na podstawie tych wyników można rekomendować, aby zarządzający portem lotniczym rozważyli użycie rozwiązań technicznych o parametrach, które były analizowane w artykule. Dodatkowo, konieczne jest utrzymanie poziomu wyszkolenia na co najmniej dotychczasowym poziomie, zaś wszelkie zmiany procedur kontroli należy wprowadzać rozważnie, tylko wówczas kiedy jest to niezbędne z powodu konieczności wzmocnienia skuteczności kontroli w okresach zwiększonego zagrożenia terrorystycznego.
Źródło:
WUT Journal of Transportation Engineering; 2023, 136; 101-122
1230-9265
Pojawia się w:
WUT Journal of Transportation Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modeling a negotiation process between aircraft using petri nets
Autorzy:
Żuchowska, Daria
Stelmach, Anna
Powiązania:
https://bibliotekanauki.pl/articles/27315982.pdf
Data publikacji:
2023
Wydawca:
Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Tematy:
air traffic control
ICT systems
ASAS
Petri Nets
transportation systems
kontrola ruchu lotniczego
systemy ICT
sieci Petriego
systemy transportowe
Opis:
New air traffic control ideas are sought. Many studies point out the delegation of the responsibility for ensuring separation from air traffic controllers to the aircraft crews, but it should be assumed that the transition from centralized to decentralized air traffic control will occur in stages. It is, therefore, necessary to ensure effective communication between conflicting aircraft and to define the negotiation process between aircraft. The concept of the process of negotiation and communication between aircraft in conflict using a monotonic concession protocol is presented. The proposed solution was modeled using a Petri Net, which allowed us to analyze all the dependencies present in the system. The analysis allowed us to evaluate the method in the context of safety. The conducted research showed that, under the assumed conditions, the negotiation method allows obtaining the desired effect of negotiations while maintaining an adequate level of safety.
Źródło:
Zeszyty Naukowe. Transport / Politechnika Śląska; 2023, 121; 267--285
0209-3324
2450-1549
Pojawia się w:
Zeszyty Naukowe. Transport / Politechnika Śląska
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modeling the Work of Multi-spindle Machining Centers with the Petri Nets
Autorzy:
Stryczek, Roman
Powiązania:
https://bibliotekanauki.pl/articles/24200521.pdf
Data publikacji:
2023
Wydawca:
Polska Akademia Nauk. Czasopisma i Monografie PAN
Tematy:
stochastic petri nets
machining center
process modeling
process simulation
Opis:
The article presents the results of the simulation studies concerning the impact of random production interruptions on the efficiency of multi-spindle machining centers. Four different machining center configuration models were developed using a dedicated class of stochastic Petri nets. In addition to the number of machine spindles, the number of simultaneously mounted parts, loading time of parts, their machining time, and reliability parameters regarding the frequency of machine interruptions caused by random factors were also taken into account as model parameters. A series of virtual tests was carried out for machining processes over a period of 1000 hours of operation. Analysis of the results confirmed the purpose of conducting simulation tests prior to making a decision regarding the purchase of a multispindle milling center. This work fills the existing research gap, as there are no examples in the technical literature of evaluating the effectiveness of multi-spindle machining centers.
Źródło:
Management and Production Engineering Review; 2023, 14, 3; 16--26
2080-8208
2082-1344
Pojawia się w:
Management and Production Engineering Review
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modular distributed models of production systems: a Petri nets based approach
Autorzy:
Davidrajuh, Reggie
Krenczyk, Damian
Skolud, Bożena
Powiązania:
https://bibliotekanauki.pl/articles/2204530.pdf
Data publikacji:
2023
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
production engineering systems
sustainability
modular Petri nets
Petri Modules
GPenSIM
zrównoważony rozwój
moduły Petriego
system inżynierii produkcji
sieci Petriego modułowe
Opis:
Modeling and simulation are key performance analysis and control techniques to optimize decision-making as well as design and operate complex production systems. They are also indicated as one of the technological pillars of modern industry and IT solutions supporting the implementation of the roadmap toward Industry 4.0 in the areas of digital transformation and automation. In the context of the required rapid transformation of today’s enterprises, it becomes extremely important to look for solutions that allow the use of the existing infrastructure, information, and energy, so as to minimize the negative impact of new technologies and the transformation process itself on the environment. The article presents an approach to modeling large and complex production systems with the use of distributed Petri net models allowing the use of the possessed IT infrastructure as consistent with the idea of sustainable development in the activities of enterprises. This eliminates two major problems that render traditional models unusable. The first is related to the difficulties in analyzing and verifying models of enormous size and infinite space of states. The second is related to the required computing power, if such analyzes are to be performed on one computing unit, which would force the producers to replace the IT infrastructure. For this purpose, modular Petri nets are introduced. Other benefits of modularization, such as smaller components that can be independently analyzed, are also presented in the paper. The proposed modular Petri net has been implemented in the proprietary GPenSIM software. The paper is complemented by a practical example of industrial modeling of production systems with automated guided vehicles (AGVs) using the Modular Model with Intelligent Petri Modules.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2023, 71, 2; art. no. e144621
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Computational studies of TTR related amyloidosis: exploration of conformational space through petri net-based algorithm
Autorzy:
Jakubowski, R.
Gogolińska, A.
Pepłowski, Ł.
Skrzyniarz, P.
Nowak, W.
Powiązania:
https://bibliotekanauki.pl/articles/1954249.pdf
Data publikacji:
2022-02-01
Wydawca:
Politechnika Gdańska
Tematy:
transthyretin amyloidosis
molecular dynamics
Petri nets
clustering
conformational space
graphs
dynamika molekularna
sieci Petriego grupowanie
konformacyjne miejsca
wykresy
Opis:
Amyloidosis, a serious and widespread disease with a genetic background , manifests itself through the formation of dangerous fibrils in various organs. Apart from the polluted environment and an unhealthy lifestyle, genetic factors may accelerate this process leading in some cases to lethal damages to the body. Recently, a growing interest in amyloidogenic protein research has been observed. Transthyretin (TTR) is a tetrameric protein that transports thyroid hormone thyroxine and retinol binding protein in plasma and the cerebral fluid. Sometimes TTR breaks apart and forms fibrils. Several single point mutations, having de stabilizing impact on the TTR complex, are involved in the amyloidogenic TTR cascade. Problems with the TTR tetramer stability and conformational space characteristics of the protein have not been addressed computationally before. We present selected results of our molecular dynamics (MD, ∼ 2000ns) and steered MD simulations ( SMD ) of three variants of TTR : Wild Type ( WT ), V 30 M and L 55 P . SMD has been used to enforce the dissociation of TTR . Conformational spaces of WT TTR and its amyloidogenic variants have been investigated using a novel “ One Place One Conformation ” ( OPOC ) algorithm based on a graph technique called Petrinet (PN) formalism. While the PN approach alone does not permit a direct identification of protein regions with reduced stability, it gives quite a useful tool for an effective compari son of complex protein energy landscapes explored during classical and/or SMD steered molecular dynamics simulations.
Źródło:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk; 2014, 18, 3; 289--300
1428-6394
Pojawia się w:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk
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ł
Tytuł:
Towards digital twin-driven performance evaluation methodology of FMS
Autorzy:
Bocewicz, Grzegorz
Wójcik, Robert
Sitek, Paweł
Banaszak, Zbigniew
Powiązania:
https://bibliotekanauki.pl/articles/38437630.pdf
Data publikacji:
2022
Wydawca:
Polskie Towarzystwo Promocji Wiedzy
Tematy:
FMS
Petri Nets
performance evaluation
Opis:
The paper presents a method of automated modelling and performance evaluation of concurrent production flows carried out in Flexible Manufacturing Systems. The method allows for quick assessment of various variants of such systems, considering their structure and the organization of production flow of possible ways of their implementation. Its essence is the conditions imposed on the designed model, limiting the space of possible variants of the production flow only to deadlock-free variants. The practical usefulness of the model implemented in the proposed method illustrates the example, which describes the simultaneous assessment of alternative variants of the flexible machining module's structure and the planned multi-assortment production. The ability of the method to focus on feasible solutions offers attractive perspectives for guiding the Digital Twin-like scenario in situations caused by the need to change the production flow.
Źródło:
Applied Computer Science; 2022, 18, 3; 5-18
1895-3735
2353-6977
Pojawia się w:
Applied Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Assessment of the possibility of using Bayesian nets and Petri nets in the process of selecting additive manufacturing technology in a manufacturing company
Autorzy:
Topczak, Marcin
Śliwa, Małgorzata
Powiązania:
https://bibliotekanauki.pl/articles/1837799.pdf
Data publikacji:
2021
Wydawca:
Polskie Towarzystwo Promocji Wiedzy
Tematy:
additive manufacturing
Bayesian network
Petri nets
process modelling
produkcja dodatkowa
Sieć bayesowska
Sieci Petriego
modelowanie procesów
Opis:
The changes caused by Industry 4.0 determine the decisions taken by manufacturing companies. Their activities are aimed at adapting processes and products to dynamic market requirements. Additive manufacturing technologies (AM) are the answer to the needs of enterprises. The implementation of AM technology brings many benefits, although for most 3D printing techniques it is also relatively expensive. Therefore, the implementation process should be preceded by an appropriate analysis, in order, finally, to assess the solution. This article presents the concept of using the Bayesian network when planning the implementation of AM technology. The use of the presented model allows the level of the success of the implementation of selected AM technology, to be estimated under given environmental conditions.
Źródło:
Applied Computer Science; 2021, 17, 1; 5-16
1895-3735
Pojawia się w:
Applied Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Availability analysis of an offshore oil and gas production system subjected to age-based preventive maintenance by Petri Nets
Autorzy:
Lotovskyi, Eduard
Teixeira, Angelo Palos
Soares Guedes, Carlos
Powiązania:
https://bibliotekanauki.pl/articles/1841926.pdf
Data publikacji:
2020
Wydawca:
Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
Tematy:
production availability
age-based imperfect preventive maintenance
offshore installations
oil and gas production
Petri Nets
Monte Carlo simulation
Opis:
The main objective of this paper is to model an offshore oil production system subjected to age-based preventive maintenance strategies by Petri Nets and to evaluate its availability by Monte Carlo Simulation. The oil processing and the separation equipment with their reliability and maintainability characteristics, the corrective and preventive maintenance policies and the operational dependencies that lead to the reconfiguration of the system after the failure are implemented. A special attention is given to the effect of age-based perfect and imperfect preventive maintenance strategies on the system availability. The maintenance actions consider the components’ age thresholds and an age reduction ratio. Moreover, the variation of the oil and gas flows from the well over the years is accounted by the model. As case study, an offshore production installation that operates in a Brazilian oilfield is adopted. An elasticity analysis on the model parameters is conducted to assess influence of the maintenance policy on the system availability and on the oil production.
Źródło:
Eksploatacja i Niezawodność; 2020, 22, 4; 627-637
1507-2711
Pojawia się w:
Eksploatacja i Niezawodność
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Causal reversibility in individual token interpretation of Petri Nets
Autorzy:
Benamira, Adel
Powiązania:
https://bibliotekanauki.pl/articles/1839245.pdf
Data publikacji:
2020
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
reversibility
concurrent systems
Petri Nets
causality
Opis:
Causal reversibility in concurrent systems means that events that the origin of other events can only be undone after undoing its consequences. In opposition to backtracking, events that are independent of each other can be reversed in an arbitrary order; in other words, we have flexible reversibility with respect to a causality relationship. An implementation of individual token interpretation of Petri Nets (IPNs) has been proposed by Rob Van Glabbeek et al.; the present paper investigates a study of causal reversibility within IPNs. Given N as an IPN, by adding an intuitive firing rule to undo transitions according to the causality relationship, the coherence of N is assured; i.e., the set of all reachable states of N in the reversible version and that of the original one are identical. Furthermore, reversibility in N is flexible, and their initial state can be accessible in reverse from any state. In this paper, an approach for controlling causal-reversibility within IPNs is proposed.
Źródło:
Computer Science; 2020, 21 (4); 489-511
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modelling and control of discrete-event systems using petri nets and arduino microcontrollers
Autorzy:
Kučera, Erik
Haffner, Oto
Leskovský, Roman
Powiązania:
https://bibliotekanauki.pl/articles/1837370.pdf
Data publikacji:
2020
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
hybrid system
Petri nets
microcomputer‐based control
motor
discrete event dynamic system
Opis:
The main aim of proposed article is the design of new software system for modelling and control of discrete‐event and hybrid systems using Arduino and similar microcontrollers. In this paper we propose a new tool. It is based on Petri nets and it is called PN2ARDUINO. It offers a capability of communication with the microcontroller. Communication with the microcontroller is based on modified Firmata protocol so control algorithm can be implemented on all microcontrollers that support this type of protocol. The developed software tool was successfully verified for control of laboratory systems. It can also be used for education and also for research purposes as it offers a graphical way for designing control algorithm for hybrid and mainly discrete‐event systems. Proposed tool can enrich education and practice in the field of cyberphysical systems (Industry 4.0).
Źródło:
Journal of Automation Mobile Robotics and Intelligent Systems; 2020, 14, 3; 20-27
1897-8649
2080-2145
Pojawia się w:
Journal of Automation Mobile Robotics and Intelligent Systems
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Reliability modeling based on power transfer efficiency and its application to aircraft actuation system
Model niezawodności oparty na wydajności przesyłu energii i jego zastosowanie do oceny lotniczego układu hydrauliki siłowej
Autorzy:
Cui, Xiaoyu
Li, Tongyang
Wang, Shaoping
Shi, Jian
Ma, Zhonghai
Powiązania:
https://bibliotekanauki.pl/articles/946137.pdf
Data publikacji:
2020
Wydawca:
Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
Tematy:
reliability modeling
power transfer efficiency
multi-state performance
dual hydraulic actuation system
generalized stochastic Petri nets
universal generating function
modelowanie niezawodności
wydajność przesyłu energii
działanie systemu wielostanowego
podwójny układ hydrauliki siłowej
uogólnione stochastyczne sieci Petriego
uniwersalna funkcja tworząca
Opis:
The power transfer systems (PTS) has special reliability properties, including multiple states and fault dependence. Consequently, traditional binary-state reliability modeling methods cannot accurately evaluate the reliability of PTS. In order to resolve the contradiction between terminal energy demand and power transfer capability of PTS, this paper proposes a novel multi-state reliability model based on power transfer efficiency (PTE) for reliability evaluation of PTS. The multi-state model caused by performance degradation based on PTE is considered in this paper. In addition, the failure correlation in virtue of the system structure and energy allocation mechanism is analyzed in the proposed model, and the corresponding reliability evaluation result is obtained under different terminal energy requirements. The approach is verified on the example of a dual hydraulic actuation system (DHAS), in which the stochastic model based on the generalized stochastic Petri nets (GSPNs) is established and combined with the power transfer capability via universal generating function (UGF). Though changing flow rate to face the degradation rate of hydraulic pump, the reliability assessment of DHAS based on the proposed reliability model is effective and accurate.
Układy przesyłu energii (power transfer systems, PTS) charakteryzują się szczególnymi właściwościami niezawodnościowymi, w tym wielostanowością i zależnością między błędami. W związku z tym, tradycyjne metody modelowania niezawodności, które sprawdzają się w przypadku systemów dwustanowych, nie pozwalają na dokładną ocenę niezawodności PTS. W przedstawionej pracy zaproponowano nowatorski model niezawodności systemu wielostanowego, który do oceny niezawodności PTS wykorzystuje dane o wydajności przesyłu energii (PTE). Model ten wiążę niezawodność zarówno z zapotrzebowaniem na energię końcową jak i zdolnością przesyłową PTS. Rozważano model wielostanowy opisujący proces degradacji komponentów systemu w oparciu o PTE. W proponowanym modelu analizowano korelacje między uszkodzeniami w świetle struktury systemu i mechanizmu alokacji energii, a niezawodność oceniano dla różnych stopni zapotrzebowania na energię końcową. Podejście to zweryfikowano na przykładzie podwójnego układu hydrauliki siłowej (DHAS), dla którego ustalono model stochastyczny oparty na uogólnionych stochastycznych sieciach Petriego (GSPN), który łączono ze zdolnością przesyłową za pomocą uniwersalnej funkcji tworzącej (UGF). Badania pompy hydraulicznej prowadzone dla różnych prędkości przepływu i różnych szybkości degradacji wykazały, iż ocena niezawodności DHAS na podstawie proponowanego modelu cechuje się skutecznością i trafnością.
Źródło:
Eksploatacja i Niezawodność; 2020, 22, 2; 282-296
1507-2711
Pojawia się w:
Eksploatacja i Niezawodność
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Distributed control systems integration and management with an ontology-based multi-agent system
Autorzy:
Choiński, D.
Senik, M.
Powiązania:
https://bibliotekanauki.pl/articles/201395.pdf
Data publikacji:
2018
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
distributed control system
multi-agent system
software based integration systems
ontology
Petri nets
system wieloagentowy
ontologia
sieci Petriego
inteligentny system kontroli
Opis:
The purpose of this study is to create, analyze and reuse an ontology-based approach during implementation of a multi-agent system (MAS) capable of integrating different elements of a distributed control system (DCS). Ontology is considered as knowledge about a particular domain. It includes static description of the domain’s structure and properties, by means of which it is possible to define the domain’s dynamic states, transitions between those states and conditions of those transitions. Because of that, it is possible to analyze such ontology in terms of modal logic in predicate logic settings.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2018, 66, 5; 613-620
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Graphical representations of multithreaded applications
Autorzy:
Giebas, Damian
Wojszczyk, Rafał
Powiązania:
https://bibliotekanauki.pl/articles/118235.pdf
Data publikacji:
2018
Wydawca:
Polskie Towarzystwo Promocji Wiedzy
Tematy:
graphical representation
Petri nets
Control Flow Graph
Concurrent Process Systems
multithreaded applications
reprezentacja graficzna
sieci Petriego
wykres przepływu sterowania
współbieżne systemy procesów
aplikacja wielowątkowa
Opis:
This article contains a brief description of existing graphical methods for presenting multithreaded applications, i.e. Control Flow Graph and Petri nets. These methods will be discussed, and then a way to represent multithreaded applications using the concurrent process system model will be presented. All these methods will be used to present the idea of a multithreaded application that includes the race condition phenomenon. In the summary, all three methods will be compared and subjected to the evaluation, which will depend on whether the given representation will allow to find the mentioned phenomenon.
Źródło:
Applied Computer Science; 2018, 14, 2; 20-37
1895-3735
Pojawia się w:
Applied Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modeling of railway system maintenance and availability by means of Colored Petri nets
Modelowanie utrzymania ruchu i gotowości systemu kolejowego za pomocą kolorowych sieci Petriego
Autorzy:
Song, H.
Schnieder, E.
Powiązania:
https://bibliotekanauki.pl/articles/300762.pdf
Data publikacji:
2018
Wydawca:
Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
Tematy:
prognostics and health management
colored Petri nets
railway system
maintenance
availability
prognostyka i zarządzanie zdrowiem
kolorowe sieci Petriego
system kolejowy
utrzymanie ruchu
gotowość
Opis:
Prognostics and health management (PHM) technologies permit actionable information to enable proper decision-making for improving systems’ performance. With the increasing requirements placed on the rail systems’ availability, better maintenance decisions should be evaluated before practical application. The aim of this work is to build maintenance models and estimate the performance of considered maintenance decisions regarding the rail system’s reliability and availability by means of Colored Petri nets. As a high-level formalization method, Colored Petri nets provide different color sets, which are suitable to represent different maintenance attributions. The maintenance models are evaluated at both the structure and parameterization levels. At the structure level, the structure correctness of the maintenance models is evaluated by using the state space analysis. At the parameterization level, specific maintenance decisions are illustrated. With various maintenance parameters, comparisons of system reliability and availability are made with the results obtained with the Colored Petri nets model.
Technologie prognostyki i zarządzania zdrowiem (PHM) dostarczają praktycznych danych, które umożliwiają podejmowanie właściwych decyzji w zakresie poprawy wydajności systemów. Wraz z rosnącymi wymaganiami dotyczącymi gotowości systemów kolejowych, rośnie potrzeba oceny decyzji dotyczących utrzymania ruchu przed ich wprowadzeniem w życie. Celem przedstawionej pracy było zbudowanie modeli utrzymania ruchu oraz oszacowanie za pomocą kolorowych sieci Petriego możliwości realizacji rozważanych decyzji konserwacyjnych dotyczących niezawodności i gotowości systemu kolejowego. Kolorowe sieci Petriego to metoda o wysokim poziomie formalizacji, którą w przedstawionej pracy wykorzystano do reprezentacji za pomocą różnych zestawów kolorów, różnych atrybutów utrzymania ruchu. Modele utrzymania ruchu oceniano zarówno na poziomie struktury jak i parametryzacji. Na poziomie struktury, poprawność struktury modeli utrzymania ruchu oceniano za pomocą analizy przestrzeni stanów. Na poziomie parametryzacji, zilustrowano konkretne decyzje dotyczące konserwacji. Niezawodność i gotowość systemu przy różnych parametrach utrzymania ruchu porównano z wynikami uzyskanymi za pomocą modelu kolorowych sieci Petriego.
Źródło:
Eksploatacja i Niezawodność; 2018, 20, 2; 236-243
1507-2711
Pojawia się w:
Eksploatacja i Niezawodność
Dostawca treści:
Biblioteka Nauki
Artykuł

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