1. A. Karatkiewicz, Dynamic analysis of Petri net-based discrete systems., Berlin: Springer, 2007, ISBN 978-3-540-71464-4.
2. M. Wiśniewska, R. Wiśniewski, M. Adamski and W. Halang, “Application of hypergraphs in microcode length reduction of microprogrammed controllers” in 2nd International Workshop on Nonlinear Dynamics and Sychronization (INDS), Shaker Verlag, Klagenfurt, Austria, 2009, pp. 106–109.
3. M. Grobelny, I. Grobelna and M. Adamski, “Hardware behavioural modelling, verification and synthesis with UML 2.x activity diagrams” in Proceedings of 11th IFAC/IEEE International Conference on Programmable Devices and Embedded Systems - PDeS 2012, Brno, Czech, 2012, pp. 109–114.
4. L. Gomes, J. Paulo and A. Costa, Structuring Mechanisms in Petri Net Models: From specification to FPGA based implementations, Springer, 2004, pp. 153–166.
5. M. Wiśniewska, R. Wiśniewski and M. Adamski, “Reduction of the microinstruction lenght in the designing process of microprogrammed controllers”, Przeglad Elektrotechniczny, 85, 203–206 (2009).