SANDRINE : an Analysis System for the Declaration of AMI-Nets

Denis Archambaud, Pascal Faudemay

IBP-Masi 1992/20: Rapport de Recherche Masi / Masi research reports
11 pages - Novembre/November 1992 - Document en anglais.

PDF : 144 Ko /Kb

Titre / Title: SANDRINE : an Analysis System for the Declaration of AMI-Nets

Résumé :

La description d'un réseau de Petri de haut-niveau comporte, outre la liste usuelle des places et des transitions, un certain nombre d'informations spécifiques et présentées sous forme textuelle, telles que les domaines de couleur ou les expressions des fonctions sur les arcs. Cette information n'est exploitable par des outils de calcul qu'à condition d'être décrite suivant une syntaxe préalablement définie. SANDRINE est un analyseur dont le rôle est d'effectuer un maximum de vérifications sur la syntaxe et la sémantique d'un modèle en vue de pouvoir étudier celui-ci avec les outils intégrés dans l'atelier AMI. Les modèles reconnus par l'analyseur correspondent au formalisme des AMI-Nets intégré dans l'atelier. Ce formalisme est dérivé du modèle théorique des réseaux bien formés dont la puissance d'expression est identique à celle des réseaux colorés généraux. Il est utilisé actuellement par les outils de prototypage, de calcul de flots et de réductions, et d'analyse de propriétés de type conflit.

Abstract :

Besides the usual list of places and transitions, the description of a high-level Petri net model includes some specific textual information, such as the color domains or the expression of valuation functions. This information can be used by software tools only if it is described according to a well defined syntax. SANDRINE is an analyzer that aims at performing a maximum of checks on the syntax and the semantics of a model so that this model can be studied with the tools integrated in the AMI CASE. The models accepted by the analyzer correspond to the AMI-Net formalism defined in the CASE. This formalism is derived from the theoretical model of Well-Formed Nets whose modelling power is identical to that of general colored nets. At present, it is used by prototyping tools, flow computation and reduction tools, together with tools analyzing conflict-like properties.

Publications internes Masi 1992 / Masi research reports 1992