Anotation:
Příspěvek se zabývá problematikou procesního modelování pomocí explicitních modelů v informačních systémech s vyuµitím formalismů (konkrétně Petriho sítí). Představeny jsou problémy, které na poli modelování byznys procesů panují a jejich moµné ře±ení pomocí formálních metod ve spojení s informačními systémy.