On Structured Workflow Modelling

This publication has 9 references indexed in Scilit:

• Verification Of Workflow Task Structures: A Petri-net-baset Approach
  Information Systems, 2000
• Applying Graph Reduction Techniques for Identifying Structural Conflicts in Process Models
  Published by Springer Nature ,1999
• On the Complexity of Some Verification Problems in Process Control Specifications
  The Computer Journal, 1999
• Towards the construction of workflow‐suitable conceptual modelling techniques
  Information Systems Journal, 1998
• Decidability questions for bisimilarity of Petri nets and some related problems
  Published by Springer Nature ,1994
• Concurrent bisimulations in Petri nets
  Acta Informatica, 1991
• The linear time - branching time spectrum
  Published by Springer Nature ,1990
• Unravelling Unstructured Programs
  The Computer Journal, 1982
• Generating structured flow diagrams: the nature of unstructuredness
  The Computer Journal, 1977