- Tytuł:
- Generation of synchronizing state machines from a transition system: A region-based approach
- Autorzy:
-
Teren, Viktor
Cortadella, Jordi
Villa, Tiziano - Data publikacji:
- 2023
- Wydawca:
- Uniwersytet Zielonogórski. Oficyna Wydawnicza
- Tematy:
-
transition system
Petri net
state machine
theory of regions
SAT
pseudo Boolean optimization
układ przejściowy
sieć Petriego
maszyna stanów
teoria regionów - Dostawca treści:
- Biblioteka Nauki
Artykuł