Solving Language Equations Using Petri Net Description