BPM

Chapter 2. Business Process Modeling

[Link]@[Link]

2BIS
Business Information System

2025-2026
Plan

1 Introduction
Plan

1 Introduction

2 Notions de base
Plan

1 Introduction

2 Notions de base

3 Dimension logique
Plan

1 Introduction

2 Notions de base

3 Dimension logique

4 Conclusion
 Introduction
Notions de base
Dimension logique
Conclusion

Modélisation d’un BP

La modélisation d’un BP doit permettre de répondre aux

questions suivantes:
Dimension logique: Quelles sont les activités à réaliser

[Link]@[Link] Chapter 2. Business Process Modeling 3 / 58

 Introduction
Notions de base
Dimension logique
Conclusion

Modélisation d’un BP

La modélisation d’un BP doit permettre de répondre aux

questions suivantes:
Dimension logique: Quelles sont les activités à réaliser (quoi)?
Quand faut-il les réaliser

[Link]@[Link] Chapter 2. Business Process Modeling 3 / 58

 Introduction
Notions de base
Dimension logique
Conclusion

Modélisation d’un BP

La modélisation d’un BP doit permettre de répondre aux

questions suivantes:
Dimension logique: Quelles sont les activités à réaliser (quoi)?
Quand faut-il les réaliser (quand)?
Dimension organisationnelle: Quelles sont les compétences
nécessaires

[Link]@[Link] Chapter 2. Business Process Modeling 3 / 58

 Introduction
Notions de base
Dimension logique
Conclusion

Modélisation d’un BP

La modélisation d’un BP doit permettre de répondre aux

questions suivantes:
Dimension logique: Quelles sont les activités à réaliser (quoi)?
Quand faut-il les réaliser (quand)?
Dimension organisationnelle: Quelles sont les compétences
nécessaires (qui)?
Dimension informationnelle: Quels sont les outils et les
informations nécessaires

[Link]@[Link] Chapter 2. Business Process Modeling 3 / 58

 Introduction
Notions de base
Dimension logique
Conclusion

Modélisation d’un BP

La modélisation d’un BP doit permettre de répondre aux

questions suivantes:
Dimension logique: Quelles sont les activités à réaliser (quoi)?
Quand faut-il les réaliser (quand)?
Dimension organisationnelle: Quelles sont les compétences
nécessaires (qui)?
Dimension informationnelle: Quels sont les outils et les
informations nécessaires (comment)?

[Link]@[Link] Chapter 2. Business Process Modeling 3 / 58

 Introduction
Notions de base
Dimension logique
Conclusion

Tâches et Opérations élémentaires (1)

La tâche:
unité de travail représentant une étape d’un processus;
fait appel à des ressources humaines ou matérielles pour son
accomplissement;
plus petite entité de travail gérée par un moteur de workflow
(planifier, exécuter, affecter);
une tâche peut nécessiter de nombreuses opérations
élémentaires;
Exemple: remplir un formulaire, l’exécution d’une transaction
sur une BD, . . .

[Link]@[Link] Chapter 2. Business Process Modeling 4 / 58

 Introduction
Notions de base
Dimension logique
Conclusion

Tâches et Opérations élémentaires (2)

Propriétés ACID des tâches: inspirées des transactions dans les

BD avec possibilité de relâchement de certaines contraintes.
Atomicité: tout ou rien, rollback si nécessaire;
Consistance: une tâche terminée conduit à un état cohérent
du système;
Isolation: les tâches ne s’affectent pas mutuellement, même si
elles s’exécutent en parallèle;
Durabilité: le résultat d’une tâche ne doit pas être perdu
(commit).

[Link]@[Link] Chapter 2. Business Process Modeling 5 / 58

 Introduction
Notions de base
Dimension logique
Conclusion

Relations entre concepts de Workflow

Un modèle de processus est

décomposable récursivement en
sous-processus jusqu’aux tâches
(élémentaires) qui peuvent être
manuelles ou automatiques.
Le WfMS maintient en interne une
description des processus en cours
d’exécution appelés instance de
processus
Les instances de tâches (ou activités)
au sein des instances de processus
correspondent à des invocations
(applications) ou à des affectations
des opérations élémentaires à des
participants humains

[Link]@[Link] Chapter 2. Business Process Modeling 6 / 58

 Introduction
Notions de base
Dimension logique
Conclusion

Ressources, Rôle et Unité organisationnelle

Ressource (participant, acteur, utilisateur, agent):

humain ou machine pouvant exécuter une tâche.
Classe de ressources:
groupe de ressources ayant des caractéristiques similaires.
Rôles:
classe de ressources ayant les mêmes capacités fonctionnelles.
Unité organisationnelle (équipe, branche, département):
classe de ressources appartenant à une même structure
organisationnelle.

[Link]@[Link] Chapter 2. Business Process Modeling 7 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation orientée activités

La forme la plus classique de modélisation, elle définit les BP en

termes d’activités et de transitions entre les activités.
Modélisation par langages spécifiques (BPMN, BPEL,
YAWL,. . . )
Modélisation par Réseaux de Petri (RdP) simples, enrichis,. . .
...

[Link]@[Link] Chapter 2. Business Process Modeling 8 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Business Process Model and Notation

Définition 1.
«BPMN est une norme de notation pour la modélisation de BP.
Son objectif est de fournir un cadre permettant de décrire un BP
d’une manière commune à tous les utilisateurs et ce,
indépendamment de l’outil utilisé.»

Définition 2.
«BPMN is a graphical representation for specifying BP, now
maintained by the Object Management Group (OMG).»

[Link]@[Link] Chapter 2. Business Process Modeling 9 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation en BPMN: un standard dans les workflows

(Source: C. Hanachi)

Modeleurs BPMN gratuits:

[Link]
[Link]

[Link]@[Link] Chapter 2. Business Process Modeling 10 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Représentation des rôles et unités organisationnelles en

BPMN (1)

(Source: C. Hanachi)

[Link]@[Link] Chapter 2. Business Process Modeling 11 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Représentation des rôles et unités organisationnelles en

BPMN (2)

(Source: C. Hanachi)

[Link]@[Link] Chapter 2. Business Process Modeling 12 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Allocation des tâches (1)

Lors de la définition d’un workflow:

les tâches sont statiquement associées à des rôles ou des
unités organisationnelles plutôt qu’à des individus.
À l’exécution: quand une tâche est planifiée pour être exécutée,
le SGWf:
désigne directement l’exécutant (PUSH),
ou bien détermine tous les exécutants potentiels, et insère
cette tâche dans leur «worklist».
quand un exécutant choisit la tâche pour l’exécuter, la tâche
est supprimée des worklists des autres agents (PULL).

[Link]@[Link] Chapter 2. Business Process Modeling 13 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Allocation des tâches (2)

Règles d’allocation des tâches:
unité organisationnelle
rôle
les deux
ou bien, basée sur des règles dynamiques dépendant du cas
traité et de l’histoire des ressources
Ordre d’exécution des tâches:
FIFO (first in, first out);
LIFO (last in, Frist out);
SPT (shortest processing time);
SRPT (shortest remaining processing time);
EDD (earliest due date);
PRIO (tasks with priority go first).
[Link]@[Link] Chapter 2. Business Process Modeling 14 / 58
 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Business Process Execution Language

Définition 3.
«BPEL est conçu par IBM, BEA et Microsoft, c’est la
représentation XML d’un processus exécutable, qui peut être
déployée sur n’importe quel moteur de BP. L’élément premier d’un
processus BPEL est une « activité », qui peut être l’envoi d’un
message, la réception d’un message, l’appel d’une opération (envoi
d’un message, attente d’une réponse), ou une transformation de
données.
Langage concurrent : XPDL.»

[Link]@[Link] Chapter 2. Business Process Modeling 15 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Exemple de codage de BPMN-BPEL

[Link]@[Link] Chapter 2. Business Process Modeling 16 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Yet Another Workflow Language

Définition 4.
«YAWL est le langage de spécification de processus le plus puissant
pour capturer les dépendances de flux de contrôle et les besoins en
ressources.»

Définition 5.
«YAWL est un système BPM/Workflow gratuit et open source,
basé sur un langage de modélisation concis et puissant, qui gère
des transformations de données complexes et une intégration
complète avec les ressources organisationnelles, les applications et
les services Web externes.»

[Link]@[Link] Chapter 2. Business Process Modeling 17 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Pourquoi?

Langage graphique: intuitif et facile à utiliser;

Fondements mathématiques: techniques d’analyse de
propriétés (performance) d’un système (terminaison,
accessibilité de certains états, . . . );
Indépendant du commerce: n’est la propriété d’aucun
vendeur, existe indépendamment de l’évolution du marché.

[Link]@[Link] Chapter 2. Business Process Modeling 18 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Les atouts

Sémantique formelle: spécification de processus claire et

précise;
Pouvoir d’expression: exprime tous les routages possibles;
Similarités avec les langages et outils BPMN.

[Link]@[Link] Chapter 2. Business Process Modeling 19 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Principes d’utilisation (1)

Un RdP est un graphe orienté

composé de places (rond) et de
transitions (rectangle).
Les arcs (flèches) ne peuvent relier que
les places aux transitions ou bien les
transitions aux places.
Les jetons (points) sont des objets
dynamiques (produits, personnes,
messages, signaux,. . . ): se déplaçant
de places en places.
NB: une place peut représenter un media de communication, un buffer
(une queue de messages), un emplacement géographique, un état, un
événement, . . . une transition représente une activité en général, un
événement : le début, la fin d’une activité, la transformation d’un objet,
...

[Link]@[Link] Chapter 2. Business Process Modeling 20 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Principes d’utilisation (2)

L’état du RdP est déterminé par la

distribution des jetons dans les
places appelée marquage.
Le marquage initial est la
distribution initiale de jetons sur
le RdP.
La transition "assemblage" a 3
places d’entrée (cadre, roue,
pince) et 2 places de sortie
(pince, vélo).
L’état du système est: 1 cadre, 3
roues, 1 pince et 0 vélo.

[Link]@[Link] Chapter 2. Business Process Modeling 21 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Principes d’utilisation (3)

Une transition T est franchissable

(action possible) à partir d’un état
du système dès lors qu’il y a
suffisamment de ressources dans
toutes les places d’entrée de T .
Franchir une transition correspond
à consommer (enlever) des jetons
des places d’entrée et produire
(ajouter) des jetons dans les places
de sortie en nombre égal aux
valuations des différents arcs (par
défaut 1).

[Link]@[Link] Chapter 2. Business Process Modeling 22 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Principes d’utilisation (4)

[Link]@[Link] Chapter 2. Business Process Modeling 23 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Principes d’utilisation (4)

[Link]@[Link] Chapter 2. Business Process Modeling 23 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Principes d’utilisation (4)

Le franchissement (tir) de la transition "assemblage" conduit

au marquage de droite. On a fabriqué un vélo. Peut-on en
fabriquer un deuxième?

[Link]@[Link] Chapter 2. Business Process Modeling 23 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Non-déterminisme

[Link]@[Link] Chapter 2. Business Process Modeling 24 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Non-déterminisme

2 transitions en conflits! Même

avec 2 jetons, le conflit persiste.
La règle de tirage au sort permet
de déterminer laquelle des
transitions doit être franchie.

[Link]@[Link] Chapter 2. Business Process Modeling 24 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Non-déterminisme

2 transitions en conflits! Même

avec 2 jetons, le conflit persiste.
La règle de tirage au sort permet
de déterminer laquelle des
transitions doit être franchie.
Des priorités peuvent être associées
aux transitions.

[Link]@[Link] Chapter 2. Business Process Modeling 24 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Non-déterminisme

2 transitions en conflits! Même

avec 2 jetons, le conflit persiste.
La règle de tirage au sort permet
de déterminer laquelle des
transitions doit être franchie.
Des priorités peuvent être associées
aux transitions.

[Link]@[Link] Chapter 2. Business Process Modeling 24 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Non-déterminisme

2 transitions en conflits! Même

avec 2 jetons, le conflit persiste.
La règle de tirage au sort permet
de déterminer laquelle des
transitions doit être franchie.
Des priorités peuvent être associées
aux transitions.
t1 devient prioritaire sur t2.

[Link]@[Link] Chapter 2. Business Process Modeling 24 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Séquence de franchissement (1)

Le franchissement successif de transitions dans un ordre donné à

partir d’un marquage donné constitue une séquence de
franchissement.

[Link]@[Link] Chapter 2. Business Process Modeling 25 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Séquence de franchissement (2)

[Link]@[Link] Chapter 2. Business Process Modeling 26 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Séquence de franchissement (2)

Marquage courant: configuration

des jetons à travers les places.

[Link]@[Link] Chapter 2. Business Process Modeling 26 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Séquence de franchissement (2)

Marquage courant: configuration

des jetons à travers les places.
Marquage accessible: un marquage
accessible à partir du marquage
courant en déclenchant une
séquence de transitions
franchissables.

[Link]@[Link] Chapter 2. Business Process Modeling 26 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Séquence de franchissement (2)

Marquage courant: configuration

des jetons à travers les places.
Marquage accessible: un marquage
accessible à partir du marquage
courant en déclenchant une
séquence de transitions
franchissables.
État bloquant: un marquage à
partir duquel aucune transition
n’est déclenchable.

[Link]@[Link] Chapter 2. Business Process Modeling 26 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Graphe des marquages

L’évolution du RdP peut être représentée sous la forme d’un

graphe des marquages GA(R; M0 ), dont les sommets
correspondent aux marquages accessibles.

[Link]@[Link] Chapter 2. Business Process Modeling 27 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Graphe des marquages

L’évolution du RdP peut être représentée sous la forme d’un

graphe des marquages GA(R; M0 ), dont les sommets
correspondent aux marquages accessibles.

[Link]@[Link] Chapter 2. Business Process Modeling 27 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Graphe des marquages

L’évolution du RdP peut être représentée sous la forme d’un

graphe des marquages GA(R; M0 ), dont les sommets
correspondent aux marquages accessibles.

Combien d’états sont accessibles?

[Link]@[Link] Chapter 2. Business Process Modeling 27 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Graphe des marquages

L’évolution du RdP peut être représentée sous la forme d’un

graphe des marquages GA(R; M0 ), dont les sommets
correspondent aux marquages accessibles.

Combien d’états sont accessibles?

4 états accessibles.

[Link]@[Link] Chapter 2. Business Process Modeling 27 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Graphe des marquages

L’évolution du RdP peut être représentée sous la forme d’un

graphe des marquages GA(R; M0 ), dont les sommets
correspondent aux marquages accessibles.

Combien d’états sont accessibles?

4 états accessibles.
Y-a-t-il un état bloquant?

[Link]@[Link] Chapter 2. Business Process Modeling 27 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Graphe des marquages

L’évolution du RdP peut être représentée sous la forme d’un

graphe des marquages GA(R; M0 ), dont les sommets
correspondent aux marquages accessibles.

Combien d’états sont accessibles?

4 états accessibles.
Y-a-t-il un état bloquant?
1 état bloquant.

[Link]@[Link] Chapter 2. Business Process Modeling 27 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: BP vs RdP

BP
RdP

[Link]@[Link] Chapter 2. Business Process Modeling 28 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: BP vs RdP

BP
RdP
1 L’état d’un processus?

[Link]@[Link] Chapter 2. Business Process Modeling 28 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: BP vs RdP

BP
RdP
1 L’état d’un processus? 1 Distribution des jetons dans les
places.

[Link]@[Link] Chapter 2. Business Process Modeling 28 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: BP vs RdP

BP
RdP
1 L’état d’un processus? 1 Distribution des jetons dans les
2 Les tâches? places.

[Link]@[Link] Chapter 2. Business Process Modeling 28 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: BP vs RdP

BP
RdP
1 L’état d’un processus? 1 Distribution des jetons dans les
2 Les tâches? places.
2 Des transitions.

[Link]@[Link] Chapter 2. Business Process Modeling 28 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: BP vs RdP

BP
RdP
1 L’état d’un processus? 1 Distribution des jetons dans les
2 Les tâches? places.
3 Ressources et 2 Des transitions.
disponibilités des
informations?

[Link]@[Link] Chapter 2. Business Process Modeling 28 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: BP vs RdP

BP
RdP
1 L’état d’un processus? 1 Distribution des jetons dans les
2 Les tâches? places.
3 Ressources et 2 Des transitions.
disponibilités des 3 Jetons dans les places d’entrée.
informations?

[Link]@[Link] Chapter 2. Business Process Modeling 28 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: BP vs RdP

BP
RdP
1 L’état d’un processus? 1 Distribution des jetons dans les
2 Les tâches? places.
3 Ressources et 2 Des transitions.
disponibilités des 3 Jetons dans les places d’entrée.
informations?
4 Résultats, produits?

[Link]@[Link] Chapter 2. Business Process Modeling 28 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: BP vs RdP

BP
RdP
1 L’état d’un processus? 1 Distribution des jetons dans les
2 Les tâches? places.
3 Ressources et 2 Des transitions.
disponibilités des 3 Jetons dans les places d’entrée.
informations?
4 Jetons dans les places de sortie.
4 Résultats, produits?

[Link]@[Link] Chapter 2. Business Process Modeling 28 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: RdP à Objets (1)

Enrichissement des jetons: discernables et typés;

chaque place est associée à un type;
un jeton est un objet (attributs, méthodes) du type associé à
sa place;
les arcs sont étiquetés par des variables, paramètres formels
des transitions;
le franchissement est conditionné par le principe de
semi-unification variable/jeton;
le franchissement peut être conditionné par un test sur la
valeur des jetons;
les jetons fixent la valeur des jetons produits.

[Link]@[Link] Chapter 2. Business Process Modeling 29 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: RdP à Objets (2)

[Link]@[Link] Chapter 2. Business Process Modeling 30 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: RdP à Objets (3)

[Link]@[Link] Chapter 2. Business Process Modeling 31 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Fondements théoriques de RdP (1)

Définition 11. RdP

Un Réseau de Petri R est défini par R=(P,T,W), où
P est un ensemble fini de places {p1 , . . . , pm },
T est un ensemble fini de transitions {t1 , . . . , tn },
W est la fonction de valuation:
W : (P × T ) ∪ (T × P) → IN

[Link]@[Link] Chapter 2. Business Process Modeling 32 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Fondements théoriques de RdP (2)

Définition 12. Marquage

Un marquage M d’un RdP est une fonction de P dans IN. Ce
marquage est un vecteur colonne dont les composantes
représentent le nombre de jetons dans chaque place: la i ième
composante de ce vecteur correspond au nombre de jetons dans la
i ième place. Il indique à un instant donné l’état du RdP.
Un Réseau de Petri marqué est défini par Rm = (R, M0 ), où R est
un RdP et M0 est un marquage, appelé marquage initial.

[Link]@[Link] Chapter 2. Business Process Modeling 33 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Fondements théoriques de RdP (3)

Soit R=(P,T,W) un RdP, avec:

P = {p1 , . . . , pm } et T = {t1 , . . . , tn }.
Définition 13. Matrice de Précondition (ou d’Entrée)
On appelle matrice de Précondition notée Pre, est une application
de P × T → IN qui contient la valeur entière n associée à l’arc
allant de p à t. Cette matrice, a pour dimension m × n, est définie
par Pre(p, t) = W (pi , tj ).

[Link]@[Link] Chapter 2. Business Process Modeling 34 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Fondements théoriques de RdP (4)

Définition 14. Matrice de Postcondition (ou de Sortie)

On appelle matrice de Postcondition notée Post, est une
application de T × P → IN qui contient la valeur entière n
associée à l’arc allant de t à p. Cette matrice, a pour dimension
m × n, est définie par Post(p, t) = W (tj , pi ).

Définition 15. Matrice d’Incidence

La matrice C = Post − Pre est appelée matrice d’Incidence du
RdP.

[Link]@[Link] Chapter 2. Business Process Modeling 35 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Exemple de repré. matricielle (1)

[Link]@[Link] Chapter 2. Business Process Modeling 36 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Exemple de repré. matricielle (1)

Questions:

1 Indiquer le marquage initial.

2 Etablir la matrice de Précondition.
3 Etablir la matrice de Postcondition.
4 Etablir la matrice d’Incidence.

[Link]@[Link] Chapter 2. Business Process Modeling 36 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Exemple de repré. matricielle (2)

[Link]@[Link] Chapter 2. Business Process Modeling 37 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Exemple de repré. matricielle (2)

Solution:

[Link]@[Link] Chapter 2. Business Process Modeling 37 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Exemple de repré. matricielle (2)

Solution:

Abréviation: on note Pre(.,t), Post(.,t) et C(.,t) les colonnes de ces matrices associées à une transition t.

[Link]@[Link] Chapter 2. Business Process Modeling 37 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Fondements théoriques de RdP (5)

Définition 16. Dynamique de RdP: Validation d’une transition

Une transition tj est valide (on dit aussi sensibilisée) si toutes ses
places d’entrée contiennent au moins un jeton. Soit ∀pi ∈ P
(Les pi sont toutes les places d’entrée de tj ), M(pi ) > 0 .

Définition 17. Dynamique de RdP: Franchissement d’une transition

Une transition tj est franchissable (ou encore tirable) si et
seulement si elle est déjà valide et ∀pi ∈ P, M(pi ) ≥ Pre(pi , tj )
(condition nécessaire).

[Link]@[Link] Chapter 2. Business Process Modeling 38 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Fondements théoriques de RdP (6)

Définition 18. Dynamique de RdP: Nouveau Marquage

Si tj est franchissable pour le marquage M, le franchissement de tj
donne le nouveau marquage M 0 tel que:
∀pi ∈ P, M 0 (pi ) = M(pi ) − Pre(pi , tj ) + Post(pi , tj )
Autrement: La j ime colonne de la matrice d’incidence C donne donc la variation du nombre de jetons dans
0
chaque place lors du franchissement de la transition tj . On peut par conséquent établir le nouveau marquage M à
partir du marquage M par franchissement de la transition tj en appliquant la règle suivante:

 
 :0 
∀pi ∈ P, M 0 (pi ) = M(pi ) + C 1 ← transition tj
: 
0

[Link]@[Link] Chapter 2. Business Process Modeling 39 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Fondements théoriques de RdP (7)

Définition 19. Dynamique de RdP: Séquence de franchissement

Le franchissement successif de transitions dans un ordre donné à
partir d’un marquage donné constitue une séquence de
franchissement.
Par exemple, la séquence qui conduit du marquage M0 au
marquage M2 peut être notée:
S1 = t1 t2 ou M0 (S1 → M2 ), ou encore M0 [S1 > M2 ) .
L’équation fondamentale d’un marquage Mk à partir d’un
marquage Mi est: Mk = Mi + C .S T .
Cette équation permet de calculer en une seule opération, sans parcourir le réseau, le marquage obtenu après le
franchissement de la séquence complète.
NB : S T est le vecteur caractéristique de la séquence S en précisant pour chaque transition le nombre de fois où
la transition est franchie dans la séquence.

[Link]@[Link] Chapter 2. Business Process Modeling 40 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Exemple en utili. l’algèbre lin. (1)

[Link]@[Link] Chapter 2. Business Process Modeling 41 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Exemple en utili. l’algèbre lin. (1)

Questions:

1 Indiquer les transitions valides pour M0 .

2 Indiquer les transitions franchissables pour M0 .
3 À quel marquage conduit le franchissement de la transition t1 à partir
de M0 . Soit M1 ce nouveau marquage. (Résolution graphique et
algébrique)
4 À partir du marquage M1 , le tir de t2 , donne le nouveau marquage M2 .
Ètablir M2 en utilisant l’algèbre linéaire.
5 Est-il possible d’obtenir M2 à partir de M0 . Expliquez.

6 Que peut-on dire de la séquence de franchissement S=t1 t2 ?

[Link]@[Link] Chapter 2. Business Process Modeling 41 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Exemple en utili. l’algèbre lin. (2)

[Link]@[Link] Chapter 2. Business Process Modeling 42 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Exemple en utili. l’algèbre lin. (2)

Solution:

1 t1 et t3 sont valides car M0 (p2 )>0.

[Link]@[Link] Chapter 2. Business Process Modeling 42 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Exemple en utili. l’algèbre lin. (2)

Solution:

1 t1 et t3 sont valides car M0 (p2 )>0.

2 t1 et t3 sont franchissables car M0 > Pre(., t1 ) et M0 = Pre(., t3 ).

[Link]@[Link] Chapter 2. Business Process Modeling 42 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Exemple en utili. l’algèbre lin. (2)

Solution:

1 t1 et t3 sont valides car M0 (p2 )>0.

2 t1 et t3 sont franchissables car M0 > Pre(., t1 ) et M0 = Pre(., t3 ).
3 M1 = [1 2 0]T

[Link]@[Link] Chapter 2. Business Process Modeling 42 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Exemple en utili. l’algèbre lin. (2)

Solution:

1 t1 et t3 sont valides car M0 (p2 )>0.

2 t1 et t3 sont franchissables car M0 > Pre(., t1 ) et M0 = Pre(., t3 ).
3 M1 = [1 2 0]T
4 M2 = M1 + C × [0 1 0 0]T

[Link]@[Link] Chapter 2. Business Process Modeling 42 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Exemple en utili. l’algèbre lin. (2)

Solution:

1 t1 et t3 sont valides car M0 (p2 )>0.

2 t1 et t3 sont franchissables car M0 > Pre(., t1 ) et M0 = Pre(., t3 ).
3 M1 = [1 2 0]T
4 M2 = M1 + C × [0 1 0 0]T
5 M2 = M0 + C × [1 1 0 0]T

[Link]@[Link] Chapter 2. Business Process Modeling 42 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Exemple en utili. l’algèbre lin. (2)

Solution:

1 t1 et t3 sont valides car M0 (p2 )>0.

2 t1 et t3 sont franchissables car M0 > Pre(., t1 ) et M0 = Pre(., t3 ).
3 M1 = [1 2 0]T
4 M2 = M1 + C × [0 1 0 0]T
5 M2 = M0 + C × [1 1 0 0]T

6 Le tir de la séquence S = t1 t2 conduit au même marquage initial. Cette

séquence est alors répétitive.

[Link]@[Link] Chapter 2. Business Process Modeling 42 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Fondements théoriques de RdP (8)

Définition 20. Dynamique de RdP: Marquages Accessibles

L’ensemble des marquages accessibles d’un RdP à partir d’un
marquage initial donné, correspond à l’ensemble des marquages
atteint après franchissement de transitions sensibilisées les unes
après les autres; ce qui correspond à toutes les situations possibles
du RdP au cours de son évolution à partir du marquage initial.
L’ensemble des marquages accessibles, A(R; M0 ) , pour un
RdP est: A(R; M0 ) = {M0 , M1 , Mt , . . . } .

[Link]@[Link] Chapter 2. Business Process Modeling 43 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Fondements théoriques de RdP (9)

Définition 21. Dynamique de RdP: Graphe des marquages

L’évolution du RdP peut être représentée sous la forme d’un
graphe des marquages GA(R; M0 ) , dont les sommets
correspondent aux marquages accessibles.
NB : On utilise le graphe de marquages quand le nombre de
marquages accessibles est fini.

[Link]@[Link] Chapter 2. Business Process Modeling 44 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Exemple en cours d’évolution (1)

[Link]@[Link] Chapter 2. Business Process Modeling 45 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Exemple en cours d’évolution (1)

Questions:

1 Determiner l’ensemble de marquages accessibles depuis le marquage

initial M0 .
2 En deduire l’évolution du RdP par un graphe des marquages.

3 Représenter ce graphe des marquages sous forme d’un organigramme.

[Link]@[Link] Chapter 2. Business Process Modeling 45 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Exemple en cours d’évolution (2)

Solution:

1 A(R; M0 ) = {M0 , M1 , M2 , M3 , M4 }.

[Link]@[Link] Chapter 2. Business Process Modeling 46 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Exemple en cours d’évolution (2)

Solution:

2 L’évolution du RdP peut être représentée sous la forme d’un

graphe des marquages GA(R; M0 ), dont dont les sommets
correspondent aux marquages accessibles.

[Link]@[Link] Chapter 2. Business Process Modeling 46 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Exemple en cours d’évolution (2)

Solution:

3 il est possible de représenter GA(R; M0 ) sous forme d’un

organigramme. Ainsi pour l’exemple ci-dessous, on aura:

[Link]@[Link] Chapter 2. Business Process Modeling 46 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Fondements théoriques de RdP (10)

Définition 22. Proriétés de RdP - Conflit structurel

Deux transitions ti et tj sont en conflit structurel ssi elles ont au
moins une place d’entrée en commun:
3 pk ∈ P tel que Pre(pk , ti ) × Pre(pk , tj ) 6= 0 .
NB : On dit aussi un conflit structurel correspond à l’existence
d’une place pk qui a au moins deux transitions de sortie ti et tj .

[Link]@[Link] Chapter 2. Business Process Modeling 47 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Fondements théoriques de RdP (11)

Définition 23. Proriétés de RdP - Conflit effectif

Deux transitions ti et tj sont en conflit effectif pour un marquage
M ssi elles sont en conflit structurel et que:
M(pk ) ≥ Pre(pk , ti ) et M(pk ) ≥ Pre(pk , tj ) .
Autrement dit : Il y a assez de jetons pour que l’une des deux
transitions ti ou tj (exclusivement) soit franchie mais pas les deux
à la fois.

[Link]@[Link] Chapter 2. Business Process Modeling 48 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Fondements théoriques de RdP (12)

Définition 24. Proriétés de RdP - Parallélisme structurel

Deux transitions ti et tj sont parallèles structurellement ssi :
(Pre(., ti ))T × Pre(., tj ) = 0 .
NB : Elles n’ont donc aucune place d’entrée commune (le produit
scalaire de leurs vecteurs Pre est nul).

[Link]@[Link] Chapter 2. Business Process Modeling 49 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Fondements théoriques de RdP (13)

Définition 25. Proriétés de RdP - Parallélisme effectif

Deux transitions ti et tj sont effectivement parallèles pour un
marquage donné M ssi elles sont parallèles structurellement et que :
M(pk ) ≥ Pre(pk , ti ) et M(pk 0 ) ≥ Pre(pk 0 , tj ) .
Autrement dit : Il y a assez de jetons pour que les deux transitions
ti ou tj soient franchies au même temps.

[Link]@[Link] Chapter 2. Business Process Modeling 50 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Exemple Conflit et Parallélisme (1)

[Link]@[Link] Chapter 2. Business Process Modeling 51 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Exemple Conflit et Parallélisme (1)

Questions:

1 Conflits: Supposons que le marquage est M0 . Que peut-on dire de t1 et

t3 ? De t2 et t4 ?
2 Parallélisme: Même question?
3 Parallélisme: Que se passe-t-il pour t2 et t4 si le marquage devient
M 0 = [1 0 1]T ?

[Link]@[Link] Chapter 2. Business Process Modeling 51 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Exemple Conflit et Parallélisme (2)

Solution:

1 Conflits:

[Link]@[Link] Chapter 2. Business Process Modeling 52 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Exemple Conflit et Parallélisme (2)

Solution:

2 Parallélisme pour le marquage initial:

[Link]@[Link] Chapter 2. Business Process Modeling 52 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Exemple Conflit et Parallélisme (2)

Solution:

3 Parallélisme pour le marquage M 0 :

[Link]@[Link] Chapter 2. Business Process Modeling 52 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Fondements théoriques de RdP (14)

Définition 26. Proriétés vérifiables avec les RdP

Terminaison finie: est-ce que tout processus se termine?
Réseau borné: le nombre de configurations possible du système
est-il fini?
Accessibilité: existe-il une évolution du système conduisant à une
configuration donnée (souhaitée, non souhaitée)?
Vivacité: une action donné est-elle toujours possible? (pas de
partie morte, pas de blocage dû à la structure du réseau)?
Quasi-vivacité: existe-t-il une configuration du système
permettant l’exécution d’une action donnée?

[Link]@[Link] Chapter 2. Business Process Modeling 53 / 58

 Introduction Modélisation en BPMN
Notions de base Modélisation en BPEL
Dimension logique Modélisation en YAWL
Conclusion Modélisation par RdP

Modélisation par RdP: Fondements théoriques de RdP (15)

Analyse de proriétés: 3 types

Validation: tester que le workflow se comporte comme convenu;
Vérification: établir la fiabilité;
Performance: temps de réponse, qualité des services, l’utilisation
des ressources.

[Link]@[Link] Chapter 2. Business Process Modeling 54 / 58

 Introduction
Notions de base
Dimension logique
Conclusion

Résumé

La modélisation de processus par RdP permet de les simuler,

les analyser et les vérifier.
Ces vérifications peuvent mettre en évidence des
dysfonctionnements non visibles, c-à-d suivre le
fonctionnement des processus pour détecter les faiblesses.

[Link]@[Link] Chapter 2. Business Process Modeling 55 / 58

 Introduction
Notions de base
Dimension logique
Conclusion

Références (1)
Ouvrages et articles:
T. Schael, «Théorie et pratique du workflow : des processus
métiers renouvelés», Springer, 1997.
W.M.P. van der Aalst, K.M. van Hee, «Workflow
Management: Models, Methods and Systems», ISBN
0-262-01189-1. MIT Press, 2002.
M. Dumas, W.M.P. Van Der Aalst, and A.H. M. ter Hofstede.
Process Aware Information Systems, Wiley, 2005.
C. Morley, J-H., Bernard Leblanc, O. Hugues, «Processus
métiers et S.I.: Evaluation, modélisation et mise en oeuvre»,
Edition Dunod, 2005.
R. Allen, «Workflow: An Introduction», WfMC External
Relations Committee.
[Link]@[Link] Chapter 2. Business Process Modeling 56 / 58
 Introduction
Notions de base
Dimension logique
Conclusion

Références (2)

Cours:
Cours de C. Hanachi, «Introduction au Workflow», IRIT,
Université de Toulouse.
Cours de C. Godart, «Les processus métiers : concepts,
modèles et systèmes», Université de Lorraine, ESSTIN.
Cours de D. Georgakopoulos, «Realizing the Workflow
Paradigm in Products, Methodologies, Infrastructure, and
Current Research».

[Link]@[Link] Chapter 2. Business Process Modeling 57 / 58

 Introduction
Notions de base
Dimension logique
Conclusion

Références (3)

Webographie:
Workflow Management Coalition:
[Link]
Workflow Pattern: [Link]
Process mining: [Link]
...
Tools:
BPM with YAWL
YAWL
Process Mining tools
...

[Link]@[Link] Chapter 2. Business Process Modeling 58 / 58