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 61
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ł:
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ł:
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ł:
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ł:
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ł:
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ł:
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ł
Tytuł:
Modeling demand forecast variance in a distributed supply chain network using generalized stochastic petri nets
Autorzy:
Sarkar, Bidyut Biman
Cortesi, Agostino
Chaki, Nabendu
Powiązania:
https://bibliotekanauki.pl/articles/432331.pdf
Data publikacji:
2013
Wydawca:
Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
Tematy:
Supply Chain Management
Bullwhip Effect
Generalized Stochastic Petri Nets
Retail Network
Opis:
There is a trade-off in Supply Chain Management Systems between efficiency and demand variability. When no variation occurs in consumer need, order cycle, product portfolios, and in distribution lead time, then the supply chain would be just a routine business process. Unfortunately, in practice this is not often the case. Thus, ranking demand variability is one of the prime challenges to reduce safety stock without affecting customer demand. This paper studies supply chain demand variability with multiple suppliers, manufacturers, distributors, wholesalers, retailers, and customers as tiers, and each stage as an echelon that faces stochastic demand volatility. A Generalized Stochastic Petri-Net (GSPN) model is proposed in a distributed scenario to synchronize the response capabilities among the players in the chain, and to lower down the supplier demand variance with scheduled ordering policies. Maintaining a uniform inventory stock throughout the chain has two main effects: the bullwhip effect (BWE) will be negligible, and uncertainty in decision making at each echelon will be reduced substantially.
Źródło:
Informatyka Ekonomiczna; 2013, 3(29); 128-151
1507-3858
Pojawia się w:
Informatyka Ekonomiczna
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 61

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