Přejít k hlavnímu obsahu
Czech
English
Ústav teorie informace a automatizace
Jste zde
Domů
Vyhledávání
Hledat
O ústavu
Domů
Výzkum
Výuka
Lidé
Struktura
Časopis Kybernetika
GDPR info
Ochrana oznamovatelů
GEP info
Život ústavu
Informace
Návody
Aktivity
Semináře
Knihovna
Výpočetní středisko
Intranet
Přihlášení
Přístup k mailu
Covid - evidence testů
Lemon
Rezervace tělocvičny
Poštovní konference
Rezervace poslucháren
Docházka
Docházka
Bibliografie
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
07.01.2019 - 08:39