Jörg Desel – författare
Visar alla böcker från författaren Jörg Desel. Handla med fri frakt och snabb leverans.
14 produkter
Application and Theory of Petri Nets and Concurrency
47th International Conference, PETRI NETS 2026, Hamburg, Germany, June 22–26, 2026, Proceedings
Häftad, 2026
921 kr
Lägg i varukorg
This book constitutes the proceedings of the 47th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2026, held in Hamburg, Germany, during June 2026.The 14 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 42 …
Modellierung ’99
Workshop der Gesellschaft für Informatik e.V. (GI), März 1999 in Karlsruhe
Av Jörg Desel, Klaus Pohl m. fl.
Häftad, 1999
512 kr
Lägg i varukorg
Structures in Concurrency Theory
Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11–13 May 1995
Av Jörg Desel
Häftad, 1995
564 kr
Lägg i varukorg
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 …
Business Process Management
Second International Conference, BPM 2004, Potsdam, Germany, June 17-18, 2004, Proceedings
Av Jörg Desel, Barbara Pernici m. fl.
Häftad, 2004
564 kr
Lägg i varukorg
In recent years the management of business processes has emerged as one of the major developments to ease the understanding of, communication about, and evolution of process-oriented information systems in a variety of appli- tion domains. Based on explicit representations of business processes, …
Lectures on Concurrency and Petri Nets
Advances in Petri Nets
Av Jörg Desel, Wolfgang Reisig m. fl.
Häftad, 2004
1089 kr
Lägg i varukorg
The very ?rst model of concurrent and distributed systems was introduced by C.A. Petri in his seminal Ph.D. thesis in 1964. Petri nets has remained a central model for concurrentsystemsfor40 years,andthey areoften usedasa yardstick for other models of concurrency. As a matter of fact, many other …
Integration of Software Specification Techniques for Applications in Engineering
Priority Program SoftSpez of the German Research Foundation (DFG) Final Report
Av Hartmut Ehrig, Werner Damm m. fl.
Häftad, 2004
564 kr
Lägg i varukorg
This volume is a documentation of the main results in the research area "In- gration of Software Speci?cation Techniques for Applications in Engineering". On one hand it is based on the Priority Program "Integration von Techniken der Softwarespezi?kation fur .. ingenieurwissenschaftliche …
Application and Theory of Petri Nets 1998
19th International Conference, ICATPN’98, Lisbon, Portugal, June 22–26, 1998 Proceedings
Av J. Desel, Manuel Silva m. fl.
Häftad, 1998
566 kr
Lägg i varukorg
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 …
Business Process Management
Models, Techniques, and Empirical Studies
Av van der Aalst, Wil, Jörg Desel m. fl.
Häftad, 2000
566 kr
Lägg i varukorg
Business processes are among today's hottest topics in the science and practice of information systems. Business processes and workflow management systems attract a lot of attention from R&D professionals in software engineering, information systems, business-oriented computer science, and …
Application and Theory of Petri Nets and Concurrency
34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings
Av Jose-Manuel Colom, Jörg Desel
Häftad, 2013
564 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 34th International Conference on Applications and Theory of Petri Nets and Concurrency, PETRI NETS 2013, held in Milan, Italy, in June 2013. The 18 regular papers and 2 tool papers presented were carefully reviewed and selected from 56 …
Transactions on Petri Nets and Other Models of Concurrency X
Av Maciej Koutny, Jörg Desel m. fl.
Häftad, 2015
566 kr
Lägg i varukorg
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 …
Transactions on Petri Nets and Other Models of Concurrency XI
Av Maciej Koutny, Jörg Desel m. fl.
Häftad, 2016
566 kr
Lägg i varukorg
The 11th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 36th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2015, and the 15th International Conference on Application of Concurrency to …
Transactions on Petri Nets and Other Models of Concurrency XVIII
Av Fabrice Kordon, Laure Petrucci m. fl.
Häftad, 2026
846 kr
Lägg i varukorg
The 18th volume of ToPNoC contains revised and extended contributions based on the lectures delivered during the 6th Advanced Course on Petri Nets, ACPN 2023. The 7 lectures and 4 practical papers address topics such as modelling distributed systems; Petri Net essentials; semantics of concurrent …
