- 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ł