PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets

Application and Theory of Petri Nets and Concurrency - Lecture Notes in Computer Science ◽

10.1007/978-3-030-51831-8_10 ◽

2020 ◽

pp. 196-216

Author(s):

Guanjun Liu

Keyword(s):

Download Full-text

Soundness preservation in composed logical time workflow nets

Enterprise Information Systems ◽

10.1080/17517575.2011.617472 ◽

2012 ◽

Vol 6 (1) ◽

pp. 95-113 ◽

Author(s):

Wei Liu ◽

YuYue Du ◽

Chun Yan

Keyword(s):

Workflow Nets ◽

Download Full-text

Transformation of Logical Workflow Nets

IEEE Transactions on Systems Man and Cybernetics Systems ◽

10.1109/tsmc.2014.2311392 ◽

2014 ◽

Vol 44 (10) ◽

pp. 1401-1412 ◽

Author(s):

Wei Liu ◽

YuYue Du ◽

MengChu Zhou ◽

Chun Yan

Keyword(s):

Download Full-text

Possibilistic WorkFlow Nets for Dealing with Cancellation Regions in Business Processes

Proceedings of the 18th International Conference on Enterprise Information Systems ◽

10.5220/0005760301260133 ◽

2016 ◽

Author(s):

Leiliane Pereira de Rezende ◽

Stéphane Julia ◽

Janette Cardoso

Keyword(s):

Business Processes ◽

Download Full-text

Fault Detection by Backwards Analysis in Coloured Workflow Nets

Proceedings of the 5th International Conference on Simulation and Modeling Methodologies, Technologies and Applications ◽

10.5220/0005513000880094 ◽

2015 ◽

Author(s):

Vasilii Ganishev ◽

Olga Fengler ◽

Wolfgang Fengler

Keyword(s):

Fault Detection ◽

Download Full-text

Research of Workflow nets Application Based on the Petri nets

Proceedings of 2012 National Conference on Information Technology and Computer Science ◽

10.2991/citcs.2012.205 ◽

2012 ◽

Author(s):

Dabin Qi ◽

Jun Yao ◽

Qiuju Li

Keyword(s):

Download Full-text

Adaptive Workflow Nets for Grid Computing

Lecture Notes in Computer Science - Parallel Computing Technologies ◽

10.1007/978-3-540-73940-1_2 ◽

2007 ◽

pp. 15-21

Author(s):

Carmen Bratosin ◽

Kees van Hee ◽

Natalia Sidorova

Keyword(s):

Grid Computing ◽

Workflow Nets ◽

Adaptive Workflow

Download Full-text

Fuzzy Resource-Constrained Time Workflow Nets

Advances in Intelligent Systems and Computing - Information Technolog: New Generations ◽

10.1007/978-3-319-32467-8_48 ◽

2016 ◽

pp. 543-553

Author(s):

Joslaine Cristina Jeske de Freitas ◽

Stéphane Julia

Keyword(s):

Resource Constrained ◽

Download Full-text

Defining Multi-Party Compromises using Unfoldings of Workflow Nets

Fundamenta Informaticae ◽

10.3233/fi-2013-935 ◽

2013 ◽

Vol 128 (1-2) ◽

pp. 97-111

Author(s):

Michael Köhler-Bußmeier

Keyword(s):

Download Full-text

Process Modeling Using Workflow-Nets

Managing the Dynamics of New Product Development Processes ◽

10.1007/978-0-85729-570-5_6 ◽

2011 ◽

pp. 75-95 ◽

Author(s):

Arie Karniel ◽

Yoram Reich

Keyword(s):

Process Modeling ◽

Download Full-text

Translation from Workflow Nets to MSVL

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-41202-8_19 ◽

2013 ◽

pp. 281-296

Author(s):

Ya Shi ◽

Zhenhua Duan ◽

Cong Tian

Keyword(s):

Download Full-text