Mechanizm obsługi sytuacji wyjątkowych oraz ponownego wznowienia sterowania w hierarchicznych sieciach Petriego
暂无分享,去创建一个
[1] F. Basile,et al. Modelling automation systems by UML and Petri Nets , 2008, 2008 9th International Workshop on Discrete Event Systems.
[2] Marian Adamski,et al. Obsługa wyjątków w maszynie stanowej UML realizowanej w mikrosystemach cyfrowych , 2010 .
[3] Michał Doligalski,et al. Obsługa wyjątków oraz stanów wznowienia w ramach dualnej specyfikacji , 2010 .
[4] David Andreu,et al. Petri Net Based Rapid Prototyping of Digital Complex System , 2008, 2008 IEEE Computer Society Annual Symposium on VLSI.
[5] Michał Doligalski,et al. Specyfikacja sterowników cyfrowych zorientowana na niezawodność , 2010 .
[6] Marian Adamski,et al. Design of Embedded Control Systems , 2006 .
[7] Jianwen Zhu,et al. Specification and Design of Embedded Systems , 1998, Informationstechnik Tech. Inform..