Garantie de satisfaction à 100% Disponible immédiatement après paiement En ligne et en PDF Tu n'es attaché à rien
logo-home
Recherché précédemment par vous
Recherché précédemment par vous
logo
Samenvatting stof 'Procesmodelleren' deeltoets B [] €4,49
Ajouter au panier
Accédez rapidement à
Aperçu
  2.  
  3. Universiteit Utrecht (UU)
  4.  
  5. Procesmodelleren (INFOB1PROM)

Resume

Samenvatting stof 'Procesmodelleren' deeltoets B []

3 revues
 7 fois vendu
  • Cours
  • Procesmodelleren (INFOB1PROM)
  • Établissement
  • Universiteit Utrecht (UU)
  • Book
  • Modeling Business Processes

Procesmodelleren staat bekend als een lastig toepassingsvak waar veel mee gestruggeled wordt met het begrijpen van de stof. Vaak is het de kunst om de stof in de hoorcolleges te vertalen naar iets wat je makkelijker kan begrijpen. Dat is precies wat ik met veel inspanning en energie heb gedaan, en ...

[Montrer plus]

Aperçu 2 sur 11  pages

Infos sur le Document

  • Oui
  • 21 juin 2021
  • 11
  • 2020/2021
  • Resume

Sujets

  • infob1prom
  • informatiekunde
  • uu informatiekunde
  • uu inku
  • inku
  • informatiekunde utrecht
  • procesmodelleren
  • procesmodelleren deel 2
  • procesmodeller
  • uu
  • procesmodelleren deeltoets b
  • samenvatting procesmodelleren

Livre connecté

book image

Titre de l’ouvrage:

Auteur(s):

  • Édition:
  • ISBN:
  • Édition:

Plus de résumés pour

  • Samenvatting stof 'Procesmodelleren' deeltoets A [2023-2024]
Tout pour ce livre (2)

École, étude et sujet

  • Universiteit Utrecht (UU)
  • Informatiekunde
  • Procesmodelleren (INFOB1PROM)
Tous les documents sur ce sujet (3)

3  revues

review-writer-avatar

Par: koendewilde2005 • 8 mois de cela

review-writer-avatar

Par: gmitrovska • 1 année de cela

review-writer-avatar

Par: mootjemaa • 2 année de cela

Vendeur

avatar-seller
semstroop

Avis reçus

Aperçu du contenu

Petri nets with data – PART 2
If you want to run a workflow net for multiple instances/tokens, you add a start and end
transition to the net. The start-transition is always enabled and can always fire a token.
This results in new methods to check if the net is sound:


K-sound: a net is k-sound if:
• Weak termination: if you have k tokens in the initial marking, then you should
end up with k tokens in the final marking (and: it should always be possible to
reach a marking where only the final place is marked)
• Proper completion: once the final place has k tokens, there are no other tokens
pending in the net
• All transitions are reachable


Up-to-k sound: a net is up-to-k-sound if:
- If a net is sound for every amount of tokens up till k tokens. So: if k = 4, then it
needs to be 1/2/3/4 sound. 1 sound
PS: 1-sound means that the net is sound when having 1 token. The
net below has a livelock (2 tokens are needed in order to fire D) so
it’s not 1-sound. However, the net is 2-sound, which means that in
any situation/marking, the tokens can follow a route to end up in
the final state. PS: the different tokens don’t have to be fired at the same time.


Generalized soundness:
- If a free choice net is 1-sound, then it’s generalized sound
- If a Jackson net is 1-sound, then it’s generalized sound



Colored tokens
In the model on the right, the tokens in p and s are from instance 1 and the tokens
in q and r are from instance 2. However, D doesn’t see the difference and just fires.
What to do about this? → give the tokens a color. A transition is now enabled if the
color of the tokens are the same.
In order to make sure that only one color tokens at a time goes through the split
part of the process, we add a place of some resource. It’s consumed at the
beginning of the split processes and produced back at the end, after which a new
color can go through the split thing in the model. If you need 1+ tokens in the resource
place, for example if you need the resource in another part of the model too, then you
should use (different) colors for the resource-tokens as well.

, Read token as:
agent(a1)

Another way to work with multiple tokens is to use identifiers. A token
often represents multiple real-life entities/elements. They are then
called ‘vectors of identifiers’. The size of the vector is defined by the
amount of elements that the place that the token is in represents. You
can see the place as the relation type. The tokens are the actual relations.
All the different place-identifiers are the entity types . PS: you can give
the arcs the token-names, for example call the arcs going towards
transition A ‘a’ from agent and ‘c’ from case, and call the tokens that A
produces in places p and q ‘c,a’ and ‘c,a’.
Remember: a start event generates a new identifier/case/instance, and
so does an arrow that has a variable which isn’t on one of the ingoing
arcs.
a1,c1 How can you check whether a transition can fire
or not? → you construct a mode by linking the
a1,c3 variables on the arcs with the token identifiers,
and then you check if the transition can fire for
that mode.
A mode is all possible identifiers that the
different variables on the arcs can represent. So,
in this case is this the mode:
a1,b1,c1

a2,b1,c3

Since ‘w’ is not on an ingoing arc, you create a
new identifier for that, in this case ‘d’. So now you just check if there is a possible
combination for which the transition can fire. And there is: x:a1 / y:b1 / z:c1 / w:d1.
So this basically says that if all x’s are a1, all y’s are b1 etc, that the transition can fire
since every input place has at least 1 token that matches this mode. Token a1,c1 in place
1 matches this mode, and token a1,b1,c1 in place 3 matches this mode too. So, yes: this
transition can fire. PS: place 2 has no identifiers and thus doesn’t need to match the
mode or something.
In a model or net, you check per transition what the modes are and which one works.

Les avantages d'acheter des résumés chez Stuvia:

Qualité garantie par les avis des clients

Qualité garantie par les avis des clients

Les clients de Stuvia ont évalués plus de 700 000 résumés. C'est comme ça que vous savez que vous achetez les meilleurs documents.

L’achat facile et rapide

L’achat facile et rapide

Vous pouvez payer rapidement avec iDeal, carte de crédit ou Stuvia-crédit pour les résumés. Il n'y a pas d'adhésion nécessaire.

Focus sur l’essentiel

Focus sur l’essentiel

Vos camarades écrivent eux-mêmes les notes d’étude, c’est pourquoi les documents sont toujours fiables et à jour. Cela garantit que vous arrivez rapidement au coeur du matériel.

Foire aux questions

Qu'est-ce que j'obtiens en achetant ce document ?

Vous obtenez un PDF, disponible immédiatement après votre achat. Le document acheté est accessible à tout moment, n'importe où et indéfiniment via votre profil.

Garantie de remboursement : comment ça marche ?

Notre garantie de satisfaction garantit que vous trouverez toujours un document d'étude qui vous convient. Vous remplissez un formulaire et notre équipe du service client s'occupe du reste.

Auprès de qui est-ce que j'achète ce résumé ?

Stuvia est une place de marché. Alors, vous n'achetez donc pas ce document chez nous, mais auprès du vendeur semstroop. Stuvia facilite les paiements au vendeur.

Est-ce que j'aurai un abonnement?

Non, vous n'achetez ce résumé que pour €4,49. Vous n'êtes lié à rien après votre achat.

Peut-on faire confiance à Stuvia ?

4.6 étoiles sur Google & Trustpilot (+1000 avis)

65004 résumés ont été vendus ces 30 derniers jours

Fondée en 2010, la référence pour acheter des résumés depuis déjà 15 ans

Commencez à vendre!

Récemment vu par vous

Examen ·

(0)

Sherpath- HER Questions and Answers Rated A+

Examen ·

(0)

AUDITING A PRACTICAL APPROACH WITH DATA ANALYTICS 2ND EDITION BY RAYMOND N JOHNSON, LAURA DAVIS WILEY, ROBYN MORONEY, FIONA CAMPBELL, JANE HAMILTON (CHAPTER 1_16) SOLUTIONS MANUAL

€4,49  7x  vendu
  • (3)
Ajouter au panier
Ajouté