Jorg Desel – författare
Visar alla böcker från författaren Jorg Desel. Handla med fri frakt och snabb leverans.
15 produkter
Free Choice Petri Nets
Av Jorg Desel, Javier Esparza m. fl.
Häftad, 2005
716 kr
Lägg i varukorg
Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent systems, and a rich theory has developed around them. Petri nets are taught to undergraduates, and also used by industrial practitioners. This book focuses on a particular class of petri nets, free …
Structures in Concurrency Theory
Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11–13 May 1995
Av Jorg Desel
E-bok, 2013
734 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 …
Application and Theory of Petri Nets and Concurrency
47th International Conference, PETRI NETS 2026, Hamburg, Germany, June 22-26, 2026, Proceedings
E-bok, 2026
1175 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 Andy Schurr, Klaus Pohl m. fl.
E-bok, 2013
542 kr
Lägg i varukorg
Business Process Management
Second International Conference, BPM 2004, Potsdam, Germany, June 17-18, 2004, Proceedings
Av Mathias Weske, Barbara Pernici m. fl.
E-bok, 2004
755 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 Grzegorz Rozenberg, Wolfgang Reisig m. fl.
E-bok, 2004
1427 kr
Lägg i varukorg
Integration of Software Specification Techniques for Applications in Engineering
Priority Program SoftSpez of the German Research Foundation (DFG) Final Report
Av Engelbert Westkamper, Eckehard Schnieder m. fl.
E-bok, 2011
755 kr
Lägg i varukorg
Business Process Management
Models, Techniques, and Empirical Studies
Av Andreas Oberweis, Jorg Desel m. fl.
E-bok, 2003
755 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 1998
19th International Conference, ICATPN’98, Lisbon, Portugal, June 22–26, 1998 Proceedings
E-bok, 2003
739 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 …
Application and Theory of Petri Nets and Concurrency
34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings
Av Jorg Desel, Jose-Manuel Colom
E-bok, 2013
734 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 Serge Haddad, Jorg Desel m. fl.
E-bok, 2015
755 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 Jetty Kleijn, Jorg Desel m. fl.
E-bok, 2016
755 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 Lukasz Mikulski, Maciej Koutny m. fl.
E-bok, 2026
1091 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 …
