Show simple item record

dc.contributor.authorDutheillet, Claude
dc.contributor.authorHaddad, Serge
HAL ID: 745039
dc.date.accessioned2010-11-29T13:34:13Z
dc.date.available2010-11-29T13:34:13Z
dc.date.issued1993
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/5193
dc.language.isoenen
dc.subjectstochastic Petri netsen
dc.subjectPetri netsen
dc.subject.ddc004en
dc.titleConflict Sets in Coloured Petri netsen
dc.typeCommunication / Conférence
dc.description.abstractenGeneralized stochastic Petri nets provide the modeller with immediate transitions, but a model will be correct only if the modeller can specify how to solve the firing conflicts between these transitions. This task is usually cumbersome and may be impossible for large nets. In confusion-free nets, these conflict sets are subsets of equivalence classes of a structural conflict relation, which greatly simplifies the previous task. The authors solve the problem of detecting confusion in colored stochastic Petri nets and computing the equivalence classes of the structural conflict relation. The approach relies on two techniques: the symbolic representation of structural relations and the definition of operations on these symbolic relations. Combined with the lumping method presented by G. Chiola et al. (1991), the algorithm could be the basis of an efficient tool for the analysis of colored generalized stochastic Petri nets.en
dc.identifier.citationpages76-85en
dc.relation.ispartoftitle5th International Workshop on Petri Nets and Performance Models, 1993. Proceedings.en
dc.relation.ispartofpublnameIEEE Computer Societyen
dc.relation.ispartofdate1993
dc.description.sponsorshipprivateouien
dc.subject.ddclabelInformatique généraleen
dc.relation.ispartofisbn0-8186-4250-5en
dc.relation.conftitle3rd International Workshop on Petri Nets and Performance Models, PNPM'93en
dc.relation.confdate1993-10
dc.relation.confcityToulouseen
dc.relation.confcountryFranceen


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