Lectures on concurrency and Petri nets : advances in Petri nets
Gardado en:
| Autor Principal: | |
|---|---|
| Outros autores: | , |
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Series: | Lecture notes in computer science
3098 |
| Sujets: | |
| Acceso en liña: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Lectures on concurrency and Petri nets, Advances in Petri Nets, Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg (eds.), Berlin, Springer, 2004, 1 vol. (VIII-848 p.), Lecture notes in computer science, 3-540-22261-8 • Lectures on Concurrency and Petri Nets, Texte imprimé, 9783662190081 |
Table des matières:
- 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.