Workflow Management

Abstract

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.

Combined approach architecture development to simulation modeling of systems with parallelism

“…In particular, they do not support constructions like «critical section access control» and «bounded buffer resource transfer» [14] in the producer/consumer problem. This is due to the absence of controlling vertices of the place, which must be marked up in the initial marking, which contradicts the definition and basic properties of WF networks [8].…”

“…But in the works of Hoare and Dijkstra it is noted that software must have «well-defined behavior» [7] and can be analyzed as mathematical objects. This idea is used in [8] to model workflow control based on WorkFlow interpretation of Petri nets (WF nets). But WF networks have significant limitations that do not allow them to be fully used in modeling and analyzing models of software systems.…”

“…Discrete-event modeling allows one to describe the main states of the system and the conditions for the transition from current to next states, taking into account complex cause-andeffect relationships [8]. This simulation paradigm also makes it possible to reproduce the possible actions of the system in the middle and in the environment at successive points in time.…”

“…To achieve all its characteristics, limited Petri nets are used, to which safe, estimation Petri nets, WF nets (Work Flow Petri Nets, WF) and temporary Petri nets belong [14]. For these interpretations and modifications of Petri nets such properties as liveliness (reachability), preservation and predictebility are proved [8]. For the arrangement of the constituent systems with parallelism into a single model, the proposed nested [15] and interacting [16] Petri nets.…”

A workflow for standardising and integrating alien species distribution data

“…In particular, initiatives have emerged to map the occurrence of specific taxa with alien populations -called 'alien taxa' in the following -for major groups such as plants, birds, amphibians and reptiles (van Kleunen et al 2015;Dyer et al 2017a;Capinha et al 2017); to assess the extent of invasions in particular geographical regions (e.g., Europe, DAISIE 2009) and habitats (e.g., marine, Ahyong et al 2019); to document particular events (e.g., dates of record, Seebens et al 2017); or to identify and record the presence of alien species that have negative impacts (e.g., Pagad et al 2018). Although analyses of these data sources have led to valuable insights on the historic and current spatial and temporal patterns and processes of biological invasions (Dyer et al 2017a;Dawson et al 2017;Pyšek et al 2017;Bertelsmeier et al 2017;Seebens et al 2018), these new aggregations of alien species data differ in various respects and are not interoperable.…”