Lectures on Concurrency and Petri Nets Advances in Petri Nets
Other Authors: | , , |
---|---|
Format: | eBook |
Language: | English |
Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2004, 2004
|
Edition: | 1st ed. 2004 |
Series: | Lecture Notes in Computer Science
|
Subjects: | |
Online Access: | |
Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
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