Coloured Petri nets, business process modelling

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.

This paper deals with business process modeling based on explicit models using information systems and formal methods (namely Petri nets). We introduce problems that arise on business process modeling field together with their solution using formal methods and information systems.