Application and Theory of Petri Nets
33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012, Proceedings
Editors: Haddad, Serge, Pomello, Lucia (Eds.)
Free Preview- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
Buy this book
- About this book
-
This book constitutes the refereed proceedings of the 33rd International Conference on Applications and Theory of Petri Nets and Concurrency, PETRI NETS 2012, held in Hamburg, Germany, in June 2012. The 18 regular papers and 3 tool papers presented were carefully reviewed and selected from 55 submissions. The book also contains 2 invited talks. All current issues on research and development in the area of Petri nets and related models of concurrent systems are addressed.
- Table of contents (23 chapters)
-
-
Net Models for Concurrent Object Behaviour
Pages 1-2
-
The Theory of WSTS: The Case of Complete WSTS
Pages 3-31
-
Using Colored Petri Nets to Construct Coalescent Hidden Markov Models: Automatic Translation from Demographic Specifications to Efficient Inference Methods
Pages 32-50
-
An SMT-Based Discovery Algorithm for C-Nets
Pages 51-71
-
Decomposing Process Mining Problems Using Passages
Pages 72-91
-
Table of contents (23 chapters)
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- Application and Theory of Petri Nets
- Book Subtitle
- 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012, Proceedings
- Editors
-
- Serge Haddad
- Lucia Pomello
- Series Title
- Theoretical Computer Science and General Issues
- Series Volume
- 7347
- Copyright
- 2012
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-642-31131-4
- DOI
- 10.1007/978-3-642-31131-4
- Softcover ISBN
- 978-3-642-31130-7
- Edition Number
- 1
- Number of Pages
- XI, 419
- Number of Illustrations
- 139 b/w illustrations
- Topics