%0 Journal Article %1 journals/acta/BashirovKL09 %A Bashirov, Rza %A Kordon, Fabrice %A Lort, Hüseyin %D 2009 %J Acta Inf. %K dblp %N 1 %P 43-55 %T Exploiting colored Petri nets to decide on permutation admissibility. %U http://dblp.uni-trier.de/db/journals/acta/acta46.html#BashirovKL09 %V 46

@article{journals/acta/BashirovKL09, added-at = {2019-10-19T00:00:00.000+0200}, author = {Bashirov, Rza and Kordon, Fabrice and Lort, Hüseyin}, biburl = {https://www.bibsonomy.org/bibtex/24fcb0e70d09e9934a9325a191cd81fdf/dblp}, ee = {https://doi.org/10.1007/s00236-008-0084-1}, interhash = {b7d657a802909320f525e5ebf81aa224}, intrahash = {4fcb0e70d09e9934a9325a191cd81fdf}, journal = {Acta Inf.}, keywords = {dblp}, number = 1, pages = {43-55}, timestamp = {2019-10-22T12:15:39.000+0200}, title = {Exploiting colored Petri nets to decide on permutation admissibility.}, url = {http://dblp.uni-trier.de/db/journals/acta/acta46.html#BashirovKL09}, volume = 46, year = 2009 }