Temat: logic controllers - Prolib Integro

Skocz do pozycji: 1.

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.
Data publikacji:: 2010
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: logika rozmyta
modelowanie
sieci Petriego
sterowniki logiczne
synteza logiczna
fuzzy logic
modelling
Petri nets
logic controllers
logical synthesis; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Dual synthesis of Petri net based application specific logic controllers with increased safety
Autorzy:: Tkacz, J.
Bukowiec, A.
Adamski, M.
Data publikacji:: 2016
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
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
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 3.

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.
Data publikacji:: 2007
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
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
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Informacja