Analyzing Web Service Based Business Processes

This publication has 9 references indexed in Scilit:

• Usability of web services
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2004
• Web Supported Enactment of Petri-Net Based Workflows with XRL/Flower
  Published by Springer Nature ,2004
• Three-Level Process Specification for Dynamic Service Outsourcing: From Petri Nets to ebXML and WFPDL
  Published by Springer Nature ,2003
• Inter-operability of Workflow Applications: Local Criteria for Global Soundness
  Published by Springer Nature ,2000
• Principles of Program Analysis
  Published by Springer Nature ,1999
• THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT
  Journal of Circuits, Systems and Computers, 1998
• Elements of Distributed Algorithms
  Published by Springer Nature ,1998
• Syntactic detection of process divergence and non-local choice in message sequence charts
  Published by Springer Nature ,1997
• Petri Nets
  Published by Springer Nature ,1985