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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-5 z 5
    Tytuł:
    Towards digital twin-driven performance evaluation methodology of FMS
    Autorzy:
    Bocewicz, Grzegorz
    Wójcik, Robert
    Sitek, Paweł
    Banaszak, Zbigniew
    Powiązania:
    https://bibliotekanauki.pl/articles/38437630.pdf
    Data publikacji:
    2022
    Wydawca:
    Polskie Towarzystwo Promocji Wiedzy
    Tematy:
    FMS
    Petri Nets
    performance evaluation
    Opis:
    The paper presents a method of automated modelling and performance evaluation of concurrent production flows carried out in Flexible Manufacturing Systems. The method allows for quick assessment of various variants of such systems, considering their structure and the organization of production flow of possible ways of their implementation. Its essence is the conditions imposed on the designed model, limiting the space of possible variants of the production flow only to deadlock-free variants. The practical usefulness of the model implemented in the proposed method illustrates the example, which describes the simultaneous assessment of alternative variants of the flexible machining module's structure and the planned multi-assortment production. The ability of the method to focus on feasible solutions offers attractive perspectives for guiding the Digital Twin-like scenario in situations caused by the need to change the production flow.
    Źródło:
    Applied Computer Science; 2022, 18, 3; 5-18
    1895-3735
    2353-6977
    Pojawia się w:
    Applied Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Causal reversibility in individual token interpretation of Petri Nets
    Autorzy:
    Benamira, Adel
    Powiązania:
    https://bibliotekanauki.pl/articles/1839245.pdf
    Data publikacji:
    2020
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    reversibility
    concurrent systems
    Petri Nets
    causality
    Opis:
    Causal reversibility in concurrent systems means that events that the origin of other events can only be undone after undoing its consequences. In opposition to backtracking, events that are independent of each other can be reversed in an arbitrary order; in other words, we have flexible reversibility with respect to a causality relationship. An implementation of individual token interpretation of Petri Nets (IPNs) has been proposed by Rob Van Glabbeek et al.; the present paper investigates a study of causal reversibility within IPNs. Given N as an IPN, by adding an intuitive firing rule to undo transitions according to the causality relationship, the coherence of N is assured; i.e., the set of all reachable states of N in the reversible version and that of the original one are identical. Furthermore, reversibility in N is flexible, and their initial state can be accessible in reverse from any state. In this paper, an approach for controlling causal-reversibility within IPNs is proposed.
    Źródło:
    Computer Science; 2020, 21 (4); 489-511
    1508-2806
    2300-7036
    Pojawia się w:
    Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Czasowy model bloku przetwarzania danych w systemie pomiarowym
    Time Model of Data Processing Block in Measurement System
    Autorzy:
    Bilski, P.
    Łukaszewski, Ł.
    Powiązania:
    https://bibliotekanauki.pl/articles/151363.pdf
    Data publikacji:
    2007
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    systemy pomiarowe
    sieci Petriego
    model czasowy
    modelling
    Petri Nets
    measurement systems
    Opis:
    Artykuł dotyczy modelowania komputerowych systemów pomiarowo-sterujących (KSPS) uwzględniającej czasowe aspekty przepływu informacji w KSPS. W artykule zamieszczono opis części większych prac dotyczących nowej metody opisu modelu KSPS z wykorzystaniem sieci Petri`ego i narzędzia CPN Tools. Szczegółowo przedstawiono model bloku przetwarzania KSPS. Opisano dokładnie funkcje opóźnień zaimplementowane w modelu oraz metodą ich wyznaczania. Dodatkowo zamieszczono badania opóźnień bloku przetwarzania rzeczywistego KSPS oraz symulacje weryfikujące zaprojektowany model.
    The paper presents the method of the distributed measuring and control systems modelling, regarding the time aspects of the information flow inside the system. Results of the work including a new method of the measuring system model description using the Petri nets and CPN Tools are included. The data processing model inside the measuring system was presented in detail with delay functions implemented in the model. The paper is concluded with experimental results, comparing simulations with real measuring system behavior.
    Źródło:
    Pomiary Automatyka Kontrola; 2007, R. 53, nr 9 bis, 9 bis; 253-256
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Availability analysis of an offshore oil and gas production system subjected to age-based preventive maintenance by Petri Nets
    Autorzy:
    Lotovskyi, Eduard
    Teixeira, Angelo Palos
    Soares Guedes, Carlos
    Powiązania:
    https://bibliotekanauki.pl/articles/1841926.pdf
    Data publikacji:
    2020
    Wydawca:
    Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
    Tematy:
    production availability
    age-based imperfect preventive maintenance
    offshore installations
    oil and gas production
    Petri Nets
    Monte Carlo simulation
    Opis:
    The main objective of this paper is to model an offshore oil production system subjected to age-based preventive maintenance strategies by Petri Nets and to evaluate its availability by Monte Carlo Simulation. The oil processing and the separation equipment with their reliability and maintainability characteristics, the corrective and preventive maintenance policies and the operational dependencies that lead to the reconfiguration of the system after the failure are implemented. A special attention is given to the effect of age-based perfect and imperfect preventive maintenance strategies on the system availability. The maintenance actions consider the components’ age thresholds and an age reduction ratio. Moreover, the variation of the oil and gas flows from the well over the years is accounted by the model. As case study, an offshore production installation that operates in a Brazilian oilfield is adopted. An elasticity analysis on the model parameters is conducted to assess influence of the maintenance policy on the system availability and on the oil production.
    Źródło:
    Eksploatacja i Niezawodność; 2020, 22, 4; 627-637
    1507-2711
    Pojawia się w:
    Eksploatacja i Niezawodność
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Modeling a negotiation process between aircraft using petri nets
    Autorzy:
    Żuchowska, Daria
    Stelmach, Anna
    Powiązania:
    https://bibliotekanauki.pl/articles/27315982.pdf
    Data publikacji:
    2023
    Wydawca:
    Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
    Tematy:
    air traffic control
    ICT systems
    ASAS
    Petri Nets
    transportation systems
    kontrola ruchu lotniczego
    systemy ICT
    sieci Petriego
    systemy transportowe
    Opis:
    New air traffic control ideas are sought. Many studies point out the delegation of the responsibility for ensuring separation from air traffic controllers to the aircraft crews, but it should be assumed that the transition from centralized to decentralized air traffic control will occur in stages. It is, therefore, necessary to ensure effective communication between conflicting aircraft and to define the negotiation process between aircraft. The concept of the process of negotiation and communication between aircraft in conflict using a monotonic concession protocol is presented. The proposed solution was modeled using a Petri Net, which allowed us to analyze all the dependencies present in the system. The analysis allowed us to evaluate the method in the context of safety. The conducted research showed that, under the assumed conditions, the negotiation method allows obtaining the desired effect of negotiations while maintaining an adequate level of safety.
    Źródło:
    Zeszyty Naukowe. Transport / Politechnika Śląska; 2023, 121; 267--285
    0209-3324
    2450-1549
    Pojawia się w:
    Zeszyty Naukowe. Transport / Politechnika Śląska
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-5 z 5

      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