- Tytuł:
- Generation of synchronizing state machines from a transition system: A region-based approach
- Autorzy:
-
Teren, Viktor
Cortadella, Jordi
Villa, Tiziano - Data publikacji:
- 2023
- Słowa kluczowe:
-
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 - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł