Distibuted Systems
Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci
Inbunden, 2011
1 974 kr
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
561 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
Del 10471
Critical Systems: Formal Methods and Automated Verification
Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti
Häftad, 2017
561 kr
Transactions on Petri Nets and Other Models of Concurrency XVIII
Fabrice Kordon, Laure Petrucci, Jörg Desel, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Häftad, 2026
1 202 kr
Del 14138
Models and Analysis for Distributed Systems
Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci
Inbunden, 2011
1 934 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
561 kr
Del 13288
Application and Theory of Petri Nets and Concurrency
Luca Bernardinello, Laure Petrucci
Häftad, 2022
838 kr
- -30%