Show simple item record

dc.contributor.authorEvangelista, Sami
dc.contributor.authorHaddad, Serge
HAL ID: 745039
dc.contributor.authorPradat-Peyre, Jean-François
dc.date.accessioned2009-12-17T10:48:35Z
dc.date.available2009-12-17T10:48:35Z
dc.date.issued2004
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/2754
dc.description.abstractfrUne abstraction structurelle du modèle analysé permet de réduire très efficacement la complexité d’une méthode d’analyse basée sur l’énumération des états accessibles. Nous présentons dans cet article des réductions pertinentes de réseaux colorés construites sur de nouvelles réductions de réseaux de Petri ordinaires. Ces réductions ne font appel qu’à des conditions structurelles ou algébriques. Elles préservent la vivacité du modèle mais aussi toute formule LTL qui n’observe pas les transitions réduites du réseau. L’utilisation conjointe de conditions structurelles et algébriques permet d’élargir significativement le domaine d’application de ces réductions. De plus la définition de ces réductions est paramètrée vis à vis du cardinal des domaines de couleurs.en
dc.language.isoenen
dc.subjectSoftware Validationen
dc.subjectReductionsen
dc.subjectHigh-level Petri netsen
dc.subject.ddc005en
dc.titleDe nouvelles réductions colorées pour la validation de logicielsen
dc.typeArticle accepté pour publication ou publié
dc.contributor.editoruniversityotherCNAM, Paris;France
dc.description.abstractenStructural model abstraction is a powerful technique for reducing the complexity of a state based enumeration analysis.We present in this paper accurate reductions for high-level Petri nets based on new ordinary Petri nets reductions. These reductions involve only structural and algebraical conditions. They preserve the liveness of the net and any LTL formula that does not observe the reduced transitions of the net. The mixed use of structural and algebraical conditions significantly enlarges their application area. Furthermore the specification of the transformation is parametric with respect to the cardinalities of coloured domains.en
dc.relation.isversionofjnlnamee-STA
dc.relation.isversionofjnlvol3en
dc.relation.isversionofjnldate2004
dc.description.sponsorshipprivateouien
dc.relation.isversionofjnlpublisherSociété de l'électricité, de l'électronique et des technologies de l'information et de la communicationen
dc.subject.ddclabelProgrammation, logiciels, organisation des donnéesen


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record