loading...
Quantitative Analysis of Permutation Capability with Colored Petri Nets
Atlanta, Georgia September 27-September 29
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MASCOT.2005.5613th IEEE International Symposium on ...
 This Article 
 
PDF
HTML
IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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.