Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Verification of workflow nets with transition conditions.

Z. Wang, J. Wang, X. Zhu, and L. Wen. Journal of Zhejiang University - Science C, 13 (7): 483-509 (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dr. -Ing. Christoph Wenzel University of Stuttgart

Florian Wendt University of Stuttgart

Dr. rer. nat. Tim Wendlandt University of Stuttgart

Ingeborg Wenger University of Stuttgart

Florian Wenz University of Stuttgart

Other publications of authors with the same name

Transformation of BPMN to YAWL.J. Ye, S. Sun, L. Wen, and W. Song. CSSE (2), page 354-359. IEEE Computer Society, (2008)978-0-7695-3336-0.Verification of workflow nets with transition conditions.Z. Wang, J. Wang, X. Zhu, and L. Wen. Journal of Zhejiang University - Science C, 13 (7): 483-509 (2012)A Universal Significant Reference Model Set for Process Mining Evaluation Framework.Q. Guo, L. Wen, J. Wang, Z. Ding, and C. Lv. AP-BPM, volume 181 of Lecture Notes in Business Information Processing, page 16-30. Springer, (2014)Formally Modeling and Analyzing Data-centric Workflow using WFCP-net and ASK-CTL.Z. Wang, J. Wang, L. Wen, and G. Luo. ICEIS (3), page 139-144. SciTePress, (2011)Detecting Infeasible Traces in Process Models.Z. Wang, L. Wen, X. Zhu, Y. Liu, and J. Wang. ICEIS (3), page 212-217. SciTePress, (2012)Deriving Canonical Business Object Operation Nets from Process Models.Z. Wang, J. Wang, L. Wen, and Y. Liu. ICEIS (3), page 182-187. (2009)A Novel Approach for Process Mining Based on Event Types.C. Ren, L. Wen, J. Dong, H. Ding, W. Wang, and M. Qiu. IEEE SCC, page 721-722. IEEE Computer Society, (2007)A novel approach for process mining based on event types.L. Wen, J. Wang, W. van der Aalst, B. Huang, and J. Sun. J. Intell. Inf. Syst., 32 (2): 163-190 (2009)Refactor Business Process Models with Maximized Parallelism.T. Jin, J. Wang, Y. Yang, L. Wen, and K. Li. IEEE Trans. Services Computing, 9 (3): 456-468 (2016)Efficient Semantics-Based Compliance Checking Using LTL Formulae and Unfolding.L. Song, J. Wang, L. Wen, and H. Kong. J. Applied Mathematics, (2013)

PUMA

Disambiguation of "Wen, Lijie"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Verification of workflow nets with transition conditions.

Please choose a person to relate this publication to

Dr. -Ing. Christoph Wenzel University of Stuttgart

Florian Wendt University of Stuttgart

Dr. rer. nat. Tim Wendlandt University of Stuttgart

Ingeborg Wenger University of Stuttgart

Florian Wenz University of Stuttgart

Other publications of authors with the same name

Disambiguation

PUMA

Disambiguation of "Wen, Lijie"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Verification of workflow nets with transition conditions.

Please choose a person to relate this publication to

Dr. -Ing. Christoph Wenzel University of Stuttgart

Florian Wendt University of Stuttgart

Dr. rer. nat. Tim Wendlandt University of Stuttgart

Ingeborg Wenger University of Stuttgart

Florian Wenz University of Stuttgart

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Verification of workflow nets with transition conditions.