Vai al contenuto principale della pagina
Titolo: | Transactions on Petri Nets and Other Models of Concurrency III [[electronic resource]] |
Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Edizione: | 1st ed. 2009. |
Descrizione fisica: | 1 online resource (XVII, 275 p.) |
Disciplina: | 511.35 |
Soggetto topico: | Mathematical logic |
Computers | |
Software engineering | |
Computer programming | |
Mathematical Logic and Foundations | |
Models and Principles | |
Software Engineering | |
Programming Techniques | |
Mathematical Logic and Formal Languages | |
Theory of Computation | |
Altri autori: | JensenK <1950-> (Kurt) BillingtonJonathan 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.: | 996465909003316 |
Lo trovi qui: | Univ. di Salerno |
Opac: | Controlla la disponibilità qui |