Process Mining의 기초 2

* 이벤트 로그

- 케이스의 사례의 모음

- 케이스 : 이벤트의 흔적/순서

- 각 이벤트는 case, 활동, 시점 의미

'

* 이벤트 로그는 어디에서?

- 데이터베이스 시스템

- 거래 로그

- ERP 시스템

- PAIS

 

* 이벤트 로그를 통해 case들의 패턴을 파악 -> 다른 관점에서 해석

 

* 이벤트 로그의 확장

- 한 개의 이벤트는 시작, 종료 외 다양한 이벤트 타입을 포함할 수 있음

 

# case attributes : 변화하지 않음 (성별, 생일)

# event attributes : 변화할 수 있음 (특정 작업과 연관)

 

 

---

 

Transition System

TS = (S, A, T)

- S: states, A: activities, T: Transitions

- 가장 기초적인 프로세스 모델링 방법

- 간단 but, 동시성을 표현하는 데 문제 있음

 

 

---

 

Petri-net

N = (P, T, F)

- P: places, T: transitions, F: Directed arcs

 

Marked Petri-net = (N, M)

- M: marking ( 현재 Token이 어디 있는지 명시된)

 

Labeled Petri-net

N = (P, T, F, A, I)

- A : 라벨들의 집합, I: 라벨 함수

 

* Enabling, Firing

# Enabling :  특정 Transition의 인풋인 place들에 모두 토큰이 있는 상태

# Firing : 특정 Transition이 enabled일 때, 인풋 place들의 Token을 소비, 아웃풋 place들의 Token 생성

 

* Marking

# initial marking: 초기 토큰 마킹

# reachable marking : Transition 점화를 통해 도달할 수 있는 토큰 마킹

# unreachable marking : Transition 점화를 통해 도달할 수 없는 토큰 마킹

 

 

---

 

Reachability graph

- petri-net과 Transition system의 연결

- 페트리넷의 가능한 상태를 transition system 형태로 표현

- state : Initial marking 이여야함!

 

---

WorkFlow net(WF net)

- 페트리넷의 부분집합

- 한 개의 시작 place와 종료 place로 구성

- 모든 다른 노드들은 시작, 종료 내 path에 포함

 

# safeness : place들은 여러 개의 토큰을 가질 수 있음

# proper completion : 종료 place에 토큰이 있으면 다른 place에는 토큰이 없어야 함

# option to complete : 종료 place에 토큰이 포함될 수 있어야 함

# absence of dead parts : 모든 트랜지션은 점화가 가능해야 함