added introduction and Petersen Graph example