Ehrig / Reisig / Rozenberg | Petri Net Technology for Communication-Based Systems | E-Book | sack.de
E-Book

E-Book, Englisch, Band 2472, 468 Seiten, eBook

Reihe: Lecture Notes in Computer Science

Ehrig / Reisig / Rozenberg Petri Net Technology for Communication-Based Systems

Advances in Petri Nets
Erscheinungsjahr 2003
ISBN: 978-3-540-40022-6
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark

Advances in Petri Nets

E-Book, Englisch, Band 2472, 468 Seiten, eBook

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-540-40022-6
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark



Ehrig / Reisig / Rozenberg Petri Net Technology for Communication-Based Systems jetzt bestellen!

Zielgruppe


Research

Weitere Infos & Material


The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY.- Application Development Assistance with the Petri Net Baukasten.- Petri Net Transformations in the ?Petri Net Baukasten?.- Four Steps Towards Sound Business Process Models.- Generation of Animation Views for Petri Nets in GenGED.- The Petri Net Kernel.- The Petri Net Markup Language.- Case Study Logistics: Flexible Modeling of Business Processes Using Algebraic Higher-Order Nets.- Rule-Based Refinement of Petri Nets: A Survey.- Modelling a Railway Crossing with Message Sequence Charts and Petri Nets.- Quantitative Engineering of Business Processes with VIPbusiness.- Inter-organizational Business Process Management with XML Nets.- Three-Level Process Specification for Dynamic Service Outsourcing: From Petri Nets to ebXML and WFPDL.- Open Petri Nets as Semantic Model for Workflow Integration.- Team Automata for CSCW – A Survey –.- Comparing Petri Net and Activity Diagram Variants for Workflow Modelling – A Quest for Reactive Petri Nets.- BASYSNET – An Integrated Approach for Automated Control System Development.- The Electronic Tool Integration Platform (ETI) and the Petri Net Technology.- Inheritance of Business Processes: A Journey Visiting Four Notorious Problems.- A Formal Framework for Petri Net Class Transformations.- Concurrency Based Transition Refinement for the Verification of Distributed Algorithms.



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.