1. GRASPIN IS BASED ON A WELL ENGINEERED MERGE OF TWO WIDELY ACCEPTED COMPLEMENTARY METHODS : HIGH-LEVEL PETRI-NET SPECIFICATIONS OF CONCURRENT ACTIVITIES AND AXIOMATIC-ALGEBRAIC SPECIFICATIONS OF ABSTRACT DATA TYPES .

GRASPIN SE FONDE SUR LA FUSION , BIEN ENCADREE SUR LE PLAN DE L'INGENIERIE , DE DEUX METHODES COMPLEMENTAIRES LARGEMENT CONNUES : LA SPECIFICATION D'ACTIVITES CONCURRENTES UTILISANT LE RESEAU DE PETRI A HAUT NIVEAU ET LA SPECIFICATION AXIOMATIQUE-ALGEBRIQUE DE TYPES DE DONNEES ABSTRAITES .