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 27
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ł:
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ł:
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ł:
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ł:
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ł
Tytuł:
Automatic detection of DoS vulnerabilities of cryptographic protocols
Autorzy:
Krawczyk, U.
Sapiecha, P.
Powiązania:
https://bibliotekanauki.pl/articles/106293.pdf
Data publikacji:
2012
Wydawca:
Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej
Tematy:
automatic detection
DoS
denial of service attacks
Petri net
SPIN model checker
Opis:
In this article the subject of DoS vulnerabilities of cryptographic key establishment and authentication protocols is discussed. The system for computer-aided DoS protocol resistance analysis, which employs the Petri nets formalism and Spin model-checker, is presented.
Źródło:
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica; 2012, 12, 4; 51-67
1732-1360
2083-3628
Pojawia się w:
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Trilingual aligned corpus – current state and new applications
Autorzy:
Dimitrova, Ludmila
Koseska, Violetta
Roszko, Danuta
Roszko, Roman
Powiązania:
https://bibliotekanauki.pl/articles/967220.pdf
Data publikacji:
2014
Wydawca:
Polska Akademia Nauk. Instytut Slawistyki PAN
Tematy:
aligned trilingual corpus
digital resources
event
Petri net theory
semantic annotation
state
Opis:
Trilingual aligned corpus – current state and new applicationsThis article describes current state of a trilingual parallel corpus consisted of texts in two Slavic (Bulgarian and Polish) and one Baltic language (Lithuanian). The corpus contains original literary texts (fiction, novels, and short stories) in one of the three languages with translations to the other two, and texts in other languages translated into Bulgarian, Polish, and Lithuanian. A part of the texts are aligned at the sentence level. The authors propose a semantic annotation of verbs appearing in these aligned texts that will facilitate contrastive studies of natural languages. A theoretical background for the proposed semantic annotation is briefly also discussed.
Źródło:
Cognitive Studies; 2014, 14
2392-2397
Pojawia się w:
Cognitive Studies
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
An analytical method for well-formed workflow/Petri net verification of classical soundness
Autorzy:
Clempner, J.
Powiązania:
https://bibliotekanauki.pl/articles/331027.pdf
Data publikacji:
2014
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
Lyapunov stability
Petri net
decidability
workflow net
soundness
verification
sieć Petriego
sieć przepływu pracy
stabilność Lapunova
Opis:
In this paper we consider workflow nets as dynamical systems governed by ordinary difference equations described by a particular class of Petri nets. Workflow nets are a formal model of business processes. Well-formed business processes correspond to sound workflow nets. Even if it seems necessary to require the soundness of workflow nets, there exist business processes with conditional behavior that will not necessarily satisfy the soundness property. In this sense, we propose an analytical method for showing that a workflow net satisfies the classical soundness property using a Petri net. To present our statement, we use Lyapunov stability theory to tackle the classical soundness verification problem for a class of dynamical systems described by Petri nets. This class of Petri nets allows a dynamical model representation that can be expressed in terms of difference equations. As a result, by applying Lyapunov theory, the classical soundness property for workflow nets is solved proving that the Petri net representation is stable. We show that a finite and non-blocking workflow net satisfies the sound property if and only if its corresponding PN is stable, i.e., given the incidence matrix A of the corresponding PN, there exists a Φ strictly positive m vector such that AΦ ≤ 0. The key contribution of the paper is the analytical method itself that satisfies part of the definition of the classical soundness requirements. The method is designed for practical applications, guarantees that anomalies can be detected without domain knowledge, and can be easily implemented into existing commercial systems that do not support the verification of workflows. The validity of the proposed method is successfully demonstrated by application examples.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2014, 24, 4; 931-939
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 27

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