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)·український (UK) (UK)
Przejdź do strony domowej biblioteki MBP Sosnowiec/Zagłębiowska Mediateka Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaMBP Sosnowiec/Zagłębiowska Mediateka

Wyszukujesz frazę "Petri nets" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-59 z 59
    Tytuł:
    Modelling and control of flexible manufacturing systems by means of interpreted Petri nets
    Autorzy:
    Čapkovič, František
    Tematy:
    control
    discrete event systems
    flexible manufacturing systems
    interpreted Petri nets
    modelling
    performance evaluation
    place/transition Petri nets
    timed Petri nets
    kontrola
    dyskretne systemy zdarzeń
    elastyczne systemy produkcyjne
    interpretowane sieci Petriego
    modelowanie
    ocena wydajności
    miejsce/przejście sieci Petriego
    czasowe sieci Petriego
    Pokaż więcej
    Data publikacji:
    2018
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Graph grammar based Petri net controlled direct solver algorithm
    Algorytm solvera dokładnego sterowany siecią Petriego wykorzystujący gramatyki grafowe
    Autorzy:
    Szymczak, A.
    Paszyński, M.
    Pardo, D.
    Tematy:
    sieci Petriego
    gramatyki grafowe
    solvery dokładne
    Petri nets
    graph grammar
    direct solver
    Pokaż więcej
    Data publikacji:
    2010
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    The functionally-oriented method for specialized EI-systems design application
    Funkcjonalnie zorientowana metoda projektowania aplikacji specjalistycznych systemów edukacyjnych i inteligentnych
    Autorzy:
    Mykhailiuk, A.
    Pukach, A.
    Tematy:
    method
    model
    Petri nets
    design
    EI system
    sposób
    sieci Petriego
    projektowanie
    EI-systemy
    Pokaż więcej
    Data publikacji:
    2014
    Wydawca:
    Politechnika Lubelska. Wydawnictwo Politechniki Lubelskiej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Petri net models of discrete event systems and state sequence generation for closed loop plant-controller system
    Modele systemów zdarzeń dyskretnych skonstruowane w oparciu o sieci petriego i generacja sekwencji stanów zamkniętego systemu obiekt-sterownik
    Autorzy:
    Zech, W.
    Puchałka, T.
    Tematy:
    system zdarzeń dyskretnych
    sieci Petriego
    programowalne sterowniki sekwencyjne
    diagramy drabinkowe
    DES
    Petri nets
    PLC
    ladder diagram
    Pokaż więcej
    Data publikacji:
    2011
    Wydawca:
    Politechnika Bydgoska im. Jana i Jędrzeja Śniadeckich. Wydawnictwo PB
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Assessment of the possibility of using Bayesian nets and Petri nets in the process of selecting additive manufacturing technology in a manufacturing company
    Autorzy:
    Topczak, Marcin
    Śliwa, Małgorzata
    Tematy:
    additive manufacturing
    Bayesian network
    Petri nets
    process modelling
    produkcja dodatkowa
    Sieć bayesowska
    Sieci Petriego
    modelowanie procesów
    Pokaż więcej
    Data publikacji:
    2021
    Wydawca:
    Polskie Towarzystwo Promocji Wiedzy
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Modular distributed models of production systems: a Petri nets based approach
    Autorzy:
    Davidrajuh, Reggie
    Krenczyk, Damian
    Skolud, Bożena
    Tematy:
    production engineering systems
    sustainability
    modular Petri nets
    Petri Modules
    GPenSIM
    zrównoważony rozwój
    moduły Petriego
    system inżynierii produkcji
    sieci Petriego modułowe
    Pokaż więcej
    Data publikacji:
    2023
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Object classification methods for application in FPGA based vehicle video detector
    Metody klasyfikacji obiektów dla zastosowania w wideo-detektorze pojazdów opartym na FPGA
    Autorzy:
    Pamuła, W.
    Tematy:
    sieci Petriego
    modelowanie przetwarzania
    wideodetekcja
    wideorejestrator
    FPGA
    przetwarzanie obrazów
    Petri nets
    video detection
    video recorder
    pattern recognition
    Pokaż więcej
    Data publikacji:
    2009
    Wydawca:
    Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Computational studies of TTR related amyloidosis: exploration of conformational space through petri net-based algorithm
    Autorzy:
    Jakubowski, R.
    Gogolińska, A.
    Pepłowski, Ł.
    Skrzyniarz, P.
    Nowak, W.
    Tematy:
    transthyretin amyloidosis
    molecular dynamics
    Petri nets
    clustering
    conformational space
    graphs
    dynamika molekularna
    sieci Petriego grupowanie
    konformacyjne miejsca
    wykresy
    Pokaż więcej
    Data publikacji:
    2022-02-01
    Wydawca:
    Politechnika Gdańska
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Intermittent fault’s parameter framework and stochastic petri net based formalization model
    Model parametryczny niezdatności przejściowej oraz model formalny oparty na stochastycznej sieci Petriego
    Autorzy:
    Shen, Q.
    Qiu, J.
    Liu, G.
    Lv, K.
    Tematy:
    intermittent fault
    parameter framework
    stochastic Petri nets
    formalization model
    niezdatność przejściowa
    model parametryczny
    stochastyczna sieć Petriego
    model formalny
    Pokaż więcej
    Data publikacji:
    2016
    Wydawca:
    Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    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
    Tematy:
    production availability
    age-based imperfect preventive maintenance
    offshore installations
    oil and gas production
    Petri Nets
    Monte Carlo simulation
    Pokaż więcej
    Data publikacji:
    2020
    Wydawca:
    Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    On-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets
    Autorzy:
    Li, B.
    Khlif-Bouassida, M.
    Toguéyni, A.
    Tematy:
    fault diagnosis
    discrete event system
    labeled Petri nets
    on-the-fly diagnosability analysis
    verifier nets
    diagnostyka błędu
    układ zdarzeń dyskretnych
    sieci Petriego
    Pokaż więcej
    Data publikacji:
    2018
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Using the Petri nets for forming the technological lines of the passenger trains processing in Ukraine
    Autorzy:
    Aleshinskiy, E.
    Naumov, V.
    Prymachenko, G.
    Tematy:
    passenger complexes
    passenger technical station
    Petri nets
    simulation model
    technological line
    pociągi pasażerskie
    sieci Petriego
    model symulacyjny
    linia technologiczna
    Pokaż więcej
    Data publikacji:
    2016
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Secure web access to mini distributed control system
    Niewielkie rozproszone systemy sterowania ze zdalnym dostępem przez sieć
    Autorzy:
    Rzońca, D.
    Stec, A.
    Trybus, B.
    Tematy:
    sieciowe systemy sterowania
    bezpieczeństwo komunikacji
    sieci Petriego
    rozproszone systemy sterowania
    networked control systems
    communication security
    Petri nets
    distributed control systems
    Pokaż więcej
    Data publikacji:
    2012
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    From formal methods to implementation based on Petri Nets model of concurrent systems
    Od metod formalnych do implementacji na przykładzie modelu w sieci Petriego systemu współbieżnego
    Autorzy:
    Wojciechowski, J.
    Tematy:
    sieci Petriego
    metody formalne
    rzutowanie
    modele klas w Java
    procedury w języku C
    Petri nets
    formal methods
    mapping
    C language
    Pokaż więcej
    Data publikacji:
    2007
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Dual synthesis of Petri net based application specific logic controllers with increased safety
    Autorzy:
    Tkacz, J.
    Bukowiec, A.
    Adamski, M.
    Tematy:
    critical safety
    FPGAs
    logic controllers
    logic synthesis
    Petri nets
    verification
    bezpieczeństwo krytyczne
    FPGA
    sterowniki logiczne
    synteza logiczna
    sieci Petriego
    weryfikacja
    Pokaż więcej
    Data publikacji:
    2016
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    The use of Petri nets in decision support systems based on intelligent multiply source data analysis
    Zastosowanie sieci Petriego w systemach wspomagania decyzji opartych na inteligentnej wieloźródłowej analizie danych
    Autorzy:
    Rymarczyk, T.
    Kłosowski, G.
    Cieplak, T.
    Tematy:
    Petri nets
    decision support systems
    data analysis
    business data processing
    sieci Petriego
    systemy wspomagania decyzji
    analiza danych
    przetwarzanie danych biznesowych
    Pokaż więcej
    Data publikacji:
    2017
    Wydawca:
    Politechnika Lubelska. Wydawnictwo Politechniki Lubelskiej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Transformation of UML 2.x activity diagrams into control interpreted Petri nets in hardware behavioural modelling
    Transformacja diagramów aktywności UML 2.x do interpretowanych sieci Petriego sterowania w specyfikacji behawioralnej sprzętu
    Autorzy:
    Grobelny, M.
    Tematy:
    sieci Petriego
    diagramy aktywności UML
    transformacja
    sterowanie
    specyfikacja behawioralna sprzętu
    Petri nets
    UML activity diagrams
    transformation
    control process
    hardware behavioural modelling
    Pokaż więcej
    Data publikacji:
    2011
    Wydawca:
    Sieć Badawcza Łukasiewicz - Instytut Elektrotechniki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Petri nets and activity diagrams in logic controller specification – transformation and verification
    Sieci petriego i diagramy aktywności w specyfikacji sterowników logicznych – transformacja i weryfikacja
    Autorzy:
    Grobelna, I.
    Grobelny, M.
    Adamski, M.
    Tematy:
    formal verification
    logic controller
    model checking
    Petri nets
    UML Activity
    Diagrams
    formalna weryfikacja
    sterownik logiczny
    weryfikacja modelowa
    sieci Petriego
    diagramy aktywności UML
    Pokaż więcej
    Data publikacji:
    2010
    Wydawca:
    Politechnika Bydgoska im. Jana i Jędrzeja Śniadeckich. Wydawnictwo PB
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Modeling of railway system maintenance and availability by means of Colored Petri nets
    Modelowanie utrzymania ruchu i gotowości systemu kolejowego za pomocą kolorowych sieci Petriego
    Autorzy:
    Song, H.
    Schnieder, E.
    Tematy:
    prognostics and health management
    colored Petri nets
    railway system
    maintenance
    availability
    prognostyka i zarządzanie zdrowiem
    kolorowe sieci Petriego
    system kolejowy
    utrzymanie ruchu
    gotowość
    Pokaż więcej
    Data publikacji:
    2018
    Wydawca:
    Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Graphical representations of multithreaded applications
    Autorzy:
    Giebas, Damian
    Wojszczyk, Rafał
    Tematy:
    graphical representation
    Petri nets
    Control Flow Graph
    Concurrent Process Systems
    multithreaded applications
    reprezentacja graficzna
    sieci Petriego
    wykres przepływu sterowania
    współbieżne systemy procesów
    aplikacja wielowątkowa
    Pokaż więcej
    Data publikacji:
    2018
    Wydawca:
    Polskie Towarzystwo Promocji Wiedzy
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Inhibitor and enabling arcs in logic controller design
    Łuki zakazujące i zezwalające w projektowaniu sterowników logicznych
    Autorzy:
    Grobelna, I.
    Grobelny, M.
    Tematy:
    specyfikacja sterownika logicznego
    formalna weryfikacja
    łuki zakazujące i zezwalające sieci Petriego
    diagramy aktywności języka UML
    logic controller specification
    formal verification
    Petri nets inhibitor and enabling arcs
    UML activity diagrams
    Pokaż więcej
    Data publikacji:
    2012
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Definiteness-indefiniteness category and logical quantification
    Autorzy:
    Koseska-Toszewa, Violetta
    Tematy:
    scope-based quantification
    definiteness/indefiniteness
    strong and weak quantification meanings
    incomplete quantification
    state quantification and imperfect aspect
    event quantification and perfect aspect
    network-based description of time
    Petri nets
    Pokaż więcej
    Data publikacji:
    2011
    Wydawca:
    Polska Akademia Nauk. Instytut Slawistyki PAN
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Method for identification of conflict points in the intelligent system of an aircraft taxi route choice
    Autorzy:
    Czarnecki, M.
    Skorupski, J.
    Tematy:
    air traffic
    airport surface management system
    Petri nets
    traffic safety
    intelligent taxi
    route choice system
    conflict points
    ruch lotniczy
    system zarządzania powierzchnią lotniska
    sieci Petriego
    bezpieczeństwo ruchu drogowego
    inteligentna taksówka
    system wyboru trasy
    punkty kolizji
    Pokaż więcej
    Data publikacji:
    2015
    Wydawca:
    Polskie Stowarzyszenie Telematyki Transportu
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Reliability modeling based on power transfer efficiency and its application to aircraft actuation system
    Model niezawodności oparty na wydajności przesyłu energii i jego zastosowanie do oceny lotniczego układu hydrauliki siłowej
    Autorzy:
    Cui, Xiaoyu
    Li, Tongyang
    Wang, Shaoping
    Shi, Jian
    Ma, Zhonghai
    Tematy:
    reliability modeling
    power transfer efficiency
    multi-state performance
    dual hydraulic actuation system
    generalized stochastic Petri nets
    universal generating function
    modelowanie niezawodności
    wydajność przesyłu energii
    działanie systemu wielostanowego
    podwójny układ hydrauliki siłowej
    uogólnione stochastyczne sieci Petriego
    uniwersalna funkcja tworząca
    Pokaż więcej
    Data publikacji:
    2020
    Wydawca:
    Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
      Wyświetlanie 1-59 z 59

      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

      Prześlij opinię

      Twoje opinie są dla nas bardzo ważne i mogą być niezwykle pomocne w pokazaniu nam, gdzie możemy dokonać ulepszeń. Bylibyśmy bardzo wdzięczni za poświęcenie kilku chwil na wypełnienie krótkiego formularza.

      Formularz