Transactions on Petri Nets and Other Models of Concurrency III [[electronic resource]]
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| 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 |
Serie:
Transactions on Petri Nets and Other Models of Concurrency, . 1867-7193 ; ; 5800