W.M.P. van der Aalst
1996
Structural characterizations of sound workflow nets
Computing Science Reports
96
23
18–22
W.M.P. van der Aalst
1997
Verification of workflow nets
International Conference on Application and Theory of Petri Nets
Springer
407–426
10.1007/3-540-63139-9_48
W.M.P. van der Aalst
1998
The Application of Petri Nets to Workflow Management
Journal of Circuits, Systems and Computers
08
01
21–66
10.1142/S0218126698000043
W.M.P. van der Aalst
1999
Process-oriented architectures for electronic commerce and interorganizational workflow
Information Systems
24
8
639–671
10.1016/S0306-4379(00)00003-X
W.M.P. van der Aalst
1999
Process-oriented architectures for electronic commerce and interorganizational workflow
Information Systems
24
8
639–671
10.1016/S0306-4379(00)00003-X
W.M.P. van der Aalst
2000
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
Business Process Management, Models, Techniques, and Empirical Studies
LNCS
1806
Springer
161–183
10.1007/3-540-45594-9_11
W.M.P. van der Aalst
K. van Hee
A. ter Hofstede
N. Sidorova
H. Verbeek
M. Voorhoeve
M. Wynn
2011
Soundness of workflow nets: classification, decidability, and analysis
FAC
23
3
333–363
10.1007/s00165-010-0161-4
F. Corradini
F. Fornari
A. Polini
B. Re
F. Tiezzi
2018
A formal approach to modeling and verification of business process collaborations
Science of Computer Programming
166
35–70
10.1016/j.scico.2018.05.008
F. Corradini
C. Muzi
B. Re
F. Tiezzi
2018
A Classification of BPMN Collaborations based on Safeness and Soundness Notions
Tech.Rep.
University of Camerino
Available at: http://pros.unicam.it/documents/
F. Corradini
A. Polini
B. Re
F. Tiezzi
2015
An Operational Semantics of BPMN Collaboration
FACS
LNCS
9539
Springer
161–180
10.1007/978-3-319-28934-2_9
G. Decker
R. Dijkman
M. Dumas
L. García-Bañuelos
2008
Transforming BPMN diagrams into YAWL nets
BPM
LNCS
5240
Springer
386–389
10.1007/978-3-540-85758-7_30
J. Dehnert
A. Zimmermann
2005
On the suitability of correctness criteria for business process models
BPM
LNCS
3649
Springer
386–391
10.1007/11538394_28
R.M. Dijkman
M. Dumas
C. Ouyang
2008
Semantics and analysis of business process models in BPMN
Information and Software Technology
50
12
1281–1294
10.1016/j.infsof.2008.02.006
M. Dumas
M. La Rosa
J. Mendling
R. Mäesalu
H.A. Reijers
N. Semenenko
2012
Understanding business process models: the costs and benefits of structuredness
CAISE
LNCS
7328
Springer
31–46
10.1007/978-3-642-31095-9_3
M. Dumas
M. La Rosa
J. Mendling
H.A. Reijers
2018
Fundamentals of Business Process Management, Second Edition
Springer
10.1007/978-3-662-56509-4
N. El-Saber
2015
CMMI-CM compliance checking of formal BPMN models using Maude
University of Leicester - Department of Computer Science
C. Favre
H. Völzer
2010
Symbolic execution of acyclic workflow graphs
Business Process Management
260–275
10.1007/978-3-642-15618-2_19
K. van Hee
O. Oanea
A. Serebrenik
N. Sidorova
M. Voorhoeve
2006
History-based joins: Semantics, soundness and implementation
BPM
Springer
225–240
10.1007/11841760_16
A.H.M. ter Hofstede
2002
Workflow patterns: On the expressive power of (petri-net-based) workflow languages
University of Aarhus
A. Kheldoun
K. Barkaoui
M. Ioualalen
2017
Formal verification of complex business processes based on high-level Petri nets
Information Sciences
385-386
39–54
10.1016/j.ins.2016.12.044
B. Kiepuszewski
A.H.M. ter Hofstede
C.J. Bussler
2000
On structured workflow modelling
Information Systems Engineering, 25 Years of CAiSE
LNCS
9539
Springer
431–445
10.1007/3-540-45140-4_29
A. Lindsay
D. Downs
K. Lunn
2003
Business processesattempts to find a definition
Information and Software Technology
45
15
1015–1019
10.1016/S0950-5849(03)00129-0
K. Matthias
W. Mathias
2016
Behavioural Models - From Modelling Finite Automata to Analysing Business Processes
Springer
10.1007/978-3-319-44960-9
J. Mendling
2007
Detection and prediction of errors in EPC business process models
Wirtschaftsuniversität Wien Vienna
M. Muehlen
J. Recker
2008
How Much Language Is Enough? Theoretical and Practical Use of the Business Process Modeling Notation
CAISE
LNCS
5074
Springer
465–479
10.1007/978-3-540-69534-9_35
T. Murata
1989
Petri nets: Properties, analysis and applications
IEEE Proceedings
77
4
541–580
10.1109/5.24143
OMG
2011
Business Process Model and Notation (BPMN V 2.0)
A. Polyvyanyy
L. García-Bañuelos
M. Dumas
2012
Structuring acyclic process models
Information Systems
37
6
518–538
10.1016/j.is.2011.10.005
A. Polyvyanyy
L. Garcia-Banuelos
D. Fahland
M. Weske
2014
Maximal Structuring of Acyclic Process Models
The Computer Journal
57
1
12–35
10.1093/comjnl/bxs126
T. Prinz
2013
Fast soundness verification of workflow graphs
ZEUS
LNCS
1029
Springer
31–38
J. Roa
O. Chiotti
P. Villarreal
2011
A verification method for collaborative business processes
International Conference on Business Process Management
LNBIP
99
Springer
293–305
10.1007/978-3-642-28108-2_29
G. Rozenberg
J. Engelfriet
1998
Elementary net systems
Lectures on Petri Nets I: Basic Models
Springer
12–121
10.1007/3-540-65306-6_14
A. Suchenia
T. Potempa
A. Ligeza
K. Jobczyk
K. Kluza
2017
Selected Approaches Towards Taxonomy of Business Process Anomalies
Advances in Business ICT: New Ideas from Ongoing Research
SCI
658
Springer
65–85
10.1007/978-3-319-47208-9_5