Seems you have not registered as a member of localhost.saystem.shop!
You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
Application and Theory of Petri Nets and Concurrency
This book constitutes the proceedings of the 42nd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2021, which was held virtually in June 2021. The 22 full papers presented together with 2 keynote papers in this volume were carefully reviewed and selected from 39 submissions. The focus of the conference is on the following topics: application of concurrency to system design; games; verification; synthesis and mining; reachability and partial order; semantics; and tools.
Semantic business process modeling
This book presents a process-oriented business modeling framework based on semantic technologies. The framework consists of modeling languages, methods, and tools that allow for semantic modeling of business motivation, business policies and rules, and business processes. Quality of the proposed modeling framework is evaluated based on the modeling content of SAP Solution Composer and several real-world business scenarios.
Transactions on Petri Nets and Other Models of Concurrency IV
This book presents archival papers on Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. Includes a selection of the best papers from workshops and tutorials at annual Petri net conferences.
Information Systems and e-Business Technologies
This book constitutes the refereed proceedings of UNISCON 2008 held in Klagenfurt, Austria, during April 22-25, 2008. UNISCON combines the ECOMO workshop series and the ISTA conference series. The 19 papers dealing with conceptual modeling, model-driven software development and information systems applications represent a 30% selection from the original set of submissions. They are completed by two keynote lectures and 35 papers from internationally renowned researchers, invited in honor of Heinrich C. Mayr, whose 60th birthday is also celebrated at this event, that he originally created.
Business Process Management Forum
This book constitutes the proceedings of the BPM Forum held at the 20th International Conference on Business Process Management, BPM 2022, which took place in Münster, Germany, in September 2022. The BPM Forum hosts innovative research which has a high potential of stimulating discussions. The papers selected for the forum are expected to showcase fresh ideas from exciting and emerging topics in BPM, even if they are not yet as mature as the regular papers at the conference. The 13 full papers included in this volume were carefully reviewed and selected from 98 submissions. The papers were organized in topical sections named: modeling and design; process mining; and predictive process monitoring.
Business Process Management Forum
This book constitutes the proceedings of the BPM Forum of the 18th International Conference on Business Process Management, BPM 2020, which was planned to take place in Seville, Spain, in September 2020. Due to the COVID-19 pandemic the conference took place virtually. The BPM Forum hosts innovative research which has a high potential of stimulating discussions. The papers selected for the forum are expected to showcase fresh ideas from exciting and emerging topics in BPM, even if they are not yet as mature as the regular papers at the conference. The 19 papers presented in this volume were carefully reviewed and selected from a total of 125 submissions to the main conference. They were organized in topical sections named: process modeling; process mining; predictions and recommendations; BPM adoption and maturity; and standardization, change, and handoffs.
STACS 91
Annotation The Symposium on Theoretical Aspects of Computer Science is organized jointly by the Special Interest Group for Applied Mathematics of AFCET (Association FranAaise de CybernA(c)tique Economique et Technique) and the Special Interest Group for Theoretical Computer Sciences of GI (Gesellschaft fA1/4r Informatik). It is held alternately in France and in Germany. This volume contains two invited papers, on combinatorial methods in computer science, and on the complexity of local optimization, and 24 contributions on theoretical aspects of computer science. Some software systems are presented showing the possibilities of applying theoretical research to the realization of software tools.
Generic Systems Engineering
In dem Band wird ein Denkmodell mit Umsetzungskonzept vorgestellt, das den Umgang mit Komplexität in der Produktentwicklung und der Produktion erleichtert. Abgeleitet von einfachen Regeln, beruht der Ansatz auf dem Konzept des Systems Engineering. Unterschiedliche, zum Systems Engineering entwickelte Vorgehenskonzepte werden darin zusammengeführt, um gegenwärtige und zukünftige Dimensionen der Komplexität zu bewältigen. Die schnell erfass- und erlernbaren Lösungsansätze werden anhand ausgewählter Beispiele der Produktentwicklung illustriert.
Integration of Software Specification Techniques for Applications in Engineering
This book constitutes the documentation of the scientific outcome of the priority program Integration of Software Specification Techniques for Applications in Engineering sponsored by the German Research Foundation (DFG). It includes main contributions of the projects of the priority program and of additional international experts in the field. Some of the papers included were presented at the related Third International Workshop on the topic, INT 2004, held in Barcelona, Spain in March 2004. The 25 revised full papers presented together with 6 section introductions by the volume editors were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on reference case study production automation, reference case study traffic control systems, petri nets and related approaches in engineering, charts, verification, and integration modeling.
