Show simple item record

dc.contributor.authorChiola, Giovanni
dc.contributor.authorDutheillet, Claude
dc.contributor.authorFranceschinis, Giuliana
dc.contributor.authorHaddad, Serge
HAL ID: 745039
dc.date.accessioned2009-12-10T11:26:59Z
dc.date.available2009-12-10T11:26:59Z
dc.date.issued1997
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/2658
dc.language.isoenen
dc.subjectModèles mathématiquesen
dc.subjectRéseaux de Pétrien
dc.subject.ddc003en
dc.titleA Symbolic Reachability Graph for Coloured Petri Netsen
dc.typeArticle accepté pour publication ou publié
dc.contributor.editoruniversityotherDipartimento di Informatica, Università di Torino, Torino;Italie
dc.contributor.editoruniversityotherUPMC, Paris;France
dc.contributor.editoruniversityotherUniversità di Genova, Genova;Italie
dc.description.abstractenColoured Petri nets are well suited to the modelling of symmetric systems. Model symmetries can be usefully exploited for the sake of analysis efficiency as well as for modelling convenience. We present a reduced reachability graph called symbolic reachability graph that enjoys the following properties: (1) it can be constructed directly by an efficient algorithm without considering the actual state space of the model; (2) it can be substantially smaller than the ordinary reachability graph; (3) its analysis provides equivalent results as the analysis of the ordinary reachability graph. The construction procedure for the symbolic reachability graph is completely effective in the case of a syntactically restricted class of coloured nets called “well-formed nets”, while for the unrestricted case of coloured nets some procedures may not be easily implementable in algorithmic form.en
dc.relation.isversionofjnlnameTheoretical Computer Science
dc.relation.isversionofjnlvol176en
dc.relation.isversionofjnlissue1en
dc.relation.isversionofjnldate1997
dc.relation.isversionofjnlpages39-65en
dc.relation.isversionofdoihttp://dx.doi.org/10.1016/S0304-3975(96)00010-2en
dc.description.sponsorshipprivateouien
dc.relation.isversionofjnlpublisherSpringer-Verlagen
dc.subject.ddclabelRecherche opérationnelleen


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