Jörg Desel Book order

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.