@article(Aalst2011,
 author       = "W.~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      = "Formal Aspects of Computing",
 volume       = "23",
 pages        = "333--363",
 doi          = "10.1007/s00165-010-0161-4",
)
@article(vanderAalst:1998:APN,
 author       = "W.~M.~P. van~der Aalst",
 year         = "1998",
 title        = "The Application of {Petri} Nets to Workflow Management",
 journal      = "The Journal of Circuits, Systems and Computers",
 volume       = "8",
 number       = "1",
 pages        = "21--66",
 doi          = "10.1142/S0218126698000043",
)
@article(DeclWFAalstPS09,
 author       = "Wil M.~P. van~der Aalst and Maja Pesic and Helen Schonenberg",
 year         = "2009",
 title        = "Declarative workflows: Balancing between flexibility and support",
 journal      = "Computer Science - R{\&}D",
 volume       = "23",
 number       = "2",
 pages        = "99--113",
 doi          = "10.1007/s00450-009-0057-9",
)
@inproceedings(ConDec:2006,
 author       = "Wil~M.P van~der Aalst and Maja Pesic",
 year         = "2006",
 title        = "A Declarative Approach for Flexible Business Processes Management",
 booktitle    = "Proceedings of DPM 2006",
 series       = "LNCS",
 publisher    = "Springer Verlag",
)
@inproceedings(DecSerFlow:2006,
 author       = "Wil~M.P van~der Aalst and Maja Pesic",
 year         = "2006",
 title        = "{D}ec{S}er{F}low: Towards a Truly Declarative Service Flow Language",
 editor       = "M.~Bravetti and M.~Nunez and Gianluigi Zavattaro",
 booktitle    = "Proceedings of Web Services and Formal Methods (WS-FM 2006)",
 series       = "LNCS",
 volume       = "4184",
 publisher    = "Springer Verlag",
 pages        = "1--23",
)
@inproceedings(Bhattacharya07towardsformal,
 author       = "Kamal Bhattacharya and Cagdas Gerede and Richard Hull and Rong Liu and Jianwen Su",
 year         = "2007",
 title        = "Towards Formal Analysis of Artifact-Centric Business Process Models",
 editor       = "Gustavo Alonso and Peter Dadam and Michael Rosemann",
 booktitle    = "Business Process Management",
 series       = "Lecture Notes in Computer Science",
 volume       = "4714",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "288--304",
 doi          = "10.1007/978-3-540-75183-0",
)
@inproceedings(agentcoorddbsystems,
 author       = "Christoph Bussler and Stefan Jablonski",
 year         = "1994",
 title        = "Implementing agent coordination for workflow management systems using active database systems",
 booktitle    = "Research Issues in Data Engineering, 1994. Active Database Systems. Proceedings Fourth International Workshop on",
 pages        = "53--59",
 doi          = "10.1109/RIDE.1994.282853",
)
@inproceedings(DBLP:conf/amast/Cheng95,
 author       = "Allan Cheng",
 year         = "1995",
 title        = "Petri Nets, Traces, and Local Model Checking",
 booktitle    = "Proceedings of AMAST",
 pages        = "322--337",
)
@article(Cicekli20062227,
 author       = "Nihan~Kesim Cicekli and Ilyas Cicekli",
 year         = "2006",
 title        = "Formalizing the specification and execution of workflows using the event calculus",
 journal      = "Information Sciences",
 volume       = "176",
 number       = "15",
 pages        = "2227 -- 2267",
 doi          = "10.1016/j.ins.2005.10.007",
 url          = "http://www.sciencedirect.com/science/article/B6V0C-4HMGKHK-1/2/8d83da5d71878f08a894fa8b9deb9933",
)
@incollection(eventcalculusworkflows,
 author       = "Nihan~Kesim Cicekli and Yakup Yildirim",
 year         = "2000",
 title        = "Formalizing Workflows Using the Event Calculus",
 booktitle    = "Proceedings of the 11th International Conference on Database and Expert Systems Applications",
 series       = "DEXA '00",
 publisher    = "Springer-Verlag",
 address      = "London, UK",
 pages        = "222--231",
 url          = "http://portal.acm.org/citation.cfm?id=648313.761618",
)
@article(businessartifacts:2009,
 author       = "David Cohn and Richard Hull",
 year         = "2009",
 title        = "Business Artifacts: A Data-centric Approach to Modeling Business Operations and Processes",
 journal      = "IEEE Data Eng. Bull.",
 volume       = "32",
 number       = "3",
 pages        = "3--9",
 url          = "http://sites.computer.org/debull/A09sept/david.pdf",
)
@inproceedings(Davulcu98logicbased,
 author       = "Hasam Davulcu and Michael Kifer and C.~R. Ramakrishnan and I.V. Ramakrishnan",
 year         = "1998",
 title        = "Logic Based Modeling and Analysis of Workflows",
 booktitle    = "Proceedings of ACM SIGACT-SIGMOD-SIGART",
 publisher    = "ACM Press",
 pages        = "1--3",
)
@incollection(Desel2000,
 author       = "J~Desel and Thomas Erwin",
 year         = "2000",
 title        = "Modeling, Simulation and Analysis of Business Processes",
 editor       = "Wil van~der Aalst and J~Desel and Andreas Oberweis",
 booktitle    = "Business Process Management",
 series       = "Lecture Notes in Computer Science",
 volume       = "1806",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "247--288",
 doi          = "10.1007/3-540-45594-9-9",
)
@inproceedings(datacentricbusinessprocesses:2009,
 author       = "Alin Deutsch and Richard Hull and Fabio Patrizi and Victor Vianu",
 year         = "2009",
 title        = "Automatic verification of data-centric business processes",
 booktitle    = "Proceedings of the 12th International Conference on Database Theory",
 series       = "ICDT '09",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "252--267",
 doi          = "10.1145/1514894.1514924",
)
@article(logicbasedactivedatabases,
 author       = "Alvaro A.~A. Fernandes and M.~Howard Williams and Norman~W. Paton",
 year         = "1997",
 title        = "A logic-based integration of active and deductive databases",
 journal      = "New Gen. Comput.",
 volume       = "15",
 number       = "2",
 pages        = "205--244",
 doi          = "10.1007/BF03037238",
)
@inproceedings(places2010,
 author       = "Thomas Hildebrandt and Raghava~Rao Mukkamala",
 year         = "2010",
 title        = "Distributed Dynamic Condition Response Structures",
 booktitle    = "Pre-proceedings of International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 10)",
 url          = "http://www.itu.dk/people/rao/rao_files/dcrsplacescamredver.pdf",
)
@inproceedings(Hull2010,
 author       = "Richard Hull",
 year         = "2010",
 title        = "Formal Study of Business Entities with Lifecycles: Use Cases, Abstract Models, and Results",
 booktitle    = "Proceedings of 7th International Workshop on Web Services and Formal Methods",
 series       = "Lecture Notes in Computer Science",
 volume       = "6551",
 doi          = "10.1007/978-3-642-15618-2",
)
@article(eventcalculusKR,
 author       = "Robert Kowalski",
 year         = "1992",
 title        = "Database updates in the event calculus",
 journal      = "J. Log. Program.",
 volume       = "12",
 number       = "1-2",
 pages        = "121--146",
 doi          = "10.1016/0743-1066(92)90041-Z",
)
@inproceedings(prohealth2008,
 author       = "Karen~Marie Lyng and Thomas Hildebrandt and Raghava~Rao Mukkamala",
 year         = "2008",
 title        = "From Paper Based Clinical Practice Guidelines to Declarative Workflow Management",
 booktitle    = "Proceedings ProHealth 08 workshop",
 url          = "http://www.itu.dk/people/hilde/Papers/ProHealth08.pdf",
)
@inproceedings(tase2010,
 author       = "Raghava~Rao Mukkamala and Thomas Hildebrandt",
 year         = "2010",
 title        = "From Dynamic Condition Response Structures to {B}\"uchi Automata",
 booktitle    = "Proceedings of 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2010)",
 doi          = "10.1109/TASE.2010.22",
 url          = "http://www.itu.dk/people/rao/rao_files/dcrsextendedabstractTase2010.pdf",
)
@inproceedings(DDBP:2008,
 author       = "Raghava~Rao Mukkamala and Thomas Hildebrandt and Janus~Boris T\o {}th",
 year         = "2008",
 title        = "The Resultmaker Online Consultant: From Declarative Workflow Management in Practice to {LTL}.",
 booktitle    = "Proceedings of DDBP",
)
@phdthesis(Pesic2008,
 author       = "Maja Pesic",
 year         = "2008",
 title        = "Constraint-Based Workflow Management Systems: Shifting Control to Users",
 school       = "Eindhoven University of Technology, Netherlands",
)
@inproceedings(Senkul02alogical,
 author       = "Pinar Senkul and Michael Kifer and Ismail~H. Toroslu",
 year         = "2002",
 title        = "A Logical Framework for Scheduling Workflows Under Resource Allocation Constraints",
 booktitle    = "In VLDB",
 pages        = "694--705",
)
@inproceedings(eventalgebra,
 author       = "Munindar~P. Singh and Greg Meredith and Christine Tomlinson and Paul~C. Attie",
 year         = "1995",
 title        = "An Event Algebra for Specifying and Scheduling Workflows",
 booktitle    = "Proceedings of DASFAA",
 publisher    = "World Scientific Press",
 pages        = "53--60",
)
@inproceedings(PetriFair,
 author       = "R\"udiger Valk and Heino Carstensen",
 year         = "1985",
 title        = "Infinite Behaviour and Fairness in Petri Nets",
 editor       = "G.~Rozenberg",
 booktitle    = "Advances in Petri Nets 1984",
 series       = "Lecture Notes in Computer Science",
 volume       = "88",
 publisher    = "Springer-Verlag",
 pages        = "83--100",
)
@inproceedings(DBLP:conf/ac/Winskel86,
 author       = "Glynn Winskel",
 year         = "1986",
 title        = "Event Structures",
 editor       = "Wilfried Brauer and Wolfgang Reisig and Grzegorz Rozenberg",
 booktitle    = "Advances in Petri Nets",
 series       = "Lecture Notes in Computer Science",
 volume       = "255",
 publisher    = "Springer",
 pages        = "325--392",
)
@incollection(handbookmodelsforconcurrency,
 author       = "Glynn Winskel and Mogens Nielsen",
 year         = "1995",
 title        = "Models for concurrency",
 booktitle    = "Handbook of logic in computer science (vol. 4): semantic modelling",
 publisher    = "Oxford University Press",
 address      = "Oxford, UK",
 pages        = "1--148",
)