Show simple item record

dc.contributor.authorBarkaoui, Kamel
dc.contributor.authorDutheillet, Claude
dc.contributor.authorHaddad, Serge
dc.date.accessioned2010-12-09T14:07:23Z
dc.date.available2010-12-09T14:07:23Z
dc.date.issued1993
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/5267
dc.language.isoenen
dc.subjectPetri netsen
dc.subjectColored Petri Netsen
dc.subject.ddc004en
dc.titleAn Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Netsen
dc.typeCommunication / Conférence
dc.description.abstractenIn this paper, we present an algorithm to compute structural deadlocks in colored nets under specified conditions. Instead of applying the ordinary algorithm on the unfolded Petri net, our algorithm takes advantage of the structure of the color functions. It is obtained by iterative optimizations of the ordinary algorithm. Each optimization is specified by a meta-rule, whose application is detected during the computation of the algorithm. The application of such meta-rules speeds up a step of the algorithm with a factor proportional to the size of a color domain. We illustrate the efficiency of this algorithm compared to the classical approach on a colored net modelling the dining philosophers problem.en
dc.identifier.citationpages69-88en
dc.relation.ispartofseriestitleLecture Notes in Computer Science
dc.relation.ispartofseriesnumber691
dc.relation.ispartoftitleApplication and Theory of Petri Nets 1993 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993. Proceedingsen
dc.relation.ispartofeditorAjmone Marsan, Marco
dc.relation.ispartofpublnameSpringeren
dc.relation.ispartofpublcityBerlinen
dc.relation.ispartofdate1993
dc.relation.ispartofpages591en
dc.relation.ispartofurlhttp://dx.doi.org/10.1007/3-540-56863-8en
dc.description.sponsorshipprivateouien
dc.subject.ddclabelInformatique généraleen
dc.relation.ispartofisbn978-3-540-56863-6en
dc.relation.conftitle14th International Conference on application and theory of Petri nets (ICATPN 1993)en
dc.relation.confdate1993-06
dc.relation.confcityChicagoen
dc.relation.confcountryÉtats-Unisen
dc.identifier.doihttp://dx.doi.org/10.1007/3-540-56863-8_41


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