Transactions on Petri Nets and Other Models of Concurrency XI
. Ed(S): Koutny, Maciej; Desel, Jorg; Kleijn, Jetty
€ 67.09
FREE Delivery in Ireland
Description for Transactions on Petri Nets and Other Models of Concurrency XI
Paperback. Editor(s): Koutny, Maciej; Desel, Jorg; Kleijn, Jetty. Series: Lecture Notes in Computer Science. Num Pages: 337 pages, 103 black & white illustrations, biography. BIC Classification: UMA; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 522.
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 System Design, ACSD 2014. It also contains one paper submitted directly to ToPNoC.
The 16 papers cover a diverse range of topics including model checking and system verification, refinement and synthesis; foundational work on specific classes of Petri nets; and innovative applications of Petri nets and other models of concurrency. Application areas covered in this ... Read more
Show LessProduct Details
Format
Paperback
Publication date
2016
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
337
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
319
Place of Publication
Berlin, Germany
ISBN
9783662534007
SKU
V9783662534007
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Transactions on Petri Nets and Other Models of Concurrency XI