Obsługa wyjątków oraz stanów wznowienia w ramach dualnej specyfikacji

• Autorzy: Doligalski M. , Adamski M.

Warianty tytułu

EN

Exceptions and deep history state handling using dual specification

• Języki publikacji: PL

Abstrakty

PL

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 siec´ 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.

EN

Dual specification is an alternative method for the digital logic controller specification, in contrast to the other techniques highly competitive standardsbased. State machine diagram - one of the elementary model - provides exceptions handling and history states. Hierarchical Petri net - which is the second complementary elementary model - has no such mechanisms. The article discusses how to implement the resumption and the expropriation of hierarchical Petri nets by introducing configuration and resting places.

Słowa kluczowe

PL

specyfikacja dualna; SM-HPN; maszyna stanów UML; hierarchiczna sieć Petriego

EN

SM-HPN; dual specification; state machine; hierarchical Petri net

• Wydawca: Wydawnictwo SIGMA-NOT
• Czasopismo: Przegląd Elektrotechniczny
• Rocznik: 2010
• Tom: R. 86, nr 9
• Strony: 123--125
• Opis fizyczny: Bibliogr. 8 poz., schem., tab.

Twórcy

autor

Doligalski M.

autor

Adamski M.

• Instytut Informatyki i Elektroniki, Wydział Elektrotechniki Informatyki i Telekomunikacji, Uniwersytet Zielonogórski, ul. Licealna 9, 65-417 Zielona Góra,

Bibliografia

• [1] Adamski M., Karatkevich A., Węgrzyn M.(red): Design of embeded controll systems, Springer, New York, 2005.
• [2] Andreu D., Souquet G., Gil T.: Petri Net Based Rapid Prototyping of Digital Complex System, IEEE Computer Society Annual Symposium on VLSI IEEE, 2008.
• [3] Basile F., Chiacchio P., Del Grosso D.: Modelling automation systems by UML and Petri Nets, Proceedings of the 9th International Workshop on Discrete Event Systems Gooteborg, IEEE, 2008.
• [4] Doligalski M.: Konwersja wybranych elementow maszyny stanow UML w ramach dualnej specyfikacji, Przegla˛d ElektrotechnicznyR. 85, nr 7, 2009.
• [5] Gajski D. D., Vahid F., Narayan S., Gong J.: Specification and Design of Embedded Systems, P T R Prentice Hall, New Jersey 1994.
• [6] Łabiak G.: Wykorzystanie hierarchicznego modelu wspołbie ˙znego automatu w projektowaniu sterownikow cyfrowych, Oficyna Wydawnicza Uniwersytetu Zielonogorskiego, Zielona Gora 2005.
• [7] Holvoet T., Verbaeten P.,: Petri Charts, an Alternative Technique for Hierarchical Net Construcion, IEEE Conference on Systems, Man and Cybernetics, 1995.
• [8] Węgrzyn A.: Symboliczna analiza układow sterowania binarnego z wykorzystaniem wybranych metod analizy sieci Petriego, Oficyna Wydawnicza UZ, Zielona Gora 2003.