Application and Theory of Petri Nets
32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings
AvLars M. Kristensen,Laure Petrucci
Häftad, Engelska, 2011
Del i serien Lecture Notes in Computer Science
566 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
This book constitutes the refereed proceedings of the 32nd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2011, held in Newcastle, UK, in June 2011. The 13 regular papers and 4 tool papers presented were carefully reviewed and selected from 49 submissions. The book also contains 3 full paper length invited talks. All current issues on research and development in the area of Petri nets and related models of concurrent systems are addressed.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Transactions on Petri Nets and Other Models of Concurrency VI
Lars M. Kristensen, Jetty Kleijn, Giuliana Franceschinis, Marco Ajmone Marsan, Wil M. P. van der Aalst
E-bok
2012708 kr
Application and Theory of Petri Nets and Concurrency
Laure Petrucci, Luca Bernardinello
E-bok
20221 059 kr
Critical Systems: Formal Methods and Automated Verification
Ana Cavalcanti, Cristina Seceleanu, Laure Petrucci
E-bok
2017714 kr
Del 10471
Critical Systems: Formal Methods and Automated Verification
Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti
Häftad, 2017
566 kr
Transactions on Petri Nets and Other Models of Concurrency VI
Wil M. P. van der Aalst, Marco Ajmone Marsan, Giuliana Franceschinis, Jetty Kleijn, Lars M. Kristensen
Häftad, 2012
566 kr