Petri Netze

Introduction

Les réseaux de Petri sont un modèle pour décrire des processus dans des systèmes techniques, surtout parallèles.