Temat: Petri-net - Katalog OPAC zbiorów

Skocz do pozycji: 1.

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ł

Zmień widok

na półce

Skocz do pozycji: 2.

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ł

Zmień widok

na półce

Skocz do pozycji: 3.

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ł

Zmień widok

na półce

Skocz do pozycji: 4.

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ł

Zmień widok

na półce

Skocz do pozycji: 5.

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ł

Zmień widok

na półce

Skocz do pozycji: 6.

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ł

Zmień widok

na półce

Skocz do pozycji: 7.

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ł

Zmień widok

na półce

Skocz do pozycji: 8.

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ł

Zmień widok

na półce

Skocz do pozycji: 9.

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ł

Zmień widok

na półce

Skocz do pozycji: 10.

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ł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "Petri-net" wg kryterium: Temat

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język