Business Process Intelligence: Introduction to Process Discovery (Do, 22.04.2021)
  • Einbetten

Kapitel:

00:00:39
Outline
00:07:56
The Input: event log
00:18:59
Transactional life-cycle
01:01:34
Process Representations
01:07:07
Petri nets (refresher)
01:29:13
Reachability Graph
01:44:21
Boundedness
01:45:53
Safeness (1-boundedness)
01:46:49
Deadlock
01:50:35
Liveness