COMBINING STRUCTURED DOCUMENTS WITH HIGH-LEVEL PETRI-NETS FOR WORKFLOW MODELING IN INTERNET-BASED COMMERCE · Study