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ł:
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ł
Tytuł:
Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems
Autorzy:
Wojnakowski, Marcin
Wiśniewski, Remigiusz
Bazydło, Grzegorz
Popławski, Mateusz
Powiązania:
https://bibliotekanauki.pl/articles/2055147.pdf
Data publikacji:
2021
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
safeness
control part
cyber physical system
Petri net
state machine cover
place invariant
bezpieczeństwo baz danych
część kontrolna
system cyberfizyczny
sieć Petriego
maszyna stanów
niezmiennik miejsca
Opis:
The paper proposes an algorithm for safeness verification of a Petri net-based specification of the control part of cyber-physical systems. The method involves a linear algebra technique and is based on the computation of the state machine cover of a Petri net. Contrary to the well-known methods, the presented idea does not require obtaining all sequential components, nor the computation of all reachable states in the system. The efficiency and effectiveness of the proposed method have been verified experimentally with a set of 243 test modules (Petri net-based systems). The results of experiments show high efficiency of the proposed method since a solution has been found even for such nets where popular techniques are not able to analyze the safeness of the system. Finally, the presented algorithm is explained in detail using a real-life case-study example of the control part of a cyber-physical system.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2021, 31, 4; 647--657
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
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ł:
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ł:
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ł:
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ł:
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ł:
DP2PN2Solver: A flexible dynamic programming solver software tool
Autorzy:
Mauch, H.
Powiązania:
https://bibliotekanauki.pl/articles/970851.pdf
Data publikacji:
2006
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
sieć Bellmana
model sieci Petri
programowanie dynamiczne
Bellman net
dynamic programming
matrix chain multiplication problem
optimization software
Petri net model
traveling salesman problem
Opis:
Dynamic programming (DP) is a very general optimization technique, which can be applied to numerous decision problems that typically require a sequence of decisions to be made. The solver software DP2PN2Solver presented in this paper is a general, flexible, and expandable software tool that solves DP problems. It consists of modules on two levels. A level one module takes the specification of a discrete DP problem instance as input and produces an intermediate Petri net (PN) representation called Bellman net (Lew, 2002; Lew, Mauch, 2003, 2004) as output - a middle layer, which concisely captures all the essential elements of a DP problem in a standardized and mathematically precise fashion. The optimal solution for the problem instance is computed by an "executable" code (e.g. Java, Spreadsheet, etc.) derived by a level two module from the Bellman net representation. DP2PN2Solver's unique potential lies in its Bellman net representation. In theory, a PN's intrinsic concurrency allows to distribute the computational load encountered when solving a single DP problem instance to several computational units.
Źródło:
Control and Cybernetics; 2006, 35, 3; 687-702
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Functional safety verification of train control procedure in train-centric CBTC by colored Petri net
Autorzy:
Lin, Junting
Xu, Qian
Powiązania:
https://bibliotekanauki.pl/articles/949829.pdf
Data publikacji:
2020
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
train control procedure
Train-centric CBTC
functional safety
formal methods
colored Petri net
procedura kontroli pociągu
sterowanie pociągiem
bezpieczeństwo funkcjonalne
metody formalne
sieci Petriego
Opis:
Communication-based Train Control (CBTC) system is a widely-used signaling system. There is an increasing demand for innovating the traditional ground-centric architecture. With the application of train-train communication, object control and other advanced techniques, Train-centric CBTC (TcCBTC) system is expected to be the most promising tendency of train control system. The safe tracking interval would be reduced as well as the life-cycle costs. Formal methods play an essential role in the development of safety-critical systems, which provides an early integration of the verifiable design process. In the paper, the architecture design of TcCBTC is first analyzed. The official system specification of TcCBTC has not issued, so it takes efforts to perform the systematic summarization of the functional requirements. Secondly, we propose an integrated framework that combines the Colored Petri Net (CPN) models with the functional safety verification of the underlying systems. Functional safety depends on the logic accuracy and is a part of overall safety. The framework also specifies what kinds of functions, behaviors or properties need to be verified. The train control procedure of TcCBTC is regarded as the link among new functional modules, thus it is chosen as the modelling content. Thirdly, the scenarios and the color sets are prepared. Models are established with the novel design thought from top to bottom. Simulation and testing are implemented during the model establishment to discover the apparent errors. Lastly, the model checking by state space is performed. All possible states are checked in detail. Standard behavioral properties and other user-defined properties are verified by state space report and ASK-CTL (Computation Tree Logic) queries, respectively. Verification results reveal that the models are reasonable to depict the dynamic behaviors of train control procedure. The functional safety properties are satisfied and prepared for further drafting the system functional specification.
Źródło:
Archives of Transport; 2020, 54, 2; 43-58
0866-9546
2300-8830
Pojawia się w:
Archives of Transport
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Generation of synchronizing state machines from a transition system: A region-based approach
Autorzy:
Teren, Viktor
Cortadella, Jordi
Villa, Tiziano
Powiązania:
https://bibliotekanauki.pl/articles/2201022.pdf
Data publikacji:
2023
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
transition system
Petri net
state machine
theory of regions
SAT
pseudo Boolean optimization
układ przejściowy
sieć Petriego
maszyna stanów
teoria regionów
Opis:
Transition systems (TSs) and Petri nets (PNs) are important models of computation ubiquitous in formal methods for modeling systems. A crucial problem is how to extract, from a given TS, a PN whose reachability graph is equivalent (with a suitable notion of equivalence) to the original TS. This paper addresses the decomposition of transition systems into synchronizing state machines (SMs), which are a class of Petri nets where each transition has one incoming and one outgoing arc. Furthermore, all reachable markings (non-negative vectors representing the number of tokens for each place) of an SM have only one marked place with only one token. This is a significant case of the general problem of extracting a PN from a TS. The decomposition is based on the theory of regions, and it is shown that a property of regions called excitation-closure is a sufficient condition to guarantee the equivalence between the original TS and a decomposition into SMs. An efficient algorithm is provided which solves the problem by reducing its critical steps to the maximal independent set problem (to compute a minimal set of irredundant SMs) or to satisfiability (to merge the SMs). We report experimental results that show a good trade-off between quality of results vs. computation time.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2023, 33, 1; 133--149
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and 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ł:
Mechanizm obsługi sytuacji wyjątkowych oraz ponownego wznowienia sterowania w hierarchicznych sieciach Petriego
Exception handling mechanism and control resumption in hierarchical Petri nets
Autorzy:
Doligalski, M.
Adamski, M.
Powiązania:
https://bibliotekanauki.pl/articles/152398.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
hierarchiczna sieć Petriego
wywłaszczenie
rekonfigurowalny sterownik logiczny
UML
hierarchical Petri net
expropriation
reconfigurable logic controller
Opis:
Opis programów dla rekonfigurowalnych sterowników logicznych jest przeprowadzany z wykorzystaniem dualnej specyfikacji tego samego, abstrakcyjnego automatu współbieżnego opisanego zarówno diagramem maszyny stanów UML jak i skorelowanym z nim diagramem hierarchicznej sieci Petriego [2, 3]. W artykule pokazano sposób obsługi sytuacji wyjątkowych oraz ponownego wznowienia sterowania współbieżnego, hierarchicznego procesu dyskretnego przedstawionego modularną siecią Petriego. W literaturze przedmiotu dotyczącej sieci Petriego, brak jest spójnej i prostej metodologii wprowadzenia tego rodzaju funkcjonalności, znanej z teorii hierarchicznych map stanów wprowadzonej przez Harela i rozwiniętej w pracach Gajskiego [7, 8]. Dotychczasowe sposoby odwzorowania sytuacji wyjątkowych w sieciach Petriego, znane ze standardu UML, prowadzą do zerwania związku między prostotą odwzorowania algorytmu a jego sensownością i intuicyjnością. W pracy zaproponowano sposób obsługi sytuacji wyjątkowych polegający na wprowadzeniu do hierarchicznych sieci Petriego dodatkowych miejsc konfiguracyjnych (aktywnych i spoczynkowych). W przypadku prawidłowego funkcjonowania sterownika miejsca konfiguracyjne aktywnych modułów są oznakowane. W przypadku wystąpienia konieczności wstrzymania pracy układu, aktywne miejsce konfiguracyjne traci marker na rzecz spoczynkowych miejsc konfiguracyjnych. W przypadku wznowienia procesów po awarii, następuje powrót markerów do aktywnych miejsc konfiguracyjnych. W przypadku obsługi sytuacji krytycznej, konfiguracyjne miejsce aktywne przekazuje marker do miejsca konfiguracyjnego wywłaszczającego. Przeprowadzane jest opróżnienie z markerów wszystkich miejsc sterujących w sieci a wznowienie pracy powoduje wprowadzenie jej do stanu początkowego.
The description of programs for reconfigurable logic controllers is performed with use of dual specification [5, 6], concurrent abstract state machine described both with the UML state machine diagram and correlated hierarchical Petri net [1, 2, 3]. The paper shows the exceptions handling mechanism and control resumption of the hierarchical concurrent binary process described by means of a modular Petri net. In the literature on Petri nets (Fig. 2), there is no coherent and simple methodology for introduction of this kind of functionality, known from the theory of hierarchical map of states introduced by Harel and developed in the work by Gajski [7, 8]. The paper proposes how to handle exceptions based on introducing additional configurational places (active and idle) into hierarchical Petri nets (Fig. 3). In the case of having to stop operation of the system, the active configurational place loses its marker for the idle configurational place. In the case of resumption processes after the failure (Fig. 6), markers will return to the active configurational places. In the case of an emergency (critical exceptions - Fig. 7.), the active configurational place moves a marker to the resumption configurational place. Evacuation of all markers in the control places of the network and resumption of the net work to its original state are carried out. In the paper the possibility and desirability of implementing a new method of exceptions handling in a binary logic controller for productive is presented.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 6, 6; 671-674
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Methodology of Petri networks for simultaneous evaluation of the impact of different modifiers on the fluorescence of nucleotides from electron transport chain in isolated mitochondria and on the process of swelling
Autorzy:
Danylovych, H.
Chunikhin, A.
Danylovych, Y.
Kosterin, S.
Powiązania:
https://bibliotekanauki.pl/articles/81245.pdf
Data publikacji:
2018
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
Petri net based model
fluorescence
nicotinamide adenine dinucleotide
flavin adenine dinucleotide
nucleotide
electron transport chain
mitochondrion
spectrofluorometry
Źródło:
BioTechnologia. Journal of Biotechnology Computational Biology and Bionanotechnology; 2018, 99, 1
0860-7796
Pojawia się w:
BioTechnologia. Journal of Biotechnology Computational Biology and Bionanotechnology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Metodologia weryfikacji procesu produkcyjnego z wykorzystaniem sieci Petriego na przykładzie modelowania produkcji frezarko-kopiarki
Methodology of production process verification using Petri nets illustrated by case study of modeling production process milling-copier machine
Autorzy:
Lasota, A.
Powiązania:
https://bibliotekanauki.pl/articles/152408.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
sieci Petriego
s-sieci
alfa-sieci
α-sieci
proces produkcyjny
kontrola jakości
Petri net
s-nets
alpha-nets
α-nets
production process
quality control
Opis:
Przedmiotem artykułu jest analiza skuteczności algorytmu weryfikacji procesów produkcyjnych. Zaproponowana metoda weryfikacji procesu oraz wskazane typy rozwiązań dla wykrytych błędów według autora przyczynią się do bezpieczniejszego specyfikowania i planowania przebiegu realizacji procesu produkcyjnego. Zasadność zaproponowanego podejścia została wykazana na przykładzie modelowania procesu produkcyjnego frezarko-kopiarki z wykorzystaniem diagramów aktywności UML oraz dwóch podklas sieci Petriego: s-sieci i α-sieci.
The subject of the paper is analysis of the algorithm effectiveness of production processes verification. The proposed verification method (Section 3) and proposed types of solutions for faults (Section 4) according to the author will contribute to safer specifying and planning the implementation of a production process. The production process correct structure (Subsection 2.7) is a key condition for its implementation. Errors at the stage of the process modeling affect the process correctness. Introduction of intermediate quality control can additionally corrupt the process structure and requires its changes. Petri nets provide a convenient mathematical tool for verification of modeled processes (Section 2). Two classes of nets - the s-nets and its subclass α-nets - were selected as the most adequate for modeling the analyzed production processes [2, 3, 4, 7, 9]. To verify the correctness of the processes the "stubborn set method" and Andre method were proposed [1, 3, 4, 5, 8]. In order to depict the manner of the correc-tion of possible structural errors in a net, the paper describes a sample solution. The reasonableness of the proposed approach is shown on an example of modeling the production of a milling-copier machine (Section 4, Figs. 1-9). The area related to the milling-copier machine contains two main parts: the first is modeling the milling-copier machine production process and the second is modeling the copied process mapping.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 6, 6; 661-665
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
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