W.M.P. van der Aalst (1996):
Structural characterizations of sound workflow nets.
Computing Science Reports 96(23),
pp. 18–22.
W.M.P. van der Aalst (1997):
Verification of workflow nets.
In: International Conference on Application and Theory of Petri Nets.
Springer,
pp. 407–426,
doi: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),
pp. 21–66,
doi:10.1142/S0218126698000043.
W.M.P. van der Aalst (1999):
Process-oriented architectures for electronic commerce and interorganizational workflow.
Information Systems 24(8),
pp. 639–671,
doi: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),
pp. 639–671,
doi: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.
In: Business Process Management, Models, Techniques, and Empirical Studies,
LNCS 1806.
Springer,
pp. 161–183,
doi: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),
pp. 333–363,
doi: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,
pp. 35–70,
doi: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.
In: FACS,
LNCS 9539.
Springer,
pp. 161–180,
doi: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.
In: BPM,
LNCS 5240.
Springer,
pp. 386–389,
doi:10.1007/978-3-540-85758-7_30.
J. Dehnert & A. Zimmermann (2005):
On the suitability of correctness criteria for business process models.
In: BPM,
LNCS 3649.
Springer,
pp. 386–391,
doi: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),
pp. 1281–1294,
doi: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.
In: CAISE,
LNCS 7328.
Springer,
pp. 31–46,
doi: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,
doi: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,
pp. 260–275,
doi: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.
In: BPM.
Springer,
pp. 225–240,
doi: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,
pp. 39–54,
doi:10.1016/j.ins.2016.12.044.
B. Kiepuszewski, A.H.M. ter Hofstede & C.J. Bussler (2000):
On structured workflow modelling.
In: Information Systems Engineering, 25 Years of CAiSE,
LNCS 9539.
Springer,
pp. 431–445,
doi: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),
pp. 1015–1019,
doi:10.1016/S0950-5849(03)00129-0.
K. Matthias & W. Mathias (2016):
Behavioural Models - From Modelling Finite Automata to Analysing Business Processes.
Springer,
doi: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.
In: CAISE,
LNCS 5074.
Springer,
pp. 465–479,
doi:10.1007/978-3-540-69534-9_35.
T. Murata (1989):
Petri nets: Properties, analysis and applications.
IEEE Proceedings 77(4),
pp. 541–580,
doi: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),
pp. 518–538,
doi: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),
pp. 12–35,
doi:10.1093/comjnl/bxs126.
T. Prinz (2013):
Fast soundness verification of workflow graphs.
In: ZEUS,
LNCS 1029.
Springer,
pp. 31–38.
J. Roa, O. Chiotti & P. Villarreal (2011):
A verification method for collaborative business processes.
In: International Conference on Business Process Management,
LNBIP 99.
Springer,
pp. 293–305,
doi:10.1007/978-3-642-28108-2_29.
G. Rozenberg & J. Engelfriet (1998):
Elementary net systems.
In: Lectures on Petri Nets I: Basic Models.
Springer,
pp. 12–121,
doi: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.
In: Advances in Business ICT: New Ideas from Ongoing Research,
SCI 658.
Springer,
pp. 65–85,
doi:10.1007/978-3-319-47208-9_5.
eptcs@eptcs.org