Modeling and solving of Rubik's cube with hierarchical colored Petri nets

WIT Transactions on Information and Communication Technologies

Volumn 53, Issue , 2014, Pages 289-296

  Wang, Qi ^a   Li, Zhiwu ^a   Al Ahmari, Abdulrahman M ^b   El Tamimi, Abdul Aziz Mohammed ^b   Nasr, Emad Abouel ^b  

^a XIDIAN UNIVERSITY   (China)

^b KING SAUD UNIVERSITY   (Saudi Arabia)

Author keywords

Colored Petri nets; Modeling; Rubik's cube

Indexed keywords

BIOINFORMATICS; COMPUTER GAMES; INTELLIGENT SYSTEMS; MODELS; PETRI NETS;

COLORED PETRI NETS; DISCRETE MATHEMATICS; GAME PLAYERS; HIERARCHICAL COLORED PETRI NETS; INDUSTRIAL PROJECTS; MATHEMATICAL PROBLEMS; RUBIK'S CUBES; SOFTWARE ENVIRONMENTS;

GEOMETRY;

EID: 84903474174     PISSN: 17433517     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.2495/Intelsys130261     Document Type: Conference Paper

References (10)

1. Chen Yu-Feng, Li Zhi-Wu, Design of a maximally permissive livenessenforcing supervisor with a compressed supervisory structure for flexible manufacturing systems. Automatica, 47(5), pp. 1028-1034, 2011.
2. Li Zhi-Wu, Wu Nai-Qi, Zhou Meng-Chu, Deadlock control of automated manufacturing systems based on Petri nets-A literature review. IEEE Transactions on Systems, Man, Cybernatics Part C Applied Review, 42(4), pp. 437-462, 2012.
3. Chen Yu-Feng, Li Zhi-Wu, Optimal Supervisory Control of Automated Manufacturing Systems. CRC Press, Taylor & Francis group, New York, 2012.
4. Li Zhi-Wu, Zhou Meng-Chu, Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. Springer, London, 2009.
5. Liu Ding, Li Zhi-Wu, Zhou Meng-Chu, Liveness of an extended S3PR. Automatica, 46(6), pp. 1008-1018, 2010.
6. K. Jensen, L.M. Kristensen, Coloured Petri Nets: Modeling and Validation of Concurrent Systems. Springer-Verlag, New York, 2009.
7. D. Joyner, Adventures in group theory: Rubik's cube, Merlin's and other mathematical toys. Mathematical Intelligence, 27(2), pp. 92-95, 2005.
8. D. Joyner, Adventures in Group Theory: Rubik's Cube, Merlin's Machine, and Other Mathematical Toys. Johns Hopkins University Press, Baltimore, 2008.
9. R.E. Korf, Finding optimal solutions to Rubik's Cube using pattern databases. In: Proceedings of the National Conference on Artificial Intelligence, pp. 700-705, 1997.
10. K. Jensen, Colored Petri Nets: A High Level Language for System Design and Analysis. Springer, 1991.