Discovering and Navigating a Collection of Process Models using Multiple Quality Dimensions -- Discovering Stochastic Petri Nets with Arbitrary Delay Distributions From Event Logs -- Discovering Unbounded Synchronization Conditions in Artifact-Centric Process Models -- Uncovering the Relationship between Event Log Characteristics and Process Discovery Techniques -- Process remaining time prediction using query catalogs -- Discovering Block-Structured Process Models From Event Logs Containing Infrequent Behaviour -- Business Process Intelligence Challenge 2013 -- Enabling Workflow Composition within a Social Network Environment -- Towards A Meta-Model for Goal-Based Social BPM -- An experiment on the capture of business processes from knowledge workers -- ISEAsy: a social business process management platform -- Towards a Reference Implementation for Data Centric Dynamic Systems -- Synthesizing Object-Centric Models from Business Process Models -- Activity-centric and Artifact-centric Process Model Round trip -- Automatic Generation of Business Process Models based on Attribute Relationship Diagrams -- Enriching Business Process Models with Decision Rules -- Validating and Enhancing Declarative Business Process Models Based on Allowed and Non-Occurring Past Behavior -- Constructing Decision Trees from Process Logs for Performer Recommendation -- An Exploratory Approach for Understanding Customer Behavior Processes Based on Clustering and Sequence Mining -- The Design of a Workflow Recommendation System for Workflow as a Service in the Cloud -- Business Process Assignment and Execution from Cloud to Mobile -- Monitoring of Business Processes with Complex Event Processing -- Bringing Semantics to Aspect-Oriented Business Process Management -- Towards the Enhancement of Business Process Monitoring for Complex Logistics Chains -- Investigating Service Behavior Variance in Port Logistics from a Process Perspective -- A Petri Net Approach for Green Supply Chain Network Modeling and Performance Analysis -- Towards a DSL-based approach for specifying and monitoring home care plans -- Urban Congestion: Arrangement of Aamriw intersection in Bejaia's city -- Supply Chain Uncertainty under ARIMA Demand Process -- Methods for Evaluating Process Model Search -- Decomposition and Hierarchization of EPCs: A Case Study -- Process Model Fragmentization, Clustering and Merging: An Empirical Study -- Towards Measuring Process Model Granularity via Natural Language Analysis -- Automatic Extraction of Process Categories from Process Model Collections -- The Process Model Matching Contest 2013 -- Keynote: Specification and Conflict Detection for GTRBAC in Multi-domain Environment -- Multi-dimensional Secure Service Orchestration -- Explication of Termination Semantics as a Security-Relevant Feature in Business Process Modeling Languages -- Supporting Domain Experts to Select and Configure Precise Compliance Rules -- A Framework for the Privacy Access Control Model -- Role-based Access Control for Securing Dynamically Created Documents -- Towards Enhancing Business Process Monitoring with Sonification -- A Navigation Metaphor to Support Mobile Workflow Systems -- Evaluating KIPN for Modeling KIP.