Modelling languages
1. BPM – see poster
2. Petri nets


A Petri net system (P, T, F, m0) consists of a Petri net (P, T, F) and a distinguished marking m 0, which
is the initial marking.
 A transition can fire when it contains at least one token in each of its input places
 When a transition fires:
o It consumes one token from each of its input places
o It produces one token in each of its output places
 Workflow nets are a subclass of Petri nets typically used for modelling processes:
o One input place (source place), one output place (sink place)
o The net is strongly connected: there is a directed path between any pair of nodes
Sequence pattern

Parallel split pattern (AND-split):
after A both B and C

Synchronization pattern (AND-
join): D can only follow after both B
and C are executed

Exclusive choice pattern (XOR-
split): after A either B or C

23

, Simple merge (XOR-join): D after B
or after C

Structured loop pattern: Multiple
B’s

3. Declare (declarative process modelling language)

 Modeling: with symbolic arcs, e.g. Response(A,B)
 Captures the notion of rules which can be satisfied in multiple ways:
o Satisfied: the constraint is satisfied
o Temporarily violated: the constraint is not fulfilled, but can still become fulfilled in the
future
o Permanently violated: the constraint is violated and cannot become fulfilled anymore
 Execution: for this, regular expressions are used which can be represented as finite state machines

24

Dit zijn jouw voordelen als je samenvattingen koopt bij Stuvia:

Bewezen kwaliteit door reviews

Studenten hebben al meer dan 850.000 samenvattingen beoordeeld. Zo weet jij zeker dat je de beste keuze maakt!

In een paar klikken geregeld

Geen gedoe — betaal gewoon eenmalig met iDeal, Bancontact of creditcard en je bent klaar. Geen abonnement nodig.

Focus op de essentie

Studenten maken samenvattingen voor studenten. Dat betekent: actuele inhoud waar jij écht wat aan hebt. Geen overbodige details!

Veelgestelde vragen

Wat krijg ik als ik dit document koop?

Je krijgt een PDF, die direct beschikbaar is na je aankoop. Het gekochte document is altijd, overal en oneindig toegankelijk via je profiel.

Tevredenheidsgarantie: hoe werkt dat?

Onze tevredenheidsgarantie zorgt ervoor dat je altijd een studiedocument vindt dat goed bij je past. Je vult een formulier in en onze klantenservice regelt de rest.

Van wie koop ik deze samenvatting?

Stuvia is een marktplaats, je koop dit document dus niet van ons, maar van verkoper HIRb2. Stuvia faciliteert de betaling aan de verkoper.

Zit ik meteen vast aan een abonnement?

Nee, je koopt alleen deze samenvatting voor €4,39. Je zit daarna nergens aan vast.

Is Stuvia te vertrouwen?

4,6 sterren op Google & Trustpilot (+1000 reviews)

Afgelopen 30 dagen zijn er 68175 samenvattingen verkocht

Opgericht in 2010, al 15 jaar dé plek om samenvattingen te kopen

Start met verkopen

Samenvatting

Summary of all the business modelling languages that you need to know for the course Business Analysis

Document informatie

Onderwerpen

Geschreven voor

Verkoper

Ontvangen beoordelingen

Voorbeeld van de inhoud