Author:
Kiepuszewski Bartek,Hofstede Arthur Harry Maria ter,Bussler Christoph J.
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. W.M.P. van der Aalst and A.H.M. ter Hofstede. Verification of Workflow Task Structures: A Petri-net-based Approach. Information Systems, 2000. (to appear).
2. A.P. Barros and A.H.M. ter Hofstede. Towards the construction of workflowsuitable conceptual modelling techniques. Information Systems Journal, 8(4):313– 337, October 1998.
3. E. Best, R. Devillers, A. Kiehn, and L. Pomello. Concurrent bisimulations in Petri nets. Acta Informatica, 28:231–254, 1991.
4. Theories of Concurrency: Unification and Extension;RJ Glabbeek van,1990
5. A.H.M. ter Hofstede and B. Kiepuszewski. Formal Analysis of Deadlock Behaviour in Workflows. Technical report, Queensland University of Technology/Mincom, Brisbane, Australia, April 1999. (submitted for publication).
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献