Numer: 09/2010 Str. 123
Autorzy: Michał Doligalski , Marian Adamski :
Tytuł: Obsługa wyjątków oraz stanów wznowienia w ramach dualnej specyfikacji
Streszczenie: Dualna specyfikacja SM-HPN [4] jest alternatywną metodą specyfikacji sterowników cyfrowych, w odróżnieniu do konkurencji silnie opartą na standardach[7]. Diagram maszyny stanów – będący jej modelem elementarnym – umożliwia przedstawienie obsługi wyjątków oraz stanów wznowienia. Hierarchiczna sieć Petriego – będąca drugim komplementarnym modelem elementarnym – nie posiada takich mechanizmów[3, 5]. W artykule omówiono sposób implementacji wznowienia i wywłaszczenia w hierarchicznej sieci Petriego poprzez wprowadzenie miejsc konfiguracyjnych i spoczynkowych.
Słowa kluczowe: dualna specyfikacja, SM-HPN, maszyna stanów UML, hierarchiczna sieć Petriego