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


Wyświetlanie 1-12 z 12
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ł:
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ł:
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ł:
Application of agent cooperation by means of DES supervision to manufacturing system
Autorzy:
Čapkovič, F.
Powiązania:
https://bibliotekanauki.pl/articles/229948.pdf
Data publikacji:
2011
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
agents
control
cooperation
discrete event systems
continuous systems
hybrid Petri nets
supervisor
synthesis
Opis:
The supervision of complex manufacturing systems is handled in this paper. Production lines of manufacturing systems are understood here to be hybrid agents. Such an agent expresses continuous material flow together with a set of imperative discrete operations. In other words, the hybrid agent makes a cooperation of continuous and discrete event devices possible. The results are applied to complex continuous manufacturing system. First Order Hybrid Petri Nets (FOHPN) are utilized in order to model the elementary autonomous hybrid agents. The cooperation of hybrid agents is based on the DES (discrete-event systems) control theory. It is realized by means of DES supervision methods and the agent negotiation is based on place/transition Petri nets (P/T PN). The proposed approach is illustrated in details on the cooperation of hybrid production lines in the real complex manufacturing systems recycling waste plastics into plastic bags. The usefulness and applicability of the approach consists especially in the fact that the procedures in analytical terms can be employed. In such a way the approach turns lucid also in complicated cases.
Źródło:
Archives of Control Sciences; 2011, 21, 4; 395-417
1230-2384
Pojawia się w:
Archives of Control Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Some aspects of modeling and analysis of complex biological systems using time Petri nets
Autorzy:
Olszak, J.
Radom, M.
Formanowicz, P.
Powiązania:
https://bibliotekanauki.pl/articles/199770.pdf
Data publikacji:
2018
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
time Petri nets
t-invariants
biological system
system biologiczny
czasowe sieci Petriego
inwariant
Opis:
Models of complex biological systems can be built using different types of Petri nets. Qualitative nets, for example, can be successfully used to obtain a model of such a system and on its basis a structure-based analysis can be performed. Time is an important factor influencing a whole biological system behaviour and in many cases it should be considered during building a model of such a system. In this paper various types of time Petri nets have been described and methods for studying corresponding models have been discussed. In particular, an algorithm using time parameters to enhance t-invariants based analysis is proposed. This algorithm allows for calculation of the minimal and maximal numbers of tokens (respectively, for an optimistic and pessimistic case) in particular places necessary to assure that all transitions from a given t-invariant support will be able to fire. Additionally, to address the problem of the proper assignment of time values to transitions, the known methods for calculation and evaluation of such time parameters based on the net structure have also been discussed.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2018, 66, 1; 67-78
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
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ł:
Using the Petri nets for forming the technological lines of the passenger trains processing in Ukraine
Autorzy:
Aleshinskiy, E.
Naumov, V.
Prymachenko, G.
Powiązania:
https://bibliotekanauki.pl/articles/224307.pdf
Data publikacji:
2016
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
passenger complexes
passenger technical station
Petri nets
simulation model
technological line
pociągi pasażerskie
sieci Petriego
model symulacyjny
linia technologiczna
Opis:
Despite the large number of publications, which authors use the mathematical apparatus of Petri nets for the transportation systems studies, there are still no such researches of technological processing lines for passenger trains on the territory of passenger complexes that aim to improve trains processing technology. In this article, we present simulation models of technological processing lines for passenger trains of different categories developed with the use of Petri nets. The structure of proposed simulation models is based on real time parallel-operating objects. Such an approach allows maximizing similarity of developed models and the simulated objects; in this way we achieve the increased adequacy of the obtained models. The article presents an interface of developed models and examples of their functioning under conditions of different input parameters, as well as the results of their use in order to reduce the passenger trains processing time. The proposed models are generic and could be applied for simulation of passenger trains processing at any station of Ukraine.
Źródło:
Archives of Transport; 2016, 38, 2; 7-15
0866-9546
2300-8830
Pojawia się w:
Archives of Transport
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Dual synthesis of Petri net based application specific logic controllers with increased safety
Autorzy:
Tkacz, J.
Bukowiec, A.
Adamski, M.
Powiązania:
https://bibliotekanauki.pl/articles/200217.pdf
Data publikacji:
2016
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
critical safety
FPGAs
logic controllers
logic synthesis
Petri nets
verification
bezpieczeństwo krytyczne
FPGA
sterowniki logiczne
synteza logiczna
sieci Petriego
weryfikacja
Opis:
In the paper, design flow of the application specific logic controllers with increased safety by means of Petri nets is proposed. The controller architecture is based on duplicated control unit and comparison results from both units. One specification of control algorithm is used by means of Petri net for both units. The hardware duplication is obtained during dual synthesis process. This process uses two different logic synthesis methods to obtain two different hardware configurations for both control units. Additionally, the dual verification is applied to increase reliability of the control algorithm. Such design flow simplifies the process of realization of control systems with increased safety.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2016, 64, 3; 467-478
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Off-line and dynamic production scheduling - a comparative case study
Autorzy:
Bożek, A.
Wysocki, M.
Powiązania:
https://bibliotekanauki.pl/articles/406687.pdf
Data publikacji:
2016
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
flexible job shop
lot streaming
off-line scheduling
dynamic scheduling
tabu search
constraint programming
dispatching rule
Petri nets
multi-agent systems
Opis:
A comprehensive case study of manufacturing scheduling solutions development is given. It includes highly generalized scheduling problem as well as a few scheduling modes, methods and problem models. The considered problem combines flexible job shop structure, lot streaming with variable sublots, transport times, setup times, and machine calendars. Tabu search metaheuristic and constraint programming methods have been used for the off-line scheduling. Two dynamic scheduling methods have also been implemented, i.e., dispatching rules for the completely reactive scheduling and a multi-agent system for the predictivereactive scheduling. In these implementations three distinct models of the problem have been used, based on: graph representation, optimal constraint satisfaction, and Petri net formalism. Each of these solutions has been verified in computational experiments. The results are compared and some findings about advantages, disadvantages, and suggestions on using the solutions are formulated.
Źródło:
Management and Production Engineering Review; 2016, 7, 1; 21-32
2080-8208
2082-1344
Pojawia się w:
Management and Production Engineering Review
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ł:
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-12 z 12

    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