Verification of Workflow Nets

@inproceedings{Aalst1997VerificationOW,
  title={Verification of Workflow Nets},
  author={W. Aalst},
  booktitle={ICATPN},
  year={1997}
}
  • W. Aalst
  • Published in ICATPN 1997
  • Computer Science
Workflow management systems will change the architecture of future information systems dramatically. The explicit representation of business procedures is one of the main issues when introducing a workflow management system. In this paper we focus on a class of Petri nets suitable for the representation, validation and verification of these procedures. We will show that the correctness of a procedure represented by such a Petri net can be verified by using standard Petri-net-based techniques… Expand
Management logic verification of a workflow model
  • Yuzhen Dong
  • Computer Science
  • 2013 6th International Conference on Information Management, Innovation Management and Industrial Engineering
  • 2013
WORKFLOWS BASED ON PETRI NETS
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
  • W. Aalst
  • Computer Science
  • Business Process Management
  • 2000
The Application of Petri Nets to Workflow Management
  • W. Aalst
  • Computer Science
  • J. Circuits Syst. Comput.
  • 1998
Research on the application of workflow technology in OA system
  • S. Zi-hao, Wang Hui
  • Computer Science
  • 2010 3rd International Conference on Computer Science and Information Technology
  • 2010
Exploring the process dimension of workflow management
WOFLAN : a Petri-net-based workflow analyzer
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 31 REFERENCES
Three good reasons for using a Petri-net-based workflow management system
Petri-net-based workflow management software
A class of Petri nets for modeling and analyzing business processes
Modeling and Enactment of Workflow Systems
Validation and Verification of Software Process Models
  • V. Gruhn
  • Computer Science
  • Software Development Environments and CASE Technology
  • 1991
ANALYSIS OF PRODUCTION SCHEMATA BY PETRI NETS
Analysis of Petri Nets by Stepwise Refinements
  • R. Valette
  • Computer Science
  • J. Comput. Syst. Sci.
  • 1979
Business process redesign: a Petri-net-based approach
Putting high-level Petri nets to work in industry
Proper termination of flow-of-control in programs involving concurrent processes
...
1
2
3
4
...