Vai al contenuto principale della pagina
Titolo: | Transactions on petri nets and other models of concurrency III / / editor-in-chief, Kurt Jensen ; guest editor, Jonathan Billington, Maciej Koutny |
Pubblicazione: | Berlin ; ; London, : Springer, 2009 |
Edizione: | 1st ed. 2009. |
Descrizione fisica: | 1 online resource (XVII, 275 p.) |
Disciplina: | 511.35 |
Soggetto topico: | Parallel processing (Electronic computers) |
Petri nets | |
Altri autori: | BillingtonJonathan JensenK <1950-> (Kurt) KoutnyMaciej <1958-> |
Note generali: | Selected conference papers, from various workshops. |
Nota di bibliografia: | Includes bibliographical references and index. |
Nota di contenuto: | 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. |
Titolo autorizzato: | Transactions on Petri Nets and Other Models of Concurrency III |
ISBN: | 3-642-04856-0 |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 9910484551103321 |
Lo trovi qui: | Univ. Federico II |
Opac: | Controlla la disponibilità qui |