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