loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
13th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
Quantitative Analysis of Permutation Capability with Colored Petri Nets
Atlanta, Georgia
September 27-September 29
ISBN: 0-7695-2458-3
Rza Bashirov, Eastern Mediterranean University Department of Mathematics Famagusta, North Cyprus, via Mersin-10, Turkey
Valentino Crespi, California State University Department of Computer Science Los Angeles 5151 State University Drive Los Angeles, CA

Given a multistage interconnection network (MIN) the calculation of the number of permutations of its input terminals into its output terminals is a classical difficult problem. In this paper, to the best of the authors? knowledge, for the first time, colored Petri nets (CP-nets or CPNs) are applied to model a given MIN and analyze its permutation capability. We show how to verify whether a MIN is rearrangeable through the state space analysis of associated CP-net. Also the permutation capability of non-rearrangeable MINs is measured in terms of the permutations that can be generated. The proposed approach takes advantage of powerful existing software tools for the analysis of CP-nets. CPNTools software is, in particular, used to explore the occurrence graphs of CP-nets in order to determine the set of permutations performed by the modeled MINs and so to measure their permutation capability.

Citation:
Rza Bashirov, Valentino Crespi, "Quantitative Analysis of Permutation Capability with Colored Petri Nets," mascots, pp.463-470, 13th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, 2005
Usage of this product signifies your acceptance of the Terms of Use.