From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems-Reference-Cited by-同舟云学术

From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems

Published:2009 Issue: Volume: Page:25-49
ISSN:0302-9743
Container-title:Transactions on Petri Nets and Other Models of Concurrency III
language:
Short-container-title:

Author:

Mans Ronny S.,van der Aalst Wil M. P.,Russell Nick C.,Bakker Piet J. M.,Moleman Arnold J.,Lassen Kristian B.,Jørgensen Jens B.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-04856-2_2

Reference37 articles.

1. Lecture Notes in Computer Science;W.M.P. Aalst van der,2000

2. Lecture Notes in Computer Science;W.M.P. Aalst van der,2004

3. Lecture Notes in Computer Science;W.M.P. Aalst van der,2000

4. van der Aalst, W.M.P., van Hee, K.M.: Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge (2002)

5. van der Aalst, W.M.P., van Hee, K.M., ter Hofstede, A.H.M., Sidorova, N., Verbeek, H.M.W., Voorhoeve, M., Wynn, M.T.: Soundness of Workflow Nets: Classification, Decidability, and Analysis. Computer Science Report No. 08-13, Technische Universiteit Eindhoven, The Netherlands (2008)

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Static analysis and process model transformation for an advanced business process to Petri net mapping;Software: Practice and Experience;2017-09-08

2. QABPEM: Quality-Aware Business Process Engineering Method;International Journal of Cooperative Information Systems;2017-03

3. Semantic-Based Conformance Checking of Computer Interpretable Medical Guidelines;Biomedical Engineering Systems and Technologies;2013

4. A framework for transformation from conceptual to logical workflow models;Decision Support Systems;2012-12

5. Using Declarative Workflow Languages to Develop Process-Centric Web Applications;2012 IEEE 16th International Enterprise Distributed Object Computing Conference Workshops;2012-09