CPN-Maple: un outil pour l'analyse des réseaux de Petri ordinaires

M. Zouaoui

IBP-Masi 1995/16: Rapport de Recherche Masi / Masi research reports
19 pages - Mai/May 1995 - French document.

PostScript : Ko /Kb

Titre / Title: CPN-Maple: un outil pour l'analyse des réseaux de Petri ordinaires


Résumé : L'objectif de ce projet est d'automatiser la validation formelle des réseaux de Petri ordinaires. Nous proposons, parmi les outils existants, une interface Maple dans l'atelier AMI à des fins de vérification des propriétés des réseaux de Petri.
Grâce à la simplicité de sa syntaxe et la puissance de son calcul, Maple est l'un des langages de calcul formel permettant un prototypage rapide des applications d'analyse et de vérification des propriétés des systèmes distribués.
Nous avons construit une librairie de fonctions Maple permettant la vérification des propriétés structurelles et comportementales des réseaux de Petri. Grâce à cette librairie, l'utilisateur peut procéder à des opérations d'analyse et de manipulation des réseaux dessinés sous l'éditeur de graphe MACAO. Ainsi, il peut créer, modifier et analyser de façon interactive des réseaux de Petri via l'outil Maple. Selon le type de la question posée, le résultat obtenu peut avoir un impact direct sur le réseau donné tout en gardant une cohérence parfaite entre le schéma MACAO et la structure interne de ce réseau.

Abstract : The purpose of this work is to automate the formal validation of place/transition Petri nets. We propose to integrate, among existing tools, a Maple interface into the AMI environment for the verification of Petri net properties.
Thanks to its simple syntax and its power in formal calculus, Maple is one of formal languages allowing a quick prototyping of applications to analyze and verify distributed system properties.
We have built a library of Maple functions in order to verify structural and behavioral Petri net properties. This library allows a user to analyze and manipulate the nets given in graphical editor MACAO. Thus, the user can create, modify or manipulate interactively the Petri nets via the Maple tool. Depending on the type of question, the result can have some impact directly on the given net, while keeping a perfect coherence between the MACAO graph and the internal structure of the net.


Publications internes Masi 1995 / Masi research reports 1995