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