Jörg Desel Livres

Business Process Management A Tutorial on Models, Systems and Standards for Workflow Management.- Horizontal Scale-up and Transition to Design in Scenario-Based Programming.- Timed Semantics, Algorithms and Tools.- Petri Nets and Dependability.- Process Algebra.- A Coloured Petri Net Approach to Protocol Verification.- Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets.- A Survey on Non-interference with Petri Nets.- Synthesis of Asynchronous Hardware from Petri Nets.- Teaching Coloured Petri Examples of Courses and Lessons Learned.- Unbounded Petri Net Synthesis.- Petri Nets and Software Engineering.- Model Validation in Controller Design.- Graph Grammars and Petri Net Transformations.- Message Sequence Charts.- Model-Based Development of Executable Business Processes for Web Services.- Modelling and Control with Modules of Signal Nets.- Application of Coloured Petri Nets in System Development.- Bigraphs for Petri Nets.- Notes on Timed Concurrent Constraint Programming.- Petri Nets and Manufacturing An Examples-Driven Tour.- Communicating Transaction An MSC-Based Model of Computation for Reactive Embedded Systems.- Object Petri Nets.

In recent years, managing business processes has become a significant development for understanding, communicating, and evolving process-oriented information systems across various application domains. Explicit representations of business processes enable stakeholders to discuss structure, content, and improvements. Techniques for formal analysis, verification, and simulation can identify deficiencies, leading to enhanced and more flexible processes. Process mining aids in discovering process specifications from logs commonly found in organizations. This volume of Springer’s Lecture Notes in Computer Science features papers from the 2nd International Conference on Business Process Management (BPM 2004), held in Potsdam, Germany, in June 2004. Out of over 70 submissions, 19 high-quality research papers were selected. BPM 2004 is part of a conference series that serves as a platform for researchers and practitioners in all facets of business process management. The inaugural conference took place in June 2003 in Eindhoven, The Netherlands, with its proceedings published as Volume 2678 of Lecture Notes in Computer Science by Springer-Verlag. A previous volume (LNCS1806) focused on four events dedicated to this topic.

This volume contains the proceedings of the 19th annual International Conference on Application and Theory of Petri Nets. The aim of the Petri net conference is to create a forum for the dissemination of the latest results in the application and theory of Petri nets. It always takes place in the last week of June. Typically there are 150 - 200 participants. About one third of these come from industry while the rest are from universities and research institutions. The conferences and a number of other activities are coordinated by a steering committee with the following members: G. Balbo (Italy), J. Billington (Australia), G. DeMichelis(Italy), C. Girault(France), K. Jensen (Denmark), S. Kumagai (Japan), T. Murata (USA), C. A. Petri (Germany; honorary member), W. Reisig (Germany), G. Roucairol (France), G. Rozenberg (The Netherlands; chairman), M. Silva (Spain). The 19th conference has been organized for the rst time in Portugal, by the Department of Electrical Engineering of the Faculty of Sciences and Technology of the New University of Lisbon, together with the Center for Intelligent Robotics of UNINOVA. It takes place in Lisbon at the same time as EXPO’98, the last world exhibition of the 20th century.

Über das Selbstverständnis, die Historie und Visionen zur Zukunft der Informatik Anforderungen an eine zeitgemäße Ausbildung im Fach Informatik Integration und Einsatz von Informatik in Wirtschaft, Technik, Wissenschaft und Gesellschaft

KlappentextBei der Entwicklung von Software- und Informationssystemen werden verschiedene Aspekte von Struktur und Verhalten eines Systems modelliert. Dazu stehen unterschiedliche Modellierungssprachen zur Verfügung. Das Fachgebiet Modellierung befaßt sich mit derartigen Modellen sowie mit ihren Beziehungen untereinander und auch mit dem Prozeß der Modellerstellung. - Der Workshop Modellierung wird 1999 zum zweiten Mal von sieben Fachgruppen der Gesellschaft für Informatik veranstaltet. Dieser Tagungsband enthält 11 Fachbeiträge, die repräsentativ für die verschiedenen Aspekte des Themas Modellierung stehen. Zusätzlich sind Diskussionsbeiträge zu drei sehr aktuellen Fragestellungen im Zusammenhang mit Modellierung enthalten.

KlappentextSehr viele Analyseverfahren für Petrinetze verwenden die Inzidenzmatrix eines Netzes, die eine Verhaltensbeschreibung durch linear-algebraische Verfahren erlaubt. Das Buch gibt eine Einführung in derartige Verfahren und beschreibt vollständig und übersichtlich den State-of-the-art in diesem Bereich. Neben einer neuen systematischen Darstellung bekannter Konzepte runden etliche neue Ergebnisse das Thema ab. Es wird deutlich, daß dynamische Eigenschaften eines netzmodellierten Systems eng zusammenhängen mit der Lösbarkeit bzw. mit Lösungen von Gleichungs- und Ungleichungssystemen. Dabei werden sowohl ganzzahlige als auch rationale Lösungen betrachtet. Eine Differenzierung von Analyse, Verifikation und Beweis führt zu entsprechenden Verfahren, die sich sowohl im Algorithmentyp als auch in ihrer Komplexität unterscheiden. - Zum Verständnis des Buches sind außer Kenntnissen der üblichen mathematischen Terminologie keine Voraussetzungen notwendig. Ein Grundverständnis der Petrinetze ist jedoch hilfreich. Alle im Buch verwendeten Konzepte werden sorgfältig motiviert und mit Hilfe von Beispielen illustriert.

This book is the proceedings of the Structures in Concurrency Theory workshop (STRICT) that was held from 11 th to l3th May 1995 in Berlin, Germany. It includes three invited contributions - by J. de Bakker, E. Best et aI, and E. R. Olderog and M. Schenke - and all papers which were submitted and accepted for presentation. Concurrency Theory deals with formal aspects of concurrent systems. It uses partly competing and partly complementary formalisms and structures. The aim of this workshop was to present and compare different formalisms and results in Concurrency Theory. STRICT was organized by the Humboldt-University Berlin and the ESPRIT Basic Research Working Group CALIBAN. Original papers had been sought from all scientists in the field of Concurrency Theory. The Programme Committee selected twenty contributions with various different topics, including Petri Nets, Process Algebras, Distributed Algorithms, Formal Semantics, and others. I am grateful to the Programme Committee and to the other referees for the careful evaluation of the submitted papers.