Petri Nets

Question 1

What is a Petri Net?

Answer 1

• Technique for describing & analysing concurrent systems.
• Formal, graphical notation.
• Consists of:
  
  • P - A finite set of places
  • T - A finite set of transitions
  • F - the flow relation
• Includes presets and postsets

Question 2

What are the 2 main uses of Petri Nets in modelling business processes?

Answer 2

1. Specification of business processes.
2. Analysis of properties, verfication of behavioral correctness, simulation.

Question 3

Characteristics of a place (Petri Nets)

Answer 3

• Used to model states
• Can be the input or output of a transition
• Visualised as circles

Question 4

Characteristics of a transition (Petri Nets)

Answer 4

• Used to model activities
• Can be the input or output of places
• Visualised as rectangles