So you got shy and weren't able to talk to her today? Big deal. Just try again next time you're there. It's never too late to try and be friendly to somebody.
Keep in mind though that she's just a person. She's attractive and nice, so it's worth making some effort to get to know her better. You don't know much else about her, though, so it's not worth building her up in your mind too much yet. For all you know, if you ever get to go on a couple of dates with her, you may end up not even liking her.
I used to do the same thing with guys I liked. I'd get hung up on a particular guy for a while and think he was something incredibly rare. Consequently, I'd end up being too shy to speak to him. Then I wouldn't give anybody else a fair chance because I was already stuck with the idea that they wouldn't be as incredible as the person I liked. I was also single until the age of 23 because of this. Once I realized that the love of my life could be somebody I wasn't immediately attracted to, but fell in love with after a while, I had much better luck.
So try talking to her. But get to know other girls as well. Keep in mind that she is just one of many opportunities you have to meet someone. You don't really know her well enough to know if she would be better than a lot of other girls. Just try to relax and have fun with the process of meeting people. If you miss the chance with one girl, another one will come along.
“This planet has - or rather had - a problem, which was this: most of the people living on it were unhappy for pretty much of the time. Many solutions were suggested for this problem, but most of these were largely concerned with the movement of small green pieces of paper, which was odd because on the whole it wasn't the small green pieces of paper that were unhappy.” ― Douglas Adams, The Hitchhiker's Guide to the Galaxy