Transactions on Petri Nets and Other Models of Concurrency III

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Edición:1st ed. 2009.
Colección:Transactions on Petri Nets and Other Models of Concurrency, 5800
Temas:
Mathematical logic.
Computer science.
Software engineering.
Computer programming.
Machine theory.
Mathematical Logic and Foundations.
Models of Computation.
Software Engineering.
Programming Techniques.
Formal Languages and Automata Theory.
Theory of Computation.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares