Temat: logic controllers - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Wykrywanie zastojów w sterownikach logicznych metodą symbolicznego wnioskowania Gentzena
Autorzy:: Tkacz, J.
Data publikacji:: 2006
Słowa kluczowe:: Gentzen
sekwent
wnioskowanie symboliczne
sterowniki logiczne
sieci Petriego
sequent
symbolic deduction
logic controllers
Petri nets; Pokaż więcej
Dostawca treści:: BazTech

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
Słowa kluczowe:: 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:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 3.

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: 4.

Tytuł:: Kolorowanie automatowe sieci Petriego metodą wnioskowania symbolicznego
Autorzy:: Tkacz, J.
Data publikacji:: 2007
Słowa kluczowe:: 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:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Structured Mapping of Petri Net States and Events for FPGA Implementations
Autorzy:: Tkacz, J.
Adamski, M.
Data publikacji:: 2013
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: configurable logic controllers
interpreted Petri net state space
local and global state encoding
hyperpgraph
logic design
Gentzen sequents
Petri net coloring
FPGA
VHDL; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 6.

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

Skocz do pozycji: 7.

Tytuł:: Structured Mapping of Petri Net States and Events for FPGA Implementations
Autorzy:: Tkacz, J.
Adamski, M.
Data publikacji:: 2013
Słowa kluczowe:: configurable logic controllers
interpreted Petri net state space
local and global state encoding
hyperpgraph
logic design
Gentzen sequents
Petri net coloring
FPGA
VHDL; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Wyznaczanie SM - pokrycia bezpiecznej sieci Petriego metodą komputerowego wnioskowania
Autorzy:: Tkacz, J.
Adamski, M.
Data publikacji:: 2011
Słowa kluczowe:: przestrzeń stanów lokalnych i globalnych sieci Petriego
transwersale
podsieci automatowe SM
logika sekwentów Gentzena
Petri net state space
transversal
formal reasoning
State Machine subnets
configurable logic controllers; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Wyznaczanie SM - pokrycia bezpiecznej sieci Petriego metodą komputerowego wnioskowania
Calculation of State Machine cover of safe Petri net by means of computer based reasoning
Autorzy:: Tkacz, J.
Adamski, M.
Data publikacji:: 2011
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: przestrzeń stanów lokalnych i globalnych sieci Petriego
transwersale
podsieci automatowe SM
logika sekwentów Gentzena
Petri net state space
transversal
formal reasoning
State Machine subnets
configurable logic controllers; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Informacja