Petri Net Technology for Communication-Based Systems: Advances in Petri Nets (Lecture Notes in Computer Science, 2472, Band 2472) - Softcover

Ehrig, Hartmut; Weber, Herbert; Rozenberg, Grzegorz; Reisig, Wolfgang

Softcover

ISBN 10: 3540205381 ISBN 13: 9783540205388

Verlag: Springer, 2008

Inhaltsangabe

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.

Details zur Ausgabe

• Verlag: Springer
• Erscheinungsdatum: 2008
• Sprache: Englisch
• ISBN 10: 3540205381
• ISBN 13: 9783540205388
• Einband: Taschenbuch
• Anzahl der Seiten: 476
• Kontakt zum Hersteller: Springer Nature Customer Service Center GmbH; ProductSafety@springernature.com; ; Europaplatz 3; Heidelberg; 69115; Deutschland