Diagnostic de systèmes complexes: accessibilité arrière: Contributions à l'analyse formelle et au diagnostic à partir de réseaux de Petri colorés avec l'accessibilité arrière | DealShopping Deutschland