By Topic

Conflict sets in colored Petri nets

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Dutheillet, C. ; IBP-Lab. MASI, Univ. P. & M. Curie, Paris, France ; Haddad, S.

Generalized 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

Published in:

Petri Nets and Performance Models, 1993. Proceedings., 5th International Workshop on

Date of Conference:

19-22 Oct 1993