Wil van der Aalst

Kees van Hee

Este livro examina a gestão de processos de negócio com o auxílio de tecnologias de informação. Fornece uma sólida base para a Reengenharia de Processos de Negócio (Business Process Re-engineering – BPR) numa perspetiva claramente orientada às tecnologias de informação. Com o aparecimento de software genérico para a gestão de processos de negócio sob a forma de sistemas de gestão de workflow (Workflow Management System – WFMS) surgiu a necessidade de um livro que descrevesse os fundamentos teóricos e práticos da aplicação de tecnologia de workflow.

Gestão de Workflows: modelos, métodos e sistemas

Kurt Jensen

Maciej Koutny

Karsten Wolf

Gianfranco Balbo

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.

Transactions on Petri Nets and Other Models of Concurrency VII

James Taylor

Peter Fingar

Nathaniel Palmer

Scott Francis

Charles Webster

Mark Casey

Keith D. Swenson

Matthias Walter

Peter Whibley

Surendra Reddy

Dr Setrag Khoshafian

Larry Hawes

Vinay Mummigatti

Roy Altman

Joseph B. Lail

Rudiger Pryss

Stuart Chandler

David RR Webber

Dr Anne Rozinat

Mara Nikolaidou

Alberto Manuel

We are entering an entirely new phase of BPM – the era of “BPM Everywhere” or BPME. BPME represents the strategy for leveraging, not simply surviving but fully exploiting the wave of disruption facing every business over the next 5 years and beyond. Without question, one of the single most disruptive events in the last decade was the introduction of the smartphone. Consider for a moment how great of an impact this has had on the relationship between businesses and their customers. Not even the emergence of the Web and Internet-based “digital native” business models can compare with the level of intimacy now available with your customers. In the era of the Internet of Things where smart homes, appliances, cars, phones, virtually imaginable devices are all connected, BPM must, and will, be everywhere. As Peter Whibley discusses in “The Internet of Things Will Be Invisible,” by 2025 there are expected to be more than 26 billion or more connected devices. In the chapter “Digital Prescriptive Maintenance: Disrupting Manufacturing through IoT, Big Data, and Dynamic Case Management,” Dr. Setrag Khoshafian introduces the “4 Vs” of “thing” data, specifically “Volume, Velocity, Variety and Value.” From monitors and remote sensors, to appliances and vehicles, to tens of billions of other “things,” connected devices are generating meaningful and informative data that would easily overwhelm any human being, but collectively they present critical context about processes and the state of operations. “Big Data” has never been so large, nor presented such an acute role within enterprises and the processes that drive them. BPME as well as traditional BPM methods can already be found at the center of this. Its role will grow exponentially. Emergent factors such as process mining (see chapter “Mining the Swarm” by Keith Swenson, et al.) will be critical for uncovering engagement patterns and the need for process management platforms to coordinate interaction and control of smart devices. It is intelligent BPM that is expanding the window of what can be automated, by enabling adaptable automation. The mobile strategies in far too many organizations seem to be the building of apps that presume that customers will use their smartphones like mini laptops. This avoids the fact that we now have a level of intimacy with our customer we've never had before. As discussed in the chapter “BPM to Go – Supporting Business Processes in a Mobile and Sensing World,” our customers are carrying around a device that offers a range of capabilities unlike any laptop. A smartphone produces volumes of meaningful data about our customers (think about the “4Vs”) and is able to interact with that customer in ways that a laptop never can. The growing ubiquity of connectivity always within reach combined with new services and capabilities such as mobile banking is a key part of driving constantly-changing expectations. Yet digital disruption is not limited to mobile devices, and is in fact disrupting everywhere BPM is otherwise found, and why BPM everywhere is becoming the new normal.

Internet of Things, Process of Everything

BPM Everywhere

Eike Best

This book constitutes the proceedings of the 38th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2017, held in Zaragoza, Spain, in June 2017. Petri Nets 2017 is co-located with the Application of Concurrency to System Design Conference, ACSD 2017. The 16 papers, 9 theory papers, 4 application papers, and 3 tool papers, with 1 short abstract and 3 extended abstracts of invited talks presented together in this volume were carefully reviewed and selected from 33 submissions. The focus of the conference is on following topics: Simulation of Colored Petri Nets, Petri Net Tools.- Model Checking, Liveness and Opacity, Stochastic Petri Nets, Specific Net Classes, and Petri Nets for Pathways.

38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings

Application and Theory of Petri Nets and Concurrency

The refereed proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN 2003, held in Eindhoven, The Netherlands, in June 2003. The 25 revised full papers presented together with 6 invited contributions were carefully reviewed and selected from 77 submissions. All current issues on research and development in the area of Petri nets are addressed, in particular concurrent systems design and analysis, model checking, networking, business process modeling, formal methods in software engineering, agent systems, systems specification, systems validation, discrete event systems, protocols, and prototyping.

24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings

Applications and Theory of Petri Nets 2003

Reiner Hähnle

This book is Open Access under a CC BY licence. This book constitutes the proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, which took place in Prague, Czech Republic in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The 24 papers presented in this volume were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections named: software verification; model-driven development and model transformation; software evolution and requirements engineering; specification, design, and implementation of particular classes of systems; and software testing.

22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Fundamental Approaches to Software Engineering

Wil van der Aalst

Books

Your next favorite book is out there