Lectures on Concurrency and Petri Nets Advances in Petri Nets /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Desel, Jörg (Editor), Reisig, Wolfgang (Editor), Rozenberg, Grzegorz (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
• Series: Lecture Notes in Computer Science, 3098
• Subjects: Mathematics.; Computer communication systems.; Computers.; Algorithms.; Computer logic.; Information storage and retrieval.; Mathematical logic.; Mathematical Logic and Foundations.; Computation by Abstract Devices.; Algorithm Analysis and Problem Complexity.; Logics and Meanings of Programs.; Computer Communication Networks.; Information Storage and Retrieval.

Table of Contents:

• Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management
• InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming
• Timed Automata: Semantics, Algorithms and Tools
• Petri Nets and Dependability
• Process Algebra
• A Coloured Petri Net Approach to Protocol Verification
• Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets
• A Survey on Non-interference with Petri Nets
• Synthesis of Asynchronous Hardware from Petri Nets
• Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned
• Unbounded Petri Net Synthesis
• Petri Nets and Software Engineering
• Model Validation in Controller Design
• Graph Grammars and Petri Net Transformations
• Message Sequence Charts
• Model-Based Development of Executable Business Processes for Web Services
• Modelling and Control with Modules of Signal Nets
• Application of Coloured Petri Nets in System Development
• Bigraphs for Petri Nets
• Notes on Timed Concurrent Constraint Programming
• Petri Nets and Manufacturing Systems: An Examples-Driven Tour
• Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems
• Object Petri Nets.