Author:
Kiepuszewski Bartek,ter Hofstede Arthur Harry Maria,Bussler Christoph J.
Publisher
Springer International Publishing
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. R.J. van Glabbeek. The linear time-branching time spectrum. In J.C.M. Baeten and J.W. Klop, editors, Proceedings of CONCUR’90. Theories of Concurrency: Unification and Extension, pages 278–297, Berlin, Germany, 1990. Springer-Verlag.
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
90 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献