Søkt på: Bøker av Desel Jorg
totalt 22 treff
Free Choice Petri Nets
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 …
Das ist Informatik
Transactions on Petri Nets and Other Models of Concurrency XI
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 …
Business Process Management
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 …
Struktur und Analyse von Free-Choice-Petrinetzen
Business Process Management
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 …
Lectures on Concurrency and Petri Nets
Integration of Software Specification Techniques for Applications in Engineering
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 …
Application and Theory of Petri Nets and Concurrency
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, …
Application and Theory of Petri Nets and Concurrency
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, …
Lectures on Concurrency and Petri Nets
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 …
Application and Theory of Petri Nets 1998
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 …