title: How can I mine an XML document with awk, Perl, or Python?
body: <p>I have a XML file with the following data format:</p>
  
  <pre><code>&lt;net NetName="abc" attr1="123" attr2="234" attr3="345".../&gt;
  &lt;net NetName="cde" attr1="456" attr2="567" attr3="678".../&gt;
  ....
  </code></pre>
  
  <p>Can anyone tell me how could I data mine the XML file using an awk one-liner? For example, I would like to know attr3 of abc. It will return 345 to me.</p>