Solving Puzzles using Coloured Petri Nets.

Somsak Vanit-Anunchai

Published in: PeNGE@Petri Nets (2024)

Keyphrases

coloured petri nets
crossword puzzles
jigsaw puzzle
constraint satisfaction
formal verification
database
real time
data mining
learning algorithm
search engine
feature selection
decision making
knowledge base
digital libraries
special case