Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Transactions on Petri Nets and Other Models of Concurrency III [[electronic resource]]
| Transactions on Petri Nets and Other Models of Concurrency III [[electronic resource]] |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XVII, 275 p.) |
| Disciplina | 511.35 |
| Altri autori (Persone) |
JensenK <1950-> (Kurt)
BillingtonJonathan KoutnyMaciej <1958-> |
| Collana | Transactions on Petri Nets and Other Models of Concurrency |
| 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 |
| ISBN | 3-642-04856-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| 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. |
| Record Nr. | UNISA-996465909003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Transactions on petri nets and other models of concurrency III / / editor-in-chief, Kurt Jensen ; guest editor, Jonathan Billington, Maciej Koutny
| Transactions on petri nets and other models of concurrency III / / editor-in-chief, Kurt Jensen ; guest editor, Jonathan Billington, Maciej Koutny |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; London, : Springer, 2009 |
| Descrizione fisica | 1 online resource (XVII, 275 p.) |
| Disciplina | 511.35 |
| Altri autori (Persone) |
BillingtonJonathan
JensenK <1950-> (Kurt) KoutnyMaciej <1958-> |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Parallel processing (Electronic computers)
Petri nets |
| ISBN | 3-642-04856-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| 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. |
| Record Nr. | UNINA-9910484551103321 |
| Berlin ; ; London, : Springer, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Transactions on petri nets and other models of concurrency IV / / Kurt Jensen, Susanna Donatelli, Maciej Koutny (eds.)
| Transactions on petri nets and other models of concurrency IV / / Kurt Jensen, Susanna Donatelli, Maciej Koutny (eds.) |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2010 |
| Descrizione fisica | 1 online resource (XVIII, 225 p. 84 illus., 40 illus. in color.) |
| Disciplina | 005.743 |
| Altri autori (Persone) |
JensenK <1950-> (Kurt)
DonatelliSusanna KoutnyMaciej <1958-> |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer multitasking
Parallel processing (Electronic computers) Petri nets |
| ISBN |
1-283-47755-6
9786613477552 3-642-18222-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | -Vicinity Respecting Homomorphisms for Abstracting System Requirements -- Search-Order Independent State Caching -- Bounded Parametric Model Checking for Elementary Net Systems -- SAT-Based (Parametric) Reachability for a Class of Distributed Time Petri Nets -- Parametric Model Checking with VerICS -- Schedule-Aware Workflow Management Systems -- On-the-Fly Auditing of Business Processes -- Modeling Organizational Units as Modular Components of Systems of Systems -- A Multi-Agent Organizational Framework for Coevolutionary Optimization. |
| Altri titoli varianti |
Transactions on petri nets and other models of concurrency 4
Transactions on petri nets and other models of concurrency four Petri nets and other models of concurrency 4 Petri nets and other models of concurrency four Petri nets and other models of concurrency IV |
| Record Nr. | UNINA-9910483394903321 |
| Berlin ; ; New York, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||