Proposal: Petri Net Markup Language schema for st-Nets Matthias Juengel 12.10.2000 Michael Weber 12.10.2000