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-88 z 88
    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ł:
    Regułowa reprezentacja interpretowanych sieci Petriego sterowania dla potrzeb syntezy i weryfikacji
    Rule-based representation of Control Interpreted Petri Nets for synthesis and verification purposes
    Autorzy:
    Grobelna, I.
    Tematy:
    weryfikacja modelowa
    interpretowane sieci Petriego sterowania
    synteza logiczna
    model checking
    control interpreted Petri nets
    Pokaż więcej
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Usage of Hypergraph Theory in Decomposition of Concurrent Automata
    Równoległa dekompozycja automatów współbieżnych z wykorzystaniem hipergrafów
    Autorzy:
    Wiśniewska, M.
    Wiśniewski, R.
    Adamski, M.
    Tematy:
    transwersala
    stany lokalne automatu
    sieć Petriego
    hypergraph
    transversals
    local states of automata
    Petri nets
    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ł:
    Diagramy aktywności języka UML i sieci Petriego w systemach sterowania binarnego - od transformacji do weryfikacji
    UML activity diagrams and Petri nets in binary control systems - from transformation to verification
    Autorzy:
    Grobelny, M.
    Grobelna, I.
    Tematy:
    diagramy aktywności UML
    sieci Petriego
    weryfikacja modelowa
    UML activity diagrams
    Petri nets
    model checking
    Pokaż więcej
    Data publikacji:
    2010
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Realizacja hierarchicznych sieci Petriego z wykorzystaniem sterowników klasy PLC
    Realization of Hierarchical Petri net by means of PLC
    Autorzy:
    Andrzejewski, G.
    Mróz, P.
    Tematy:
    hierarchiczne sieci Petriego
    programowalne sterowniki logiczne PLC
    hierarchical Petri nets
    programmable logic controller (PLC)
    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ł:
    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ł:
    Interpretowane sieci Petriego - model formalny w zintegrowanym projektowaniu mikroprpcesorowych systemów sprzętowo-programowych
    Interpreted Petri nets as a formal model in hardware/software codesign
    Autorzy:
    Adamski, M.
    Skowroński, Z.
    Tematy:
    sieci Petriego
    programowanie zintegrowane
    mikroprocesorowe systemy sprzętowo-programowe
    Petri nets
    formal model in hardware/sofrware codesign
    Pokaż więcej
    Data publikacji:
    2003
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    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ł:
    Zastosowanie kolorowanych sieci Petriego w projektowaniu systemów czasu rzeczywistego
    Using coloured Petri nets for real-time systems design
    Autorzy:
    Samolej, S.
    Trybus, B.
    Tematy:
    kolorowane sieci Petriego
    systemy czasu rzeczywistego
    inżynieria oprogramowania
    coloured Petri nets
    real-time systems
    software engineering
    Pokaż więcej
    Data publikacji:
    2005
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Metodologia modyfikacji sieci obrazujących proces produkcyjny zawierający punkty kontroli jakości
    Modification methodology of nets illustrating the production process including quality control points
    Autorzy:
    Lasota, A.
    Tematy:
    sieci Petriego
    s-sieci
    alfa-sieci
    α-sieci
    proces produkcyjny
    kontrola jakości
    Petri nets
    s-nets
    alpha-nets
    α-nets
    production process
    quality control
    Pokaż więcej
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    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ł:
    Transformacja rozmytej interpretowanej sieci Petriego na schemat układu logicznego
    Transformation of the fuzzy interpreted Petri net into a logic circuit
    Autorzy:
    Gniewek, L.
    Tematy:
    logika rozmyta
    modelowanie
    sieci Petriego
    sterowniki logiczne
    synteza logiczna
    fuzzy logic
    modelling
    Petri nets
    logic controllers
    logical synthesis
    Pokaż więcej
    Data publikacji:
    2010
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    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ł:
    Weryfikacja modelowa hierarchicznej specyfikacji sterownika logicznego
    Model checking of hierarchical logic controller specification
    Autorzy:
    Grobelna, I.
    Grobelny, M.
    Tematy:
    hierarchia
    interpretowane sieci Petriego
    diagramy aktywności UML
    weryfikacja modelowa
    hierarchy
    interpreted Petri nets
    UML activity diagrams
    model checking
    Pokaż więcej
    Data publikacji:
    2013
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    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ł:
    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ł:
    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ł:
    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ł:
    Analiza systemu transportowego z wykorzystaniem sieci Petriego
    Analysis of transportation system with the use of Petri nets
    Autorzy:
    Kowalski, M.
    Magott, J.
    Nowakowski, T.
    Werbińska-Wojciechowska, S.
    Tematy:
    system wsparcia logistycznego
    system transportowy
    sieci Petriego
    proces symulacji
    logistic support system
    transportation system
    procurement process
    Petri nets
    simulation process
    Pokaż więcej
    Data publikacji:
    2011
    Wydawca:
    Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
    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ł:
    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ł:
    Weryfikacja modelowa interpretowanych sieci Petriego sterowania
    Model checking of control interpreted Petri Nets
    Autorzy:
    Grobelna, I.
    Tematy:
    weryfikacja modelowa
    sterownik logiczny
    interpretowane sieci Petriego sterowania
    logika temporalna
    model checking
    logic controller
    control interpreted Petri nets
    temporal logic
    Pokaż więcej
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    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ł:
    Kolorowanie automatowe sieci Petriego metodą wnioskowania symbolicznego
    State Machine type colouring of Petri net by means of using a symbolic deduction method
    Autorzy:
    Tkacz, J.
    Tematy:
    logika Gentzena
    sekwent
    wnioskowanie symboliczne
    sterowniki logiczne
    sieci Petriego
    składowe automatowe
    dekompozycja
    Gentzen logic
    sequent
    symbolic deduction
    logic controllers
    Petri nets
    decomposition
    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ł:
    Problem hierarchii w transformacji diagramów aktywności UML 2.x do sieci Petriego sterowania
    Hierarchy problem in transformation of UML 2.x Activity Diagrams into Control Interpreted Petri Nets
    Autorzy:
    Grobelny, M.
    Grobelna, I.
    Tematy:
    diagramy aktywności UML
    sieci Petriego sterowania
    modelowanie behawioralne
    metody formalnej weryfikacji
    UML activity diagrams
    control Petri nets
    behavioral modelling
    formal verification methods
    Pokaż więcej
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Odwzorowanie hierarchicznych interpretowanych sieci Petriego sterowania z makromiejscami w diagramach aktywności UML
    Mapping of hierarchical control interpreted Petri nets with macroplaces in UML activity diagrams
    Autorzy:
    Grobelny, M.
    Tematy:
    UML
    diagramy aktywności
    interpretowane sieci Petriego sterowania
    specyfikacja behawioralna
    specyfikacja hierarchiczna
    activity diagrams
    control interpreted Petri nets
    behavioural specification
    hierarchical specification
    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ł:
    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ł:
    Autorski system wspomagający proces dekompozycji sieci Petriego na podsieci typu automatowego
    CAD system for automatic decomposition of Petri Nets
    Autorzy:
    Wiśniewska, M.
    Tematy:
    hipergraf
    transwersala dokładna
    system Hippo wspomagający proces dekompozycji sieci Petriego
    hypergraph
    hypergraph transversal
    CAD system Hippo for automatic decomposition of Petri Nets based on hypergraphs
    Pokaż więcej
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    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ł:
    Optymalizacja realizacji układowej hierarchicznych sieci Petriego
    The implementation optimization of the hierarchical Petri nets
    Autorzy:
    Stasiak, A.
    Tematy:
    projektowanie zintegrowane
    sieci Petriego
    model formalny
    systemy osadzone
    systemy cyfrowe
    mikrosystemy cyfrowe
    FPGA
    hardware-software codesign
    Petri nets
    formal model
    embedded systems
    digital systems
    digital microsystems
    PLD
    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ł:
    Metody walidacji i weryfikacji specyfikacji funkcjonalnej mikrosystemu cyfrowego
    Validation and verification methods of the digital microsystem functional specification
    Autorzy:
    Stasiak, A.
    Skowroński, Z.
    Tematy:
    projektowanie zintegrowane
    sieci Petriego
    model formalny
    systemy osadzone
    systemy cyfrowe
    mikrosystemy cyfrowe
    FPGA
    hardware-software codesign
    Petri nets
    formal model
    embedded systems
    digital systems
    digital microsystems
    PLD
    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ł:
    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ł:
    Metoda modelowania procesów sekwencyjnych i współbieżnych w środowisku sterowników PLC
    The method for modeling of sequential and concurrent processes in the PLC environment
    Autorzy:
    Franczok, K.
    Tematy:
    język strukturalny ST
    sieci Petriego
    modelowanie procesów dyskretnych
    instrukcja CASE OF
    procesy sekwencyjne i współbieżne
    structured text
    Petri nets
    modeling discrete processes
    CASE OF statement
    sequential and concurrent processes
    Pokaż więcej
    Data publikacji:
    2014
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    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ł:
    Automatyczny system wspomagający proces projektowania systemów dyskretnych z wykorzystaniem hipergrafów
    CAD system for automatic decomposition of discrete systems based on hypergraphs
    Autorzy:
    Wiśniewska, M.
    Tematy:
    graf
    hipergraf
    dekompozycja systemów dyskretnych
    autorski system wspomagający proces dekompozycji systemów dyskretnych z wykorzystaniem hipergrafów (system Hippo)
    graph
    hypergraph
    decomposition of discrete system
    CAD system Hippo for automatic decomposition of Petri Nets based on hypergraphs
    Pokaż więcej
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    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
    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.
    Tematy:
    sieci Petriego
    s-sieci
    alfa-sieci
    α-sieci
    proces produkcyjny
    kontrola jakości
    Petri net
    s-nets
    alpha-nets
    α-nets
    production process
    quality control
    Pokaż więcej
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
      Wyświetlanie 1-88 z 88

      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