No/VOL: 09/2010 Page no. 123
Authors: Michał Doligalski , Marian Adamski :
Title: Obsługa wyjątków oraz stanów wznowienia w ramach dualnej specyfikacji
Abstract: 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.
Key words: dualna specyfikacja, SM-HPN, maszyna stanów UML, hierarchiczna sieć Petriego