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-13 z 13
    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ł:
    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ł:
    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ł:
    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ł:
    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ł:
    Zastosowanie teorii hipergrafów w procesie analizy systemów dyskretnych opisanych sieciami Petriego
    Application of hypergraphs to analysis of discrete-systems described with Petri Nets
    Autorzy:
    Adamski, M.
    Wiśniewska, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/155263.pdf
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    hipergraf
    transwersala dokładna
    sieć Petriego
    system dyskretny
    hypergraph
    exact transversal
    Petri net
    discrete system
    Opis:
    W artykule zaprezentowane zostały nowe metody wspomagające proces analizy systemów dyskretnych opisanych sieciami Petriego. Relacje w prototypowanym systemie dyskretnym są odwzorowane hiper-grafem. Dzięki temu projektowany, wbudowany, rekonfigurowany sterownik logiczny może zostać poddany efektywniejszemu procesowi analizy z wykorzystaniem nowych algorytmów, związanych z traktowanymi łącznie teoriami hipergrafów i sieci Petriego. Wykorzystano między innymi takie procedury jak dopełnienie, dualizm, transwersale, transwersale dokładne oraz kolorowanie hipergrafu. W artykule w sposób nieformalny wykorzystano autorskie twierdzenia, wspomagające cały proces projektowania sterowników. Szczególną uwagę zwrócono na nowe sposoby analizy systemów dyskretnych, opisanych sieciami Petriego, takie jak częściowa weryfikacja poprawności specyfikacji sterownika na podstawie struktury hipergrafu współbieżności oraz zastosowanie transwersal do-kładnych w procesie wyodrębniania powiązanych ze sobą procesów sekwencyjnych.
    In the paper application of the hypergraph theory to analysis of discrete-systems described by means of Petri Nets is proposed. The relations between local states are represented by hypergraph vertices whose edges correspond to the global states. Therefore, the analysis of a prototype system can be performed by more effective operations supported by the hypergraph theory as well as the Petri net theory (such as dualism, hypergraph complement, transversals, exact transversals, hypergraph colouring). In the paper the authors propose application of the concurrency hypergraph to the analysis of a discrete-system. Such a structure refers to the traditional concurrency graph, however it keeps information about global states of the analysed system. Moreover, the concurrency hypergraph has some unique properties, which can lead to reduction in the computational complexity of some algorithms of the analysis. All minimal transversals in the concurrency hypergraph are also exact transversals. Therefore, such a hypergraph can be applied also to the decomposition process of a discrete-system, which is described by a Petri Net. After the analysis, a controller described by a Petri Net can be decomposed into concurrent sub-nets (concurrent automata). Each exact transversal of the concurrency hypergraph refers to the concurrent automata. The proposed solution allows significantly reducing the computational complexity to a polynomial. The traditional methods, based on the coloring of a concurrency graph are exponential time algorithms, thus they are defined to be NP-complete.
    Źródło:
    Pomiary Automatyka Kontrola; 2011, R. 57, nr 8, 8; 945-947
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Rozproszony system sterowania o architekturze GALS projektowany z wykorzystaniem sieci Petriego
    Distributed control system with GALS architecture with use of Petri net
    Autorzy:
    Bukowiec, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/153437.pdf
    Data publikacji:
    2012
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    dekompozycja
    FPGA
    sieć Petriego
    sterownik logiczny
    synteza logiczna
    decomposition
    Petri net
    logic controller
    logic synthesis
    Opis:
    W artykule omówiona została architektura rozproszonego systemu sterowania zbudowanego z konfigurowalnych struktur FPGA. System specyfikowany jest z wykorzystaniem sieci Petriego. Następnie poddawany jest dekompozycji na składowe automatowe z wykorzystaniem algorytmów kolorowania sieci Petriego. Każda składowa implementowana jest niezależnie w oddzielnym układzie FPGA. Aby umożliwić komunikację pomiędzy poszczególnymi składowymi zastosowano architekturę globalnie asynchroniczną lokalnie synchroniczną (GALS). Każda podsieć synchronizowana jest lokalnym sygnałem zegarowym. Komunikacja pomiędzy poszczególnymi podsieciami zrealizowana jest asynchronicznie z wykorzystaniem dodatkowych sygnałów.
    The paper presents a new architecture of the distributed specific control system built with FPGA devices. The control algorithm specification is made with use of the control interpreted Petri net. It allows specifying parallel processes in easy way. Next, such a Petri net is decomposed into a set of state-machine type subnets. For this purpose there are applied algorithms of coloring of Petri nets. In this case, each subnet represents one parallel process. Each subnet is independently implemented in different FPGA device. To ensure communication between all subnets, there is used globally asynchronous locally synchronous (GALS) architecture of the whole control system. Each subnet is synchronized by a local clock signal. The global communication between components is buffer-based via additional signals. These signals are generated in particular subnets and they are distributed to other ones. During the synthesis process places of each state-machine subnet are encoded by a minimal-length binary vector. This encoding allows a realization of a microoperation decoder with use of embedded memory blocks of the FPGA device. It leads to balanced usage of all kinds of logic resources of the FPGA device.
    Źródło:
    Pomiary Automatyka Kontrola; 2012, R. 58, nr 6, 6; 502-505
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Modelling of processes with use of process mining techniques
    Autorzy:
    Brzychczy, E.
    Napieraj, A.
    Sukiennik, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/322982.pdf
    Data publikacji:
    2018
    Wydawca:
    Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
    Tematy:
    process mining
    Petri net
    process model
    ProM software
    process discovery
    eksploracja procesów
    sieć Petriego
    model procesu
    oprogramowanie ProM
    Opis:
    The main purpose of the paper is presentation of new opportunities for process modelling. In the literature review section, Petri nets as one of the formal modelling notation of processes is highlighted and introduction of relatively young research discipline – process mining – is presented. One of the process mining tasks is process model discovery from event logs gathered in informatics systems in enterprise. In the article practical example of process model discovery with ProM software is given with use of real event log from Volvo IT Belgium. In conclusions further opportunities of process mining techniques in process management are emphasized.
    Źródło:
    Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska; 2018, 116; 23-36
    1641-3466
    Pojawia się w:
    Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Ore value chain modeling and cost analysis based on Petri nets
    Modelowanie łańcucha wartości rudy i analiza kosztów w oparciu o sieci Petriego
    Autorzy:
    Ma, Z.
    Hu, N.
    Li, G.
    Liu, D.
    Pan, T.
    Powiązania:
    https://bibliotekanauki.pl/articles/216744.pdf
    Data publikacji:
    2018
    Wydawca:
    Polska Akademia Nauk. Instytut Gospodarki Surowcami Mineralnymi i Energią PAN
    Tematy:
    łańcuch wartości
    sieć Petriego
    analiza kosztów
    kopalnia złota
    przepływ rudy
    value chain
    Petri net
    cost analysis
    gold mine
    ore flow
    Opis:
    At present, with the increase of production capacity and the promotion of production, the reserves of most mining enterprises under the original industrial indexes are rapidly consumed, and the full use of low-grade resources is getting more and more attention. If mining enterprises want to make full use of low-grade resources simultaneously and obtain good economic benefits to strengthening the analysis and management of costs is necessary. For metal underground mines, with the gradual implementation of exploration and mining projects, capital investment and labor consumption are dynamic and increase cumulatively in stages. Consequently, in the evaluation of ore value, we should proceed from a series of processes such as: exploration, mining, processing and the smelting of geological resources, and then study the resources increment in different stages of production and the processing. To achieve a phased assessment of the ore value and fine evaluation of the cost, based on the value chain theory and referring to the modeling method of computer integrated manufacturing open system architecture (CIMOSA), the analysis framework of gold mining enterprise value chain is established based on the value chain theory from the three dimensions of value-added activities, value subjects and value carriers. A value chain model using ore flow as the carrying body is built based on Petri nets. With the CPN Tools emulation tool, the cycle simulation of the model is carry out by the colored Petri nets, which contain a hierarchical structure. Taking a large-scale gold mining enterprise as an example, the value chain model is quantified to simulate the ore value formation, flow, transmission and implementation process. By analyzing the results of the simulation, the ore value at different production stages is evaluated dynamically, and the cost is similarly analyzed in stages, which can improve mining enterprise cost management, promote the application of computer modeling and simulation technology in mine engineering, more accurately evaluate the economic feasibility of ore utilization, and provide the basis for the value evaluation and effective utilization of low-grade ores.
    Obecnie wraz ze wzrostem zapotrzebowania na surowce mineralne, zasoby większości tych surowców podlegają bardzo szybkiemu sczerpaniu, a wykorzystanie zasobów o niskiej jakości jest brane pod uwagę coraz powszechniej. Jeśli przedsiębiorstwa wydobywcze chcą w pełni wykorzystać zasoby surowców mineralnych niskiej jakości i jednocześnie uzyskać dobre wyniki ekonomiczne, niezbędna jest szeroka analiza i zarządzanie kosztami. W przypadku podziemnych kopalń rud metali, przy stopniowej realizacji projektów poszukiwawczo-wydobywczych, nakłady inwestycyjne i nakłady pracy są dynamiczne i wzrastają stopniowo w realizowanych procesach. W związku z tym, w ocenie wartości rudy powinno się uwzględniać szereg procesów, takich jak: poszukiwanie, wydobycie, przeróbkę i hutnictwo, a następnie rozpatrywać przyrosty wartości i kosztów na poszczególnych etapach produkcji i przetwarzania. Aby osiągnąć etapową ocenę wartości rudy i dokładną ocenę kosztów, w oparciu o teorię łańcucha wartości, należy zastosować metodę komputerowego modelowania zintegrowanej produkcji otwartej architektury systemu (CIMOSA). Ramy analizy łańcucha wartości przedsiębiorstwa wydobywczego złota są ustalane z trzech ocen: wartości dodanej, wartości podmiotów i wartości nośników. Model łańcucha wartości wykorzystujący przepływ rudy zbudowany jest w oparciu o sieci Petriego. Symulacja cyklu modelu jest realizowana przez kolorowe sieci Petriego, które zawierają hierarchiczną strukturę. Przykładem jest wielkoskalowe przedsiębiorstwo wydobywcze złota, w którym model łańcucha wartości jest określany ilościowo w celu symulacji procesów tworzenia, przepływu, przeniesienia i realizacji. Analizując wyniki symulacji, wartość rudy na poszczególnych etapach produkcji jest oceniana dynamicznie, a koszty są również analizowane etapami, co może: poprawić zarządzanie kosztami przedsiębiorstw górniczych, promować zastosowanie modelowania komputerowego i technologii symulacji w inżynierii górniczej, bardziej dokładnie ocenić ekonomiczną wykonalność wykorzystania rudy i zapewnić podstawę do oceny wartości i efektywnego wykorzystania rud niskiej jakości.
    Źródło:
    Gospodarka Surowcami Mineralnymi; 2018, 34, 3; 99-118
    0860-0953
    Pojawia się w:
    Gospodarka Surowcami Mineralnymi
    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ł:
    Ustalanie harmonogramu obsługi dla systemu wieloelementowego: podejście oparte na stochastycznych sieciach Petriego oraz algorytmie genetycznym
    Maintenance scheduling for multi-unit system: a stochastic Petri-net and genetic algorithm based approach
    Autorzy:
    Zhang, T.
    Cheng, Z.
    Liu, Y. J.
    Guo, B.
    Powiązania:
    https://bibliotekanauki.pl/articles/301668.pdf
    Data publikacji:
    2012
    Wydawca:
    Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
    Tematy:
    ustalanie harmonogramu obsługi
    system wieloelementowy
    sieć Petriego
    algorytm genetyczny
    minimalny przekrój niezdatności
    maintenance scheduling
    multi-unit system
    Petri net
    genetic algorithm
    deterioration
    minimal cut set
    Opis:
    Częste czynności obsługowe prowadzą do niskiej gotowości systemu oraz wymagają dużych nakładów pieniężnych. W systemie wieloelementowym całkowity czas i koszt obsługi można obniżać łącząc ze sobą czynności obsługowe niektórych elementów. Dlatego też konieczne jest planowanie zoptymalizowanego harmonogramu czynności obsługowych. W artykule zaproponowano model symulacyjny optymalizacji harmonogramu obsługi oparty na stochastycznych sieciach Petriego uwzględniający niepewność zarówno procesu deterioracji jak i procesu obsługi elementów systemu. Algorytm genetyczny wykorzystano do opracowania terminarza czynności obsługowych, który pozwalałby na minimalizację kosztów całkowitych w przyjętym horyzoncie planowania przy uwzględnieniu całkowitego czasu obsługi, stanu elementów, strat wynikających z cyklu życia oraz wykonalności rozwiązania. Ponadto opisano techniki zastosowane w celu zmniejszenia wysiłku obliczeniowego potrzebnego do wykonania analizy. W końcowej części pracy przedstawiono studium przypadku.
    Frequent maintenance activities would cause low system availability and require large sums of money. For a multi-unit system, maintenance activities of some units can be combined together to reduce the total maintenance possession time and cost. Therefore, an optimized timetable of the maintenance activities is needed to be planned. Considering the uncertainties in both the deterioration and maintenance process of the units in a system, this paper advances a stochastic Petri-net based simulation optimization model for maintenance scheduling. The genetic algorithm is used to get the solution of the timetable of the maintenance activity schedule such that the overall cost is minimized in a planning horizon taking into account total maintenance possession time, unit condition, life cycle loss and solution feasibility. Some techniques used to reduce the computational effort required to perform the analysis are also described. A case study is given in the end.
    Źródło:
    Eksploatacja i Niezawodność; 2012, 14, 3; 256-264
    1507-2711
    Pojawia się w:
    Eksploatacja i Niezawodność
    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ł
      Wyświetlanie 1-13 z 13

      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