Bibliography

J. Moravec

Papík Martin, Moravec J. : Synthesis of Decentralized Supervisor for Petri Nets Using Decomposition with Overlapping Places , Applied Mathematical Sciences vol.6, 124 (2012), p. 6181-6194 [2012] Download
Podaras A., Moravec J., Papík Martin : Efficient transformation of use case main success scenario steps into bussiness object relation (BORM) diagrams for effective bussiness process requirement analysis , AD ALTA vol.2, 1 (2012), p. 86-88 [2012] Download
Papík Martin, Moravec J. : Inovace v řízení procesů pro Petri sítě , Produktivita a Inovácie vol.3, 3 (2011), p. 35-36 [2011]

Moravec J., Papík Martin : Transformace BORM - Petriho síť s využitím supervize , Sborník konference Objekty 2010, p. 1-15, Objekty 2010, (Ostrava, CZ, 18.11.2010-19.11.2010) [2010] Download