- Tytuł:
- The Problems of Transition Predicates Construction in Hierarchical Concurrent Controllers
- Autorzy:
- Łabiak, G.
- Data publikacji:
- 2012
- Wydawca:
- Polska Akademia Nauk. Czytelnia Czasopism PAN
- Tematy:
-
binary control system
statechart diagrams
hierarchy;concurrency
conflicting transitions
Boolean predicates
computational complexity
compatibility classes
clique problem - Dostawca treści:
- Biblioteka Nauki
Artykuł