An Introduction to Petri nets and how to analyse them... G. Geeraerts Groupe de Vérification - Département d’Informatique Université Libre de Bruxelles 1 Introduction 2 Introduction • Concurrency: property of a “system” in which many “entities” act at the same time and interact. • Often found in many application: • Computer science (e.g.: parallel computing) • Workflow • Manufacturing systems • .... 3 Introduction Concurrency 4 Introduction Concurrency Work in parallel 4 Introduction Concurrency Must wait for the two other machines Work in parallel 4 Introduction Concurrency Can write or read on the DB Can write or read on the DB 5 Introduction Concurrency Boss 6 Introduction Concurrency Boss 6 Introduction Concurrency Boss Employees: work in parallel 6