Informacja

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

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "Petri Nets" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 55
Tytuł:
Fuzzy Petri nets as control systems
Rozmyte sieci Petriego jako układ sterowania
Autorzy:
Kluska, J.
Gniewek, L.
Powiązania:
https://bibliotekanauki.pl/articles/156261.pdf
Data publikacji:
2005
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
sieci Petriego
układy sterowania
przetwarzanie sygnałów analogowych
fuzzy Petri nets
Petri nets
control systems
Opis:
Industrial processes can often be modelled using Petri nets. If all the process variabless are assumed to be two-valued signals, then it is possible to obtain a control device, which works according to the algorithm described by conventional Petri net. However, the values of real signals are contained in some bounded interval, and therefore they can be interpreted as events, which are true in some degree from the interval [0,1]. Such a natural interpretation concerns sensor outputs, control signals, time expiration, etc. It leads to the idea of the fuzzy Petri net as a controller, which is able to process both analog, and binary signals. Such the net is presented in this paper.
Procesy przemysłowe często mogą być zamodelowane za pomocą sieci Petriego. Jeżeli zmienne procesowe są traktowane jako dwuwartościowe, to można otrzymać urządzenie sterujace, które działa według algorytmu opisanego przez konwencjonalną sieć Petriego. Jednak wartości sygnałów rzeczywistych zawarte są w pewnym skończonym przedziale, więc mogą być zinterpretowane jako zdarzenia prawdziwe w pewnym stopniu z przedziału [0,1]. Taka naturalna interpretacja dotyczy wyjść czujników, sygnałów sterujących, upływu czasu itd. Prowadzi to do idei rozmytych sieci Petriego jako układów sterowania, przetwarzających zarówno sygnały analogowe, jak i binarne. Takie sieci są przedstawione w niniejszym artykule.
Źródło:
Pomiary Automatyka Kontrola; 2005, R. 51, nr 1, 1; 7-10
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Synthesis of Macro Petri Nets into FPGA with Distributed Memories
Autorzy:
Bukowiec, A.
Adamski, M.
Powiązania:
https://bibliotekanauki.pl/articles/226342.pdf
Data publikacji:
2012
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
decomposition
FGPAs
logic synthesis
Petri nets
Opis:
In this paper a new method of Petri net array-based synthesis is proposed. The method is based on decomposition of colored interpreted macro Petri net into state machine subnets. Each state machine subnet is determined by one color. During the decomposition process macroplaces are expanded or replaced by doublers of macroplace. Such decomposition leads to parallel implementation of a digital system. The structured encoding of places is done by using minimal numbers of bits. Colored microoperations, which are assigned to places, are written into distributed and flexible memories. It leads to realization of a logic circuit in a two-level concurrent structure, where the combinational circuit of the first level is responsible for firing transitions, and the second level memories are used for generation of microoperations. Such an approach allows balanced usage of different kinds of resources available in modern FPGAs.
Źródło:
International Journal of Electronics and Telecommunications; 2012, 58, 4; 403-410
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The study of the influence of micro-environmental signals on macrophage differentiation using a quantitative Petri net based model
Autorzy:
Rżosińska, K.
Formanowicz, D.
Formanowicz, P.
Powiązania:
https://bibliotekanauki.pl/articles/229319.pdf
Data publikacji:
2017
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
Petri nets
atherosclerosis
macrophages
t-invariants
Opis:
The complexity of many biological processes, which, thanks to the development of many fields of science, becomes for us more and more obvious, makes these processes extremely interesting for further analysis. In this paper a quantitative model of the process of macrophage differentiation, which is essential for many phenomena occurring in the human body, is proposed and analyzed. The model is expressed in the language of Petri net theory on the basis of one of the three hypotheses concerning macrophage differentiation existing in the literature. The performed analysis allowed to find an importance of individual factors in the studied phenomenon.
Źródło:
Archives of Control Sciences; 2017, 27, 2; 331-349
1230-2384
Pojawia się w:
Archives of Control Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Dependability of services networks
Autorzy:
Zamojski, W.
Powiązania:
https://bibliotekanauki.pl/articles/2069681.pdf
Data publikacji:
2009
Wydawca:
Uniwersytet Morski w Gdyni. Polskie Towarzystwo Bezpieczeństwa i Niezawodności
Tematy:
dependability
networks
services
functional-dependability models
Petri nets
Opis:
In the tutorial paper systems and networks are considered as a union of all their resources essential for the realization of predicted tasks. System dependability is discussed with respect to the occurrence of incidents and treats that may cause damage to the system resources and, in consequence, to the executed tasks. The maintenance policy system is based on two main concepts: detection of unfriendly events and system responses to them. It is proposed to analyse the network system from the functional and user point of view, focusing on business service realized by a network system. Services networks are modelled as the Petri net models which may be useful for analyses of dependability parameters and for setting up a maintenance policy of the services net.
Źródło:
Journal of Polish Safety and Reliability Association; 2009, 2; 387--396
2084-5316
Pojawia się w:
Journal of Polish Safety and Reliability Association
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Predicting performance in A PaaS environment: a case study for a web application
Autorzy:
Rząsa, W.
Powiązania:
https://bibliotekanauki.pl/articles/305227.pdf
Data publikacji:
2017
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
performance
simulation
distributed application
web
Petri nets
TCPN
Opis:
This paper demonstrates how the combination of simulation and real-world experiments can be used to aid decisions concerning the performance of a distributed application. It presents a case study of performance analysis carried out for a commercial application implementing a web-based API server for mobile clients. The application was deployed on the Heroku cloud-based Platform as a Service (PaaS). The analysis described in this paper provided information required to choose the proper configuration of resources for the software. Simulation was used in the research to identify factors crucial to the performance of the application. This allowed for the preparation of basic experiments concentrating on these factors. Consequently, the basic parameters of resources crucial for the efficiency of the application could be benchmarked at insignificant cost and effort. This approach allows us to reliably aid decisions concerning resource configuration for an analyzed application. The simulation method used in this research is based on the formalism of Timed Colored Petri Nets, but the complexity of formal modeling is hidden from its users. Application developers are able to conveniently create a high-level model of their designs and perform simulations, while the reliability of the results is ensured by the formalism. The paper demonstrates the usefulness of the simulation method for analyzing real-world distributed systems.
Źródło:
Computer Science; 2017, 18 (1); 21-39
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Tools and Methods for RTCP-Nets Modeling and Verification
Autorzy:
Szpyrka, M.
Biernacki, J.
Biernacka, A.
Powiązania:
https://bibliotekanauki.pl/articles/229254.pdf
Data publikacji:
2016
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
RTCP-nets
Petri nets
model checking
coverability graphs
nuXmv
CADP
Opis:
RTCP-nets are high level Petri nets similar to timed colored Petri nets, but with different time model and some structural restrictions. The paper deals with practical aspects of using RTCP-nets for modeling and verification of real-time systems. It contains a survey of software tools developed to support RTCP-nets. Verification of RTCP-nets is based on coverability graphs which represent the set of reachable states in the form of directed graph. Two approaches to verification of RTCP-nets are considered in the paper. The former one is oriented towards states and is based on translation of a coverability graph into nuXmv (NuSMV) finite state model. The later approach is oriented towards transitions and uses the CADP toolkit to check whether requirements given as μ-calculus formulae hold for a given coverability graph. All presented concepts are discussed using illustrative examples.
Źródło:
Archives of Control Sciences; 2016, 26, 3; 339-365
1230-2384
Pojawia się w:
Archives of Control Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Decentralized structural control approach for Petri nets
Autorzy:
Aybar, A.
Powiązania:
https://bibliotekanauki.pl/articles/969777.pdf
Data publikacji:
2007
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
discrete event systems
Petri nets
decentralized control
structural controller
Opis:
The structural controller, described by adding the control places to the Petri nets, is introduced in this work to lead the Petri net to the desired marking vectors. An algorithm (Algorithm I) is developed to determine the control places for the given Petri net. The connections and the initial marking of each control place are determined in this algorithm. Moreover, a decentralized structural control approach, based on overlapping decompositions, is introduced in this work. In this decentralized approach, all disjoint Petri subnets, which are obtained by using overlapping decompositions, are determined. The control places for each Petri subnet are determined by using the given algorithm. Then, the control places for the orginal Petri net are obtained by the control places of each PSN by another algorithm (Algorithm II) and these places are added to the orginal Petri net. Therefore, a decentralized structural controller which guarantees to lead the Petri net to the desired marking vectors is obtained.
Źródło:
Control and Cybernetics; 2007, 36, 1; 143-159
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Środowisko do szybkiego prototypowania systemów do diagnostyki w czasie rzeczywistym
Rapid prototyping enivironment for diagnosis real time systems
Autorzy:
Rubin, G.
Omieljanowicz, M.
Powiązania:
https://bibliotekanauki.pl/articles/327198.pdf
Data publikacji:
2006
Wydawca:
Polska Akademia Nauk. Polskie Towarzystwo Diagnostyki Technicznej PAN
Tematy:
szybkie prototypowanie
sieci Petriego
FPGA
rapid prototyping
Petri nets
Opis:
Idea szybkiego prototypowania (ang. rapid prototyping) oznacza takie prowadzenie prac projektowych i wdrożeniowych aby maksymalnie ograniczyć czas i koszty związane z wprowadzeniem nowych koncepcji i produktów zaawansowanych technologii na rynek. Prototypowanie to, ujmując lapidarnie szybkie stworzenie prototypu urządzenia, czy też programu, umożliwiającego dokonanie oceny jego funkcjonalności, przydatności i akceptowalności przez końcowego odbiorcę. Realizacja takiego podejścia w ogólnym przypadku jest bardzo trudna. Tworzone są więc systemy prototypowania dla wybranych dziedzin i gałęzi przemysłu. W przedstawionej pracy opisana została koncepcja postępowania i propozycja zestawu narzędzi szybkiego prototypowania z dziedziny cyfrowego przetwarzania sygnałów akustycznych i wibroakustycznych. Pokazano też wykorzystanie jej do stworzenia modelu i prototypu uniwersalnej architektury do prowadzenia złożonych obliczeń (w tym zaawansowanych pomiarów) w czasie rzeczywistym.
Rapid prototyping aims to reducing development cost via prototyping. Prototypes are built to assess whether proposed system will be acceptable to its user and whether a proposed design will provide adequate functionality and performance. A prototype is constructed prior to the system's production version to gain information that guides analysis and design. In this article is proposed RPPE (Rapid Prototyping Project Environment) for real-time embedded systems. This environment is based on modeling using new modification of Petri nets called hardware Petri nets. Implementation is made using special hardware architecture called dynamic reconfigurable internal architecture. The main advantage of proposed RPPE is that there is no need to change hardware, even if all used algorithms must be changed. There is a possibility to make all design process to be almost fully automated from modeling to working prototype.
Źródło:
Diagnostyka; 2006, 3(39); 13-18
1641-6414
2449-5220
Pojawia się w:
Diagnostyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modelowanie i symulacja pracy złożonych systemów technicznych
Modelling and Simulation of the Complex Technological Systems Operation
Autorzy:
KĘSY, Marek
Powiązania:
https://bibliotekanauki.pl/articles/457444.pdf
Data publikacji:
2015
Wydawca:
Uniwersytet Rzeszowski
Tematy:
model
modelowanie
symulacja
sieci Petriego
modelling
simulation
Petri nets
Opis:
Przedstawiono podstawowe informacje z zakresu modelowania systemów technicznych. Zaprezentowano możliwość modelowania złożonego systemu technicznego za pomocą modelu matematycznego – sieci Petriego, analizując ich praktyczną i dydaktyczną użyteczność.
In the paper basic information regarding modelling of the technical systems has been presented. Modelling of the complex technical system was performed by Petri nets theory. Their professional and didactical useability has been analyzed.
Źródło:
Edukacja-Technika-Informatyka; 2015, 6, 3; 225-231
2080-9069
Pojawia się w:
Edukacja-Technika-Informatyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Constructing catalogue of temporal situations
Autorzy:
Koseska-Toszewa, Violetta
Mazurkiewicz, Antoni
Powiązania:
https://bibliotekanauki.pl/articles/677143.pdf
Data publikacji:
2010
Wydawca:
Polska Akademia Nauk. Instytut Slawistyki PAN
Tematy:
Sentences
tenses
states
events
time flow
Petri nets
modality
Opis:
Constructing catalogue of temporal situationsThe paper is aiming to create a common basis for description, comparing, and analysis natural languages. As a subject of comparison we have chosen temporal structures of some languages. For such a choice there exists a perfect tool, describing basic temporal phenomena, namely an ordering of states and events in time, certainty and uncertainty, independency of histories of separate objects, necessity and possibility. This tool is supported by the Petri nets formalism, which seems to be well suited for expressing the above mentioned phenomena. Petri nets are built form three primitive notions: of states, of events that begin or end the states, and so-called flow relation indicating succession of states and events. This simple constituents give rise to many possibilities of representing temporal phenomena; it turns out that such representations are sufficient for many (clearly, not necessarily all) temporal situations appearing in natural languages.In description formalisms used till now there is no possibility of expressing such reality phenomena as temporal dependencies in compound statement, or combination of temporality and modality. Moreover, using these formalisms one cannot distinguish between two different sources of uncertainty of the speaker while describing the reality: one, due to the lack of knowledge of the speaker what is going on in outside world, the second, due to objective impossibility of foreseen ways in which some conflict situations will be (or already have been) resolved. Petri net formalism seems to be perfectly suited for such differentiations.There are two main description principles that encompassed this paper. First, that assigns meaning to names of grammatical structures in different languages may lead to misunderstanding. Two grammatical structures with apparently close names may describe different reality. Additionally, some grammatical terms used in one language may be absent and not understandable in the other. It leads to assign meanings to situations, rather than to linguistic forms used for their expression. The second principle is limit the discussed issues to such a piece of reality that can be possible for precise description. The third is to avoid introducing such information to the described reality that is not explicitly mentioned by linguistic means. The authors try to following these principles in the present paper.The paper is organized as follows. First, some samples of situations related to present tense are given together with examples of their expressions in four languages: English, (as a reference language) and three Slavic languages, representing South slavonic languages (Bulgarian), West slavonic languages (Polish), and East slavonic languages (Russian). Within the same framework the next parts of the paper are constructed, supplying samples of using Past tenses and, finally, future tenses and modalities.The formal tools for description purposes are introduced stepwise, according to needs caused be the described reality. There are mainly Petri nets, equipped additionally with inscriptions or labeling in order to keep proper assignations of description units to described objects.
Źródło:
Cognitive Studies; 2010, 10
2392-2397
Pojawia się w:
Cognitive Studies
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analiza cyklicznych sieci Petriego przy pomocy dekompozycji blokowej
Analysis of Cyclic Petri Nets by Means of Block Decomposition
Autorzy:
Karatkiewicz, A.
Powiązania:
https://bibliotekanauki.pl/articles/152902.pdf
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
sieci Petriego
dekompozycja
eksploracja stanów
Petri nets
decomposition
state exploration
Opis:
Artykuł przedstawia metodę analizy żywotności i bezpieczeństwa sieci Petriego, na których znakowanie początkowe i strukturę nałożone są pewne ograniczenia, typowe dla sieci cyklicznych, modelujących algorytmy sterowania. Metoda jest wzorowana na metodzie analizy operacyjnych sieci Petriego i jest jej zaadaptowaniem do innej klasy sieci. Przedstawiona metoda polega na dekompozycji sieci i konstruowaniu przestrzeni osiągalności bloków, w kolejności wyznaczonej strukturą sieci. W artykule przytoczono wyniki eksperymentów, opisujące stopień redukcji przestrzeni stanów.
The paper presents a methods of deciding of liveness and safeness of Petri nets with certain restrictions imposed on their structure and initial marking, which are typical for cyclic nets, modeling the control algorithms. The method is based on the method of analysis of operational Petri nets, and it is an adaptation of this method to another class of nets. The method decomposes the net and explores state spaces of its blocks in an order depending on the net structure. The experimental results are presented, demonstrating reduction of state space.
Źródło:
Pomiary Automatyka Kontrola; 2007, R. 53, nr 5, 5; 69-71
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zastosowanie sieci Petriego do modelowania procesów bezpieczeństwa w transporcie morskim
Petri nets in modelling of maritime transport safety and security processes
Autorzy:
Miler, R. K.
Piotrowicz, M.
Powiązania:
https://bibliotekanauki.pl/articles/251416.pdf
Data publikacji:
2015
Wydawca:
Instytut Naukowo-Wydawniczy TTS
Tematy:
transport morski
bezpieczeństwo
sieć Petriego
maritime transport
security
Petri nets
Opis:
Bezpieczeństwo transportu morskiego jawi się jako istotny czynnik sprawności oraz efektywności procesów realizowanych globalnie przy użyciu tej gałęzi transportu. Celem badań przedstawionych w niniejszym artykule było ukazanie możliwości wykorzystania różnorodnych notacji do modelowania wybranych procesów z zakresu bezpieczeństwa transportu morskiego. Szczególny nacisk położono na ukazanie możliwości zastosowania sieci Petriego jako nowatorskiej, dotychczas nie wykorzystywanej notacji dla reprezentacji opisywanych procesów. Do opisu wybrano reprezentatywny proces tworzenia zintegrowanego zobrazowania żeglugi (IMAP) z wykorzystaniem narzędzi monitoringu (podsystem sensoryczny), analizowania (podsystem analityczno-decyzyjny) oraz reagowania (podsystem efektorowy). W badaniu użyto analizy holistycznej w ramach paradygmatu cybernetycznego oraz wykorzystano metody i narzędzia modelowania z teorii systemów. Rezultatem badań jest przedstawienie procesu two-rzenia i analizy IMAP za pomocą schematów blokowych, algorytmów i sieci Petriego. Pozwoli to na dalsze prace związane z tworzeniem systemów eksperckich (analityczno-decyzyjnych) możliwych do implementacji w nowobudowanych zintegrowanych systemach monitoringu żeglugi morskiej i bezpieczeństwa transportu morskiego. W artykule pozytywnie zweryfikowano roboczą hipotezę stanowiącą, iż sieci Petriego stanowią użyteczną notację do modelowania i formalnej analizy procesów bezpieczeństwa transportu morskiego.
Safety and security of maritime transport have become a significant element of recent global seaborne trade processes. The main aim of presented in this article research results is presentation of various notations that can be adopted for modelling of maritime transport security and safety processes. The main focus was on recognition of Petri nets as an innovative tool for modelling. Integrated Maritime Picture (IMAP) has been chosen for further detailed research as a representative process consists of monitoring (sensor process), analysis and reaction (effector process). As research methods a holistic analysis from cybernetic paradigm as well as modelling tools have been applied. Results come with presentation of the IMAP process with use of block schemes, algorithms and Petri nets. It may be further utilised in expert systems being the important part of already introduced integrated shipping monitoring systems. In this paper the working hypothesis stated that Petri nets are useful tool in maritime transport processes modelling has been proved.
Źródło:
TTS Technika Transportu Szynowego; 2015, 12; 1077-1083, CD
1232-3829
2543-5728
Pojawia się w:
TTS Technika Transportu Szynowego
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The effect of cigarette smoking on endothelial damage and atherosclerosis development – modeled and analyzed using Petri nets
Autorzy:
Chmielewska, K.
Formanowicz, D.
Formanowicz, P.
Powiązania:
https://bibliotekanauki.pl/articles/229838.pdf
Data publikacji:
2017
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
atherosclerosis
endothelial dysfunction
cigarette smoking
modeling
Petri nets
t-invariants
Opis:
Atherosclerosis as one of the crucial causes of cardiovascular diseases (CVD) is the leading reason of death worldwide. One of the contributing factors to this phenomenon is endothelial dysfunction, which is associated with the impact of various agents and their interactions. Tobacco smoke is one of the well known factors here. For better understanding of its significance a model of its impact on atherosclerotic plaque formation has been proposed. The model contains selected aspects of the influence of tobacco smoke, dual function of nitric oxide (NO) (influence of various mechanisms on NO bioavailability), oxidative stress which promotes low density lipoproteins oxidation, macrophages significance and other mechanisms leading to an aggravation of the endothelial disturbances. The model has been built using Petri nets theory and the analysis has been based on t-invariants. This approach allowed to confirm the important role of inflammation and oxidative stress in atherosclerosis development and moreover it has shown the considerable influence of the cigarette smoke.
Źródło:
Archives of Control Sciences; 2017, 27, 2; 211-228
1230-2384
Pojawia się w:
Archives of Control Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A framework for additional server activation
Autorzy:
Savić, G.
Makajić-Nikolić, D.
Vujošević, M.
Powiązania:
https://bibliotekanauki.pl/articles/409328.pdf
Data publikacji:
2012
Wydawca:
Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
Tematy:
queue
Additional server
Activation rule
Petri nets
data envelopment analysis
Opis:
This paper assesses the performance of the queuing system with several fixed and additional multitask servers. The additional server serves customers in the case of necessity to avoid congestion and decrease the number of impatient customers. An additional server will be activated whenever the length of queue becomes greater than or equal to user defined size i.e. threshold value. Also, this server will be switched off when the length of queue falls below user defined size, but ongoing service has to be finished.The main issue is to decide when and how long the additional server would work with customers. This paper proposes a methodology to choose the best activation rule for the work of an additional server, based on the performance evaluation of queuing system. The Petri nets (PN) simulation is used to calculate the performance measures. Relative efficiency evaluation of different activation rules is carried out by data envelopment analysis (DEA). The methodology is applied on real-life data collected from a postal office.
Źródło:
Research in Logistics & Production; 2012, 2, 4; 387-397
2083-4942
2083-4950
Pojawia się w:
Research in Logistics & Production
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analysis of transportation system with the use of Petri nets
Autorzy:
Kowalski, M.
Magott, J.
Nowakowski, T.
Werbińska-Wojciechowska, S.
Powiązania:
https://bibliotekanauki.pl/articles/2069666.pdf
Data publikacji:
2009
Wydawca:
Uniwersytet Morski w Gdyni. Polskie Towarzystwo Bezpieczeństwa i Niezawodności
Tematy:
logistic support system
transportation system
procurement process
Petri nets
simulation process
Opis:
The paper considers problem of city transportation system performance. Reliability analysis of such a complex system is complicated by several factors. One of them is the possibility of logistic support elements unreliability defined as unavailability of spare elements when desired, what in result may lead to decrease of performance of the system being supported. Thus, both systems must be considered in a single model. However, the simultaneous setting of all structural parameters (e.g. redundancy, repair shop capacity) and control variables (e.g. spare part inventory levels, maintenance policy parameters, time resource) is mathematically a hard problem. This paper investigates Petri net model of the system with the use of Monte Carlo simulation as a solution technique. Comparison of the simulation results with characteristics of real-life system is given.
Źródło:
Journal of Polish Safety and Reliability Association; 2009, 2; 265--276
2084-5316
Pojawia się w:
Journal of Polish Safety and Reliability Association
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 55

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