Transactions on Petri Nets and Other Models of Concurrency III | E-Book | sack.de
E-Book

E-Book, Englisch, 275 Seiten, eBook

Reihe: Transactions on Petri Nets and Other Models of Concurrency

Transactions on Petri Nets and Other Models of Concurrency III


2009
ISBN: 978-3-642-04856-2
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, 275 Seiten, eBook

Reihe: Transactions on Petri Nets and Other Models of Concurrency

ISBN: 978-3-642-04856-2
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Transactions on Petri Nets and Other Models of Concurrency III jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Weitere Infos & Material

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.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.