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
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. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||