{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T09:28:19Z","timestamp":1758274099656,"version":"3.37.0"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2008,11,28]],"date-time":"2008-11-28T00:00:00Z","timestamp":1227830400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[2009,2]]},"DOI":"10.1007\/s00236-008-0084-1","type":"journal-article","created":{"date-parts":[[2008,11,27]],"date-time":"2008-11-27T07:03:25Z","timestamp":1227769405000},"page":"43-55","source":"Crossref","is-referenced-by-count":1,"title":["Exploiting colored Petri nets to decide on permutation admissibility"],"prefix":"10.1007","volume":"46","author":[{"given":"Rza","family":"Bashirov","sequence":"first","affiliation":[]},{"given":"Fabrice","family":"Kordon","sequence":"additional","affiliation":[]},{"given":"H\u00fcseyin","family":"Lort","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,11,28]]},"reference":[{"key":"84_CR1","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/s100920170005","volume":"38","author":"R. Bashirov","year":"2000","unstructured":"Bashirov, R.: Rearrangeability of 2 log\u22121 stage networks employing an uniform connection pattern. Calcolo 38, 85\u201395 (2000)","journal-title":"Calcolo"},{"key":"84_CR2","doi-asserted-by":"crossref","first-page":"3143","DOI":"10.1016\/j.ins.2005.12.012","volume":"176","author":"R. Bashirov","year":"2006","unstructured":"Bashirov, R., Crespi, V.: Analyzing the permutation capability of multistage interconnection networks with colored Petri nets. Inform. Sci. 176, 3143\u20133165 (2006)","journal-title":"Inform. Sci."},{"key":"84_CR3","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/0166-5316(95)00008-L","volume":"24","author":"G. Chiola","year":"1995","unstructured":"Chiola, G., Franceschinis, G., Gaeta, R., Ribaudo, M.: GreatSPN 1.7\u2014graphical editor and analyzer for timed and stochastic Petri nets. Perform. Eval. 24, 47\u201368 (1995)","journal-title":"Perform. Eval."},{"key":"84_CR4","doi-asserted-by":"crossref","unstructured":"Das, R.K., Das, N.: GSE\u2014a generalized full-access multistage interconnection network with minimum cost. In: Proceedings of HiPC\u201996, Trivandrum, India, IEEE Computer Society, pp. 176\u2013181 (1996)","DOI":"10.1109\/HIPC.1996.565820"},{"key":"84_CR5","unstructured":"Das, N., Bezrukov, S.L.: Permutation admissibility in shuffle-exchange networks with arbitrary number of stages. In: Proceedings of HiPC\u201998, Madras, India, IEEE Computer Society, pp. 270\u2013276 (1998)"},{"key":"84_CR6","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/S1383-7621(03)00013-4","volume":"48","author":"N. Das","year":"2003","unstructured":"Das N., Bhattacharya B.B., Bezrukov S., Menon R., Sarkar A.: Permutation routing in optical MINs with minimum number of stages. J. Syst. Archit. 48, 311\u2013323 (2003)","journal-title":"J. Syst. Archit."},{"key":"84_CR7","doi-asserted-by":"crossref","unstructured":"Evangelista, S.: High level Petri nets analysis with Helena. In: Proceedings of ATPN\u201905. Miami, FL, LNCS 3536, pp. 455\u2013464 (2005)","DOI":"10.1007\/11494744_26"},{"key":"84_CR8","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1006\/jpdc.1998.1483","volume":"54","author":"M.D. Grammatikakis","year":"1998","unstructured":"Grammatikakis M.D., Hsu D.F., Sibeyn J.F.: Packet routing in fixed-connection networks: a survey. J. Paral. Distrib. Comput. 54, 77\u2013132 (1998)","journal-title":"J. Paral. Distrib. Comput."},{"key":"84_CR9","unstructured":"Hsia, C.J.A., Chen, C.Y.R.: Permutation capability of multistage interconnection networks. In: Proceedings of ICPP\u201990, Urbana-Champaign, IL, pp. 1338\u20131346 (1990)"},{"key":"84_CR10","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1109\/12.481490","volume":"45","author":"Q. Hu","year":"1996","unstructured":"Hu Q., Shen X., Liang W.: Optimally routing LC permutations on k-extra-stage cube-type networks. IEEE Trans. Comput. 45, 97\u2013103 (1996)","journal-title":"IEEE Trans. Comput."},{"key":"84_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-60794-3","volume-title":"Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, vol. 1","author":"K. Jensen","year":"1997","unstructured":"Jensen K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, vol. 1. Springer, Berlin (1997)"},{"key":"84_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-60794-3","volume-title":"Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, vol. 2","author":"K. Jensen","year":"1997","unstructured":"Jensen K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, vol. 2. Springer, Berlin (1997)"},{"key":"84_CR13","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/s00236-006-0023-y","volume":"43","author":"V. Khomenko","year":"2006","unstructured":"Khomenko V., Kondratyev A., Koutny A., Vogler W.: Merged processes: a new condenced representation of Petri net behaviour. Acta Inf. 43, 307\u2013330 (2006)","journal-title":"Acta Inf."},{"key":"84_CR14","doi-asserted-by":"crossref","unstructured":"Hamez, A., Hillah, L., Kordon, F., Linard, A., Paviot-Adet, E., Renault, X., Thierry-Mieg, Y.: New features in CPN-AMI 3: focusing on the analysis of complex distributed systems. In: Proceeding of ACSD\u201906, June, Turku, Finland, IEEE Computer Society, pp. 273\u2013275 (2006)","DOI":"10.1109\/ACSD.2006.15"},{"key":"84_CR15","doi-asserted-by":"crossref","unstructured":"Kordon, F., Linard, A., Paviot-Adet, E.: Optimized colored nets unfolding. In: Proceedings FORTE\u201906, LNCS 4229, pp. 339\u2013355 (2006)","DOI":"10.1007\/11888116_25"},{"key":"84_CR16","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1109\/TC.1978.1675164","volume":"27","author":"J. Lenfant","year":"1978","unstructured":"Lenfant J.: Parallel permutations of data: a Benes network control algorithm for frequently used permutations. IEEE Trans. Comput. 27, 637\u2013647 (1978)","journal-title":"IEEE Trans. Comput."},{"key":"84_CR17","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata T.: Petri nets: properties, analysis and applications. Proc. IEEE 77, 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"key":"84_CR18","doi-asserted-by":"crossref","first-page":"1057","DOI":"10.1109\/12.83649","volume":"40","author":"C.S. Raghavendra","year":"1991","unstructured":"Raghavendra C.S., Boppana R.V.: On self-routing in Bene\u0161 and shuffle-exchange networks. IEEE Trans. Comput. 40, 1057\u20131064 (1991)","journal-title":"IEEE Trans. Comput."},{"key":"84_CR19","doi-asserted-by":"crossref","first-page":"720","DOI":"10.1109\/71.877830","volume":"11","author":"S. Sahni","year":"2000","unstructured":"Sahni S.: Matrix multiplication and data routing using a partitioned optical passive stars network. IEEE Trans. Paral. Distrib. Comput. 11, 720\u2013728 (2000)","journal-title":"IEEE Trans. Paral. Distrib. Comput."},{"key":"84_CR20","doi-asserted-by":"crossref","first-page":"604","DOI":"10.1109\/12.376176","volume":"44","author":"X. Shen","year":"1995","unstructured":"Shen X., Xu M., Wang X.: An optimal algorithm for permutation admissibility to multistage interconnection networks. IEEE Trans. Comput. 44, 604\u2013608 (1995)","journal-title":"IEEE Trans. Comput."},{"key":"84_CR21","doi-asserted-by":"crossref","first-page":"1144","DOI":"10.1109\/12.464393","volume":"44","author":"X. Shen","year":"1995","unstructured":"Shen X.: An optimal O(N log N) algorithm for permutation admissibility to extra-stage cube-type networks. IEEE Trans. Comput. 44, 1144\u20131149 (1995)","journal-title":"IEEE Trans. Comput."},{"key":"84_CR22","doi-asserted-by":"crossref","first-page":"518","DOI":"10.1109\/90.944348","volume":"9","author":"X. Shen","year":"2001","unstructured":"Shen X., Yang F., Pan Y.: Equivalent permutation capabilities between time-division optical omega networks and non-optical extra-stage omega networks. IEEE Trans. Network. 9, 518\u2013524 (2001)","journal-title":"IEEE Trans. Network."},{"key":"84_CR23","doi-asserted-by":"crossref","unstructured":"Veselovsky, G., Batovski, D.A.: A study of the permutation capability of a binary hypercube under deterministic dimension-order routing. In: Proceedings of PDPTA\u201903, Las Vegas, NV, SCREA Press, pp. 173\u2013177 (2003)","DOI":"10.1109\/EMPDP.2003.1183584"},{"key":"84_CR24","first-page":"694","volume":"29","author":"C. Wu","year":"1980","unstructured":"Wu C., Feng T.: On a class of multistage interconnection networks. IEEE Trans. Comput. 29, 694\u2013702 (1980)","journal-title":"IEEE Trans. Comput."}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-008-0084-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00236-008-0084-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-008-0084-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,4]],"date-time":"2025-02-04T18:21:22Z","timestamp":1738693282000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00236-008-0084-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11,28]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2009,2]]}},"alternative-id":["84"],"URL":"https:\/\/doi.org\/10.1007\/s00236-008-0084-1","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"type":"print","value":"0001-5903"},{"type":"electronic","value":"1432-0525"}],"subject":[],"published":{"date-parts":[[2008,11,28]]}}}