首页 | 本学科首页   官方微博 | 高级检索  
     


Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants
Authors:Verbeek, H.M.W.   van der Aalst, W.M.P.   ter Hofstede, A.H.M.
Affiliation:1 Faculty of Technology Management, Eindhoven University of Technology, The Netherlands
2 Faculty of Information Technology, Queensland University of Technology, Australia
Abstract:
Keywords:Workflow management    process models    formal methods    Petri nets    patterns    invariants
本文献已被 Oxford 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号