Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

More and more information about business processes is recorded by information systems in the form of so-called “event logs”. Despite the omnipresence of such data, most organizations diagnose problems based on fiction rather than facts. Process mining is an emerging discipline based on process model-driven approaches and data mining. It not only allows organizations to fully benefit from the information stored in their systems, but it can also be used to check the conformance of processes, detect bottlenecks, and predict execution problems. Wil van der Aalst delivers the first book on process mining. It aims to be self-contained while covering the entire process mining spectrum from process discovery to operational support. In Part I, the author provides the basics of business process modeling and data mining necessary to understand the remainder of the book. Part II focuses on process discovery as the most important process mining task. Part III moves beyond discovering the control flow of processes and highlights conformance checking, and organizational and time perspectives. Part IV guides the reader in successfully applying process mining in practice, including an introduction to the widely used open-source tool ProM. Finally, Part V takes a step back, reflecting on the material presented and the key open challenges. Overall, this book provides a comprehensive overview of the state of the art in process mining. It is intended for business process analysts, business consultants, process managers, graduate students, and BPM researchers.

Mineral industries -- Environmental aspects. --- Mines and mineral resources -- Environmental aspects. --- Mines and mineral resources. --- Engineering & Applied Sciences --- Computer Science --- Process control. --- Workflow --- Performance --- Strategic planning. --- Management. --- Goal setting (Strategic planning) --- Planning, Strategic --- Strategic intent (Strategic planning) --- Strategic management --- Control of industrial processes --- Industrial process control --- Computer science. --- Information technology. --- Business --- Software engineering. --- Computer logic. --- Information storage and retrieval. --- Application software. --- Computer Science. --- Information Systems Applications (incl. Internet). --- Information Storage and Retrieval. --- IT in Business. --- Software Engineering. --- Logics and Meanings of Programs. --- Computer Appl. in Administrative Data Processing. --- Data processing. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Computer science logic --- Logic, Symbolic and mathematical --- Computer software engineering --- Engineering --- Electronic data processing --- IT (Information technology) --- Technology --- Telematics --- Information superhighway --- Knowledge management --- Informatics --- Science --- Planning --- Business planning --- Automatic control --- Manufacturing processes --- Quality control --- Information storage and retrieva. --- Logic design. --- Information systems. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Information storage and retrieval systems. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Process mining. --- Data mining --- Operations research --- Business—Data processing.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This is the second edition of Wil van der Aalst’s seminal book on process mining, which now discusses the field also in the broader context of data science and big data approaches. It includes several additions and updates, e.g. on inductive mining techniques, the notion of alignments, a considerably expanded section on software tools and a completely new chapter of process mining in the large. It is self-contained, while at the same time covering the entire process-mining spectrum from process discovery to predictive analytics. After a general introduction to data science and process mining in Part I, Part II provides the basics of business process modeling and data mining necessary to understand the remainder of the book. Next, Part III focuses on process discovery as the most important process mining task, while Part IV moves beyond discovering the control flow of processes, highlighting conformance checking, and organizational and time perspectives. Part V offers a guide to successfully applying process mining in practice, including an introduction to the widely used open-source tool ProM and several commercial products. Lastly, Part VI takes a step back, reflecting on the material presented and the key open challenges. Overall, this book provides a comprehensive overview of the state of the art in process mining. It is intended for business process analysts, business consultants, process managers, graduate students, and BPM researchers.

Logic --- Office management --- Business policy --- Business management --- Computer science --- Programming --- Computer architecture. Operating systems --- Information systems --- Computer. Automation --- ICT (informatie- en communicatietechnieken) --- IR (information retrieval) --- applicatiebeheer --- apps --- big data --- data science --- computers --- informatica --- bedrijfsadministratie --- programmeren (informatica) --- informatiesystemen --- organisatiecultuur --- informatietechnologie --- software engineering --- computerkunde --- architectuur (informatica) --- Application software. --- Information storage and retrieval. --- Information technology. --- Business—Data processing. --- Software engineering. --- Computer logic. --- Information Systems Applications (incl. Internet). --- Information Storage and Retrieval. --- IT in Business. --- Software Engineering. --- Logics and Meanings of Programs. --- Computer Appl. in Administrative Data Processing. --- Fouille de données --- Mémorisation des données --- Analyse des données --- Traitement des données --- open data --- text and data mining --- Information storage and retrieval

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

More and more information about business processes is recorded by information systems in the form of so-called event logs . Despite the omnipresence of such data, most organizations diagnose problems based on fiction rather than facts. Process mining is an emerging discipline based on process model-driven approaches and data mining. It not only allows organizations to fully benefit from the information stored in their systems, but it can also be used to check the conformance of processes, detect bottlenecks, and predict execution problems. Wil van der Aalst delivers the first book on process mining. It aims to be self-contained while covering the entire process mining spectrum from process discovery to operational support. In Part I, the author provides the basics of business process modeling and data mining necessary to understand the remainder of the book. Part II focuses on process discovery as the most important process mining task. Part III moves beyond discovering the control flow of processes and highlights conformance checking, and organizational and time perspectives. Part IV guides the reader in successfully applying process mining in practice, including an introduction to the widely used open-source tool ProM. Finally, Part V takes a step back, reflecting on the material presented and the key open challenges. Overall, this book provides a comprehensive overview of the state of the art in process mining. It is intended for business process analysts, business consultants, process managers, graduate students, and BPM researchers.

Logic --- Office management --- Computer science --- Information systems --- Computer. Automation --- ICT (informatie- en communicatietechnieken) --- IR (information retrieval) --- bedrijfseconomie --- procesmanagement (economie) --- informatica --- ontwerpen --- bedrijfsadministratie --- programmeren (informatica) --- informatiesystemen --- software engineering --- informatica management

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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 are: 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.

Logic --- Computer science --- Computer. Automation --- computers --- ontwerpen --- programmeren (informatica) --- software engineering --- computerkunde

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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 7th volume of ToPNoC contains revised material from the 5th International Summer School “Advanced Course on Petri Nets”, held in September 2010 in Rostock, Germany. The nine papers cover a diverse range of topics including modeling, verification, partial order semantics, and synthesis of Petri nets. In compliance with their origin as course material, the papers are written in survey or tutorial style and give a comprehensive overview of the state of the art in their respective areas.

Computer science. --- Software engineering. --- Logic design. --- Computer Science. --- Software Engineering. --- Computation by Abstract Devices. --- Logics and Meanings of Programs. --- Engineering & Applied Sciences --- Computer Science --- Information Technology --- Software Engineering --- Design, Logic --- Design of logic systems --- Computer software engineering --- Informatics --- Computers. --- Computer logic. --- Petri nets --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Science --- Engineering --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace