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-net" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 36
Tytuł:
A high-level Petri net model of queueing production system
Autorzy:
Kuzmin, O.
Bazylevych, P
Powiązania:
https://bibliotekanauki.pl/articles/118257.pdf
Data publikacji:
2014
Wydawca:
Polskie Towarzystwo Promocji Wiedzy
Tematy:
queueing production system
Petri net
Opis:
In the paper a high-level Petri model for widespread queueing networks in production systems with many customers, several queues with independent production buffers and different service nodes is presented. Requests can be either single- or polytypic. Such parameters of system as productivity, queue length and waiting time are evaluated.
Źródło:
Applied Computer Science; 2014, 10, 3; 78-85
1895-3735
Pojawia się w:
Applied Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Implementation of Algorithm of Petri Nets Distributed Synthesis into FPGA
Autorzy:
Bukowiec, A.
Tkacz, J.
Gratkowski, T.
Gidlewicz, T.
Powiązania:
https://bibliotekanauki.pl/articles/226156.pdf
Data publikacji:
2013
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
C#
decomposition
FGPA
logic synthesis
Petri net
Opis:
In the paper an implementation of algorithm of Petri net array-based synthesis is presented. The method is based on decomposition of colored interpreted macro Petri net into subnets. The structured encoding of places in subnets is done of using minimal numbers of bits. Microoperations, which are assigned to places, are written into distributed and flexible memories. It leads to realization of a logic circuit in a twolevel 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. This algorithm is implemented in C# and delivered as a stand alone library.
Źródło:
International Journal of Electronics and Telecommunications; 2013, 59, 4; 317-324
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Design of dymanic structural models of information management system of moving objects
Budowa dynamicznych modeli strukturalnych informacyjnych systemów zarządzania poruszającymi się obiektami
Autorzy:
Korobchynsky, M.
Mashkov, O.
Powiązania:
https://bibliotekanauki.pl/articles/408840.pdf
Data publikacji:
2013
Wydawca:
Politechnika Lubelska. Wydawnictwo Politechniki Lubelskiej
Tematy:
structural model
information management systems
Petri net
unmanned aerial vehicle (UAV)
model strukturalny
systemy zarządzania informacją
Petri-net
bezzałogowe statki powietrzne
Opis:
In the following work the authors attempt to find the best way to design a dynamic structural model of information management system of moving objects. This structural model allows organizing various management systems of moving objects, considering the spatial and time dependencies between the key components or parameters of the said management system. An example of such system may be a group of UAVs.
W pracy autorzy próbują znaleźć najlepszy sposób zaprojektowania dynamicznego modelu strukturalnego systemu zarządzania informacji poruszających się obiektów. Ten model strukturalny umożliwia organizowanie różnych systemów zarządzania poruszających się obiektów, biorąc pod uwagę przestrzenne i czasowe zależności pomiędzy kluczowymi komponentami lub parametrów tego systemu zarządzania. Przykładem takiego systemu może być grupa bezzałogowych statków powietrznych.
Źródło:
Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska; 2013, 4; 78-80
2083-0157
2391-6761
Pojawia się w:
Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Synthesis of Petri net based model of a discrete event manufacturing system for nonlinear process plan
Autorzy:
Słota, A.
Zając, J.
Uthayakumar, M.
Powiązania:
https://bibliotekanauki.pl/articles/406874.pdf
Data publikacji:
2016
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
manufacturing system
Petri net
nonlinear process plan
modular modeling
Opis:
This work presents a modelling approach for nonlinear process plan (NLPP) implementation in discrete event manufacturing system (DEMS). NLPP is used for the building of the modular structure of an Object Observable Petri Net model of DEMS. The general capabilities of DEMS are defined by resources’ operation templates and the transition incidence relation. Based on system specification and NLPP executed in the system, the modular model of DEMS is defined. The required steps for constructing a modular model through the integration of resource models are presented. The proposed approach to modular modelling is illustrated by means of a sample DEMS and an example of NLPP.
Źródło:
Management and Production Engineering Review; 2016, 7, 2; 62-72
2080-8208
2082-1344
Pojawia się w:
Management and Production Engineering Review
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Navigation of humanoids by a hybridized regression-adaptive particle swarm optimization approach
Autorzy:
Kumar, P. B.
Sahu, C.
Parhi, D. R.
Powiązania:
https://bibliotekanauki.pl/articles/229923.pdf
Data publikacji:
2018
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
navigation
humanoid NAO
RA
APSO
Petri-Net
V-REP
Opis:
In the era of humanoid robotics, navigation and path planning of humanoids in complex environments have always remained as one of the most promising area of research. In this paper, a novel hybridized navigational controller is proposed using the logic of both classical technique and computational intelligence for path planning of humanoids. The proposed navigational controller is a hybridization of regression analysis with adaptive particle swarm optimization. The inputs given to the regression controller are in the forms of obstacle distances, and the output of the regression controller is interim turning angle. The output interim turning angle is again fed to the adaptive particle swarm optimization controller along with other inputs. The output of the adaptive particle swarm optimization controller termed as final turning angle acts as the directing factor for smooth navigation of humanoids in a complex environment. The proposed navigational controller is tested for single as well as multiple humanoids in both simulation and experimental environments. The results obtained from both the environments are compared against each other, and a good agreement between them is observed. Finally, the proposed hybridization technique is also tested against other existing navigational approaches for validation of better efficiency.
Źródło:
Archives of Control Sciences; 2018, 28, 3; 349--378
1230-2384
Pojawia się w:
Archives of Control Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Doskonała sieć Petriego w projektowaniu współbieżnych układów sterujących
Perfect Petri Net in parallel control circuits
Autorzy:
Adamski, M.
Kołopieńczyk, M.
Mielcarek, K.
Powiązania:
https://bibliotekanauki.pl/articles/152414.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
sieć Petriego
sieć doskonała
graf doskonały
Petri net
perfect net
perfect graph
Opis:
W artykule wskazano na korzyści płynące z wykorzystania doskonałych bezpiecznych sieci Petriego w projektowaniu współbieżnych układów sterujących. Przedstawiono sposób sprawdzenia, czy sieć Petriego jest siecią doskonałą poprzez analizę jej stanów globalnych i badanie relacji miedzy jej stanami lokalnymi. Potwierdzono, że grafy współbieżności i sekwencyjności między miejscami sieci są grafami doskonałymi. Konsekwencją doskonałości sieci jest możliwość wykorzystania algorytmów o złożoności wielomianowej do jej analizy dynamicznej i statycznej.
This paper is pointing out benefits from application of perfect and safe Petri Nets to design process of parallel control circuits. There is presented a method for verifying the perfectness of Petri Net achieved by analysis of Petri Net global states and relation between Petri Net local states. There is also proved that the concurrency and sequencing graphs of a given Petri Net are perfect. Static and dynamic analysis can be performed using algorithms with polynomial complexity. The presented dependences can also be used to decompose a given Petri Net into components, i.e. state machines, and analyze and verify the project correctness. Petri net analysis is discussed on an example of a real-life object of the beverages mixing system. This paper is divided into five parts. The first section is a brief introduction to issues of perfect and safe Petri Nets. The second section is the theoretical introduction to the subject matter. In the third section an example of perfect Petri nets is presented. In the fourth section the method of constructing the perfect Petri Nets is presented. The last section contains the sum-mary.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 6, 6; 656-660
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Structured Mapping of Petri Net States and Events for FPGA Implementations
Autorzy:
Tkacz, J.
Adamski, M.
Powiązania:
https://bibliotekanauki.pl/articles/227222.pdf
Data publikacji:
2013
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
configurable logic controllers
interpreted Petri net state space
local and global state encoding
hyperpgraph
logic design
Gentzen sequents
Petri net coloring
FPGA
VHDL
Opis:
The paper presents a new method of structured encoding of global internal states and events in Reconfigurable Logic Controllers, which are directly mapped into Field Programmable Gate Arrays (FPGA). Modular, concurrently decomposed, colored state machine is chosen as a intermediate model, before the mapping of Petri net into an array structure of dedicated but very flexible and reliable digital system. The initial textual specification in formal Gentzen logic serves both as a design description for a rapid prototyping, as well as formal model, suitable for detailed computer-based reasoning about optimized and synthesized logic controller, implemented in configurable hardware. Only the selected linear subset from general, universal propositional Gentzen Logic is necessary to deduce several properties of the net, such as relations of nonconcurrency among structurally ordered macroplaces. The goal of this paper is to present the design methodology for modeling and synthesis of discrete controllers using related Petri net theory, rule-based theory (mathematical logic), and VHDL.
Źródło:
International Journal of Electronics and Telecommunications; 2013, 59, 4; 331-339
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modeling of the phospholipid vesicular nanostructure formation process
Autorzy:
Avdieieva, L.
Chunikhin, O.
Powiązania:
https://bibliotekanauki.pl/articles/79929.pdf
Data publikacji:
2019
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
phospholipid
lipid vesicular nanostructure
mathematical modelling
Petri net based model
Źródło:
BioTechnologia. Journal of Biotechnology Computational Biology and Bionanotechnology; 2019, 100, 4
0860-7796
Pojawia się w:
BioTechnologia. Journal of Biotechnology Computational Biology and Bionanotechnology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Process Modelling Based on Event Logs
Autorzy:
Brzychczy, E.
Powiązania:
https://bibliotekanauki.pl/articles/2065023.pdf
Data publikacji:
2018
Wydawca:
STE GROUP
Tematy:
process modelling
process mining
event logs
Petri net
model discovery
Opis:
Process modelling is a very important stage in a Business Process Management cycle enabling process analysis and its redesign. Many sources of information for process modelling purposes exist. It may be an analysis of documentation related directly or indirectly to the process being analysed, observations or participation in the process. Nowadays, for this purpose, it is increasingly proposed to use the event logs from organization’s IT systems. Event logs could be analysed with process mining techniques to create process models expressed by various notations (i.e. Petri Nets, BPMN, EPC). Process mining enables also conformance checking and enhancement analysis of the processes. In the paper issues related to process modelling and process mining are briefly discussed. A case study, an example of delivery process modelling with process mining technique is presented.
Źródło:
Multidisciplinary Aspects of Production Engineering; 2018, 1, 1; 385--392
2545-2827
Pojawia się w:
Multidisciplinary Aspects of Production Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wielomianowy algorytm wyznaczania hipergrafu współbieżności w sieciach Petriego swobodnego wyboru
A polynomial algorithm to compute the concurrency hypergraph in Petri nets
Autorzy:
Wiśniewski, R.
Wiśniewska, M.
Adamski, M.
Powiązania:
https://bibliotekanauki.pl/articles/156447.pdf
Data publikacji:
2012
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
sieć Petriego
hipergraf współbieżności
dekompozycja
Petri net
concurrency hypergraph
decomposition
Opis:
W referacie zaproponowano metodę umożliwiającą określenie strukturalnej relacji współbieżności w sieciach Petriego swobodnego wyboru (Free Choice). Algorytm znajduje miejsca wzajemnie współbieżne na podstawie struktury sieci oraz miejsc oznaczonych markerem startowym. W odróżnieniu od istniejących algorytmów, proponowana metoda znajduje wszystkie miejsca wzajemnie współbieżne, wyznaczając hipergraf współbieżności. Przeprowadzone badania eksperymentalne potwierdzają bardzo wysoką skuteczność proponowanej metody.
In the paper a new algorithm of concurrency hypergraph computation is presented. The main aim of the proposed method is computation of a concurrency hypergraph in the polynomial time. The algorithm input is specified by the Petri net that belongs to the Free Choice subclass. Based on the net structure, the method outputs the concurrency relations between all places in the net. Particular relations are stored by the concurrency hypergraph instead of the concurrency graph, which is currently practiced. The hypergraph permits to store information about relations between all places in the net. In case of the concurrency graph it is limited to relations between pairs of places. Therefore, application of the concurrency hypergraph seems to be more intuitive and natural. The algorithm bases on the traditional solutions, however particular concurrency relation may contain more than two places which is not possible in currently known methods. The proposed solution is especially valuable in combination with the method presented in [1, 2] and permits to find the subsequent SM-Components in the polynomial time. The algorithm was experimentally verified. The method was compared with the traditional solution, where all maximal cliques in the concurrency graph were computed. The obtained results proved very high effectiveness of the proposed algorithm, which was always better than methods based on the graph theory. We have also noticed that the effectiveness increases drastically with the number of places and transitions in the Petri net.
Źródło:
Pomiary Automatyka Kontrola; 2012, R. 58, nr 7, 7; 650-652
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Petri Net Based Specification in the Design of Logic Controllers with Exception Handling Mechanism
Autorzy:
Doligalski, M.
Adamski, M.
Powiązania:
https://bibliotekanauki.pl/articles/227254.pdf
Data publikacji:
2012
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
logic controller
dual specification
hierarchical Petri net
UML
state machine diagram
Opis:
Hierarchical Petri nets beside UML state machine diagrams, sequentional function charts (SFC) and hierarchical concurrent state machines are common solution for specification of logic controllers. These specification formats provide both concurrency and modeling on multi levels of abstraction (hierarchic approach). But only state machine diagrams supports exceptions handling in direct way. Program model presented in form of state machine diagram may be later transformed into a program in the SFC language or transformed in the Petri Net and implemented in the FPGA structure. Similarity between SFC language and Petri Nets give us lot of tools for analysis such control system. Article presents new approach for exceptions handling in hierarchical Petri nets as formal specification for logic controllers. Proposed method of specification can be used independently or as a part of dual specification (correlated state machine diagram and hierarchical configurable Petri Net).
Źródło:
International Journal of Electronics and Telecommunications; 2012, 58, 1; 43-48
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Detection of deadlocks and traps in Petri nets by means of Thelens prime implicant method
Autorzy:
Węgrzyn, A.
Karatkevich, A.
Bieganowski, J.
Powiązania:
https://bibliotekanauki.pl/articles/907258.pdf
Data publikacji:
2004
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
sieć Petriego
blokada
pułapka
żywotność
Petri net
deadlock
trap
analysis
liveness
Opis:
A new method of detecting deadlocks and traps in Petri nets is presented. Deadlocks and traps in Petri nets can be represented by the roots of special equations in CNF form. Such equations can be solved by using the search tree algorithm proposed by Thelen. In order to decrease the tree size and to accelerate the computations, some heuristics for Thelen's method are presented.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2004, 14, 1; 113-121
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Dekompozycja sterowników współbieżnych z zastosowaniem transwersal dokładnych hipergrafu
Exact transversals in decomposition of Petri Nets into concurrent subnets
Autorzy:
Wiśniewska, M.
Adamski, M.
Wiśniewski, R.
Powiązania:
https://bibliotekanauki.pl/articles/155099.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
hipergraf
transwersala dokładna
sieć Petriego
dekompozycja sieci Petriego na podsieci współbieżne typu automatowego
hypergraph
exact transversal
Petri net
decomposition of a Petri Net into concurrent subnets automata
Opis:
W artykule zaprezentowany został nowatorski sposób dekompozycji cyfrowych sterowników współbieżnych opisanych z wykorzystaniem sieci Petriego na podsieci typu automatowego. W proponowanym rozwiązaniu relacje pomiędzy miejscami sieci Petriego określone za pomocą hipergrafu współbieżności. W odróżnieniu od dotychczas stosowanych rozwiązań, w artykule zaproponowano autorską koncepcję wyznaczania zbiorów niewspółbieżnych, która bazuje na obliczeniu transwersal dokładnych w hipergrafie współbieżności.
In the paper a new decomposition method of a control system into concurrent automata is presented. The control unit is described as a Petri Net which is further decomposed into concurrent subnets. The main idea of the proposed method is application of exact transversals to the decomposition algorithm. Contrary to the traditional solutions, the authors propose the application of a concurrency hypergraph instead of a standard concurrency graph. The concurrent subnets are found by calculation of exact transversals in the hypergraph. The selection of concurrent automata is also performed with application of exact transversals. Such a solution allows achieving the optimal results (the fewest number of concurrent automata). The proposed concurrency hypergraph has some unique properties. First of all, it is defined to be an exact hypergraph. Therefore, each exact transver-sal in such a hypergraph refers to the concurrent automata. Moreover, all minimal transversals of the hypergraph are also exact transversals. Finally, computation and selection of all exact transversals can be performed in polynomial-time, and this is the most important advantage of the proposed method. The traditional solutions are based on the coloring of a concurrency graph, thus the complexity is NP-complete. All steps that are required in order to perform the decomposition of a controller described by a Petri Net are shown. The proposed method is compared with the traditional solution. Finally, the preliminary results of experiments are presented and discussed.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 8, 8; 851-853
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Stability analysis of fuzzy controll systems simplified as a discrete system
Autorzy:
Hasegawa, T.
Furuhashi, T.
Powiązania:
https://bibliotekanauki.pl/articles/206083.pdf
Data publikacji:
1998
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
analiza stabilności
sieć Petriego
sterowanie rozmyte
fuzzy control
Petri net
stability analysis
Opis:
Fuzzy controls can describe control rules using fuzzy if-then rules and it can incorporate experts' control rules. It is, however, difficult to guarantee the stability of fuzzy control system. This paper presents a new method for stability analysis of fuzzy control system using petri nets. The proposed method crisply divides all of the input and output variables of the fuzzy controller and the fuzzy model of the controlled object. This crisp division makes the fired rules of the fuzzy controller and the fuzzy model, which have truth values greater then 0, be single each. These simplified fuzzy rules can be considered as discrete description of the controller and the controlled object. By approximating and the fuzzy control system as this discrete system, the system can be expressed by the petri nets. The proposed method describes the fuzzy control system using matrix based on a bipartite directed multigraph of the petri net, thereby enables to analyse the stability of the fuzzy control system. The analytic results using the petri nets have clear correspondence to the fired fuzzy rules. The dynamical behavior of the system are able to be understood easily. Simulation is done to verify the proposed stability analysis method.
Źródło:
Control and Cybernetics; 1998, 27, 4; 565-577
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Process mapping: a tool to foster intra- and inter-organizational coordination in primary care
Autorzy:
Santana, Sylvina
Redondo, Patricia
Powiązania:
https://bibliotekanauki.pl/articles/552612.pdf
Data publikacji:
2018
Wydawca:
Stowarzyszenie Przyjaciół Medycyny Rodzinnej i Lekarzy Rodzinnych
Tematy:
process mapping
coordinated care
Petri net
care transition
health center
primary care.
Źródło:
Family Medicine & Primary Care Review; 2018, 1; 41-46
1734-3402
Pojawia się w:
Family Medicine & Primary Care Review
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 36

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