Cantitate/Preț
Produs

Transactions on Petri Nets and Other Models of Concurrency III: Lecture Notes in Computer Science, cartea 5800

Kurt Jensen Jonathan Billington, Maciej Koutny
en Limba Engleză Paperback – 11 noi 2009

Din seria Lecture Notes in Computer Science

Preț: 38318 lei

Nou

Puncte Express: 575

Preț estimativ în valută:
7335 7544$ 6086£

Carte tipărită la comandă

Livrare economică 20 februarie-06 martie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783642048548
ISBN-10: 3642048544
Pagini: 296
Ilustrații: XVII, 275 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.45 kg
Ediția:2009
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Transactions on Petri Nets and Other Models of Concurrency

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Designing a Workflow System Using Coloured Petri Nets.- From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems.- Soundness of Workflow Nets with Reset Arcs.- Parameterised Coloured Petri Net Channel Models.- On Modelling and Analysing the Dynamic MANET On-Demand (DYMO) Routing Protocol.- Modelling Mobile IP with Mobile Petri Nets.- A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example.- The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection.- Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language.- On Bisimulation Theory in Linear Higher-Order ?-Calculus.