Wil van der Aalst Libri

This second edition of Wil van der Aalst’s influential work on process mining expands its scope to include data science and big data. It features updates on inductive mining techniques, alignments, an expanded section on software tools, and a new chapter on large-scale process mining. The book is self-contained, covering the full spectrum of process mining from discovery to predictive analytics. Part I introduces data science and process mining, while Part II lays the groundwork in business process modeling and data mining. Part III emphasizes process discovery, the key task in process mining, and Part IV explores conformance checking along with organizational and time perspectives. Part V guides readers in practical applications of process mining, introducing the widely used open-source tool ProM and various commercial products. Finally, Part VI reflects on the presented material and identifies key open challenges. This comprehensive overview serves business process analysts, consultants, managers, graduate students, and BPM researchers, offering valuable insights into the current state of process mining.

Business processes are among today's hottest topics in the science and practice of information systems. Business processes and workflow management systems attract a lot of attention from R& D professionals in software engineering, information systems, business-oriented computer science, and management sciences. The carefully reviewed chapters contributed to this state-of-the-art survey by internationally leading scientists consolidate work presented at various workshops on the topic organized by the editors of the book in the past few years. The book spans the whole spectrum of business process management ranging from theoretical aspects, conceptual models, and application scenarios to implementation issues. It will become a valuable source of reference and information for R& D professionals active in the fascinating interdisciplinary area of business process management and for ambitious practitioners.

This book offers a comprehensive introduction to workflow management, the management of business processes with information technology. By defining, analyzing, and redesigning an organization's resources and operations, workflow management systems ensure that the right information reaches the right person or computer application at the right time. The book provides a basic overview of workflow terminology and organization, as well as detailed coverage of workflow modeling with Petri nets. Because Petri nets make definitions easier to understand for nonexperts, they facilitate communication between designers and users. The book includes a chapter of case studies, review exercises, and a glossary. A special Web site developed by the authors, www.workflowcourse.com, features animation, interactive examples, lecture materials, exercises and solutions, relevant links, and other valuable resources for the classroom.

Focusing on the formal modeling of business processes, this book utilizes Petri nets to capture and analyze concurrency in business information systems. It begins with an overview of these systems and progresses to classical Petri nets, incorporating data, time, and hierarchy to enhance process modeling. The analysis of Petri net models is also covered, helping to identify design flaws. Designed for a wide audience, the text minimizes technical jargon and includes numerous examples and exercises, making it suitable for both independent study and classroom settings.

The 8th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets 2012). The 10 papers cover a diverse range of topics including model checking and system verification, refinement and synthesis, foundational work on specific classes of Petri nets, and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume biological systems, communication protocols, business processes, collaborative team work, and Petri net education. Thus this volume gives a good view of ongoing concurrent systems and Petri nets research.

The study of business processes has emerged as a highly effective approach to coordinating an organization's complex service- and knowledge-based activities. The growing field of business process management (BPM) focuses on methods and tools for designing, enacting, and analyzing business processes. This volume offers a definitive guide to the use of patterns, which synthesize the wide range of approaches to modeling business processes. It provides a unique and comprehensive introduction to the well-known workflow patterns collection -- recurrent, generic constructs describing common business process modeling and execution scenarios, presented in the form of problem-solution dialectics. The underlying principles of the patterns approach ensure that they are independent of any specific enabling technology, representational formalism, or modeling approach, and thus broadly applicable across the business process modeling and business process technology domains. The authors, drawing on extensive research done by the Workflow Patterns Initiative, offer a detailed introduction to the fundamentals of business process modeling and management; describe three major pattern catalogs, presented from control-flow, data, and resource perspectives; and survey related BPM patterns. The book, a companion to the authoritative Workflow Patterns website, will be an essential resource for both academics and practitioners working in business process modeling and business process management.-- Provided by publisher

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC contains: - Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences - Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series) - Other papers invited for publication in ToPNoC - Papers submitted directly to ToPNoC by their authors. The sixth volume of ToPNoC includes revised versions of selected papers from workshops and tutorials held at the 32nd International Conference on Application and Theory of Petri Nets and Concurrency. It also contains a special section on Networks, Protocols, and Services, as well as a contributed paper submitted through the regular submission track of ToPNoC. The 14 papers cover a diverse range of topics including model checking and system verification, synthesis, foundational work on specific classes of Petri nets, and innovative applications of Petri nets and other models of concurrency. Thus this volume gives a good view of ongoing concurrent systems and Petri nets research.

The contents include invited papers discussing the status and future of Coloured Petri Nets, biopathway modeling, and resource allocation in flexible manufacturing systems. It covers the design of Internet subnet quality of service using colored GSPN models and explores compositional theories of both qualitative and quantitative behavior. Full papers delve into various topics, such as life-cycle inheritance in Petri Nets, enriched nets over closed monoidal structures, and automatic symmetry detection in well-formed nets. Proposals for structuring Petri net-based agent interaction protocols and modeling mobility with nets are also presented. The specification and validation of the SACI-1 on-board computer using Timed-CSP-Z and Petri Nets is discussed, along with the computation of completion time distribution for short TCP transfers. Additional studies focus on safety properties in modular high-level nets, reachability in autonomous continuous Petri net systems, and the characterization of liveness in sequential resource allocation systems. The application of Coloured Petri Nets in pervasive healthcare, logical reasoning, and workflow modeling is examined, as well as soundness and separability in workflow nets. Tool papers include PLC programming with signal interpreted Petri Nets, CPN tools for editing and simulating colored Petri Nets, and resources on the Petri Net Markup Language.

The successful realization of complex systems of interacting and reactive software and hardware components relies heavily on the use of a precise language at different stages of the development process. Petri nets are becoming increasingly popular in this area, as they provide a uniform language supporting the tasks of modelling, verification, and validation. Their popularity is due to the fact that fundamental aspects of causality, concurrency, and choice are captured by Petri nets in a natural and mathematically precise way without compromising readability. Several methods, techniques, tools, and algorithms have been developed to ease the practical work and support the basic ideas behind the usage of Petri nets in the area of system engineering. However, this does not mean that complete and ready to use systems and approaches are available or even established. Therefore, a general understanding of the potentials of Petri nets in the context of system engineering needs to be provided and distributed.