Transactions on petri nets and other models of concurrency III / / editor-in-chief, Kurt Jensen ; guest editor, Jonathan Billington, Maciej Koutny
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| 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 |
Serie:
Lecture notes in computer science ; ; 5800.