Publié le 17 juin 2025 – Mis à jour le 17 juin 2025

Ce colloque est organisé par le Laboratoire d'Informatique de Paris Nord (LIPN, Université Paris Nord), le Campus Condorcet, le Groupe Méthodes Formelles pour les Systèmes Logiciels et Matériels (MeFoSyLoMa) et le Centre national de la recherche scientifique.

Date(s)

du 23 juin 2025 au 27 juin 2025

de 8h30 à 18h
Lieu(x)

Centre des colloques

Place du Front populaire, Aubervilliers
Salle 100 (lundi 23 et mardi 24),
Auditorium 250 (mercredi 25 au vendredi 27)
Type(s) d'évènements
Colloque
Le 46e congrès international sur l'application et la théorie des réseaux de Petri et de la concurrence (Petri Nets 2025) est organisé par l'équipe SAFER du Laboratoire d'Informatique de Paris Nord (LIPN), Université Sorbonne Paris Nord et le Campus Condorcet, conjointement avec les membres du groupe MeFoSyLoMa.

Ce congrès international est le principal congrès international sur les réseaux de Petri, les modèles de concurrence et les algorithmes associés pour la spécification et la vérification.