Dynamic Analysis of Petri Net-Based Discrete Systems
Design of modern digital hardware systems and of complex software systems is almost always connected with parallelism. For example, execution of an object-oriented p- gram can be considered as parallel functioning of the co-operating objects; all modern operating systems are multitasking, and the so...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Livre numérique |
| Lenguaje: | Anglais |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg
[20..].
Cham : Springer Nature |
| Edición: | 1st ed. 2007. |
| Colección: | Lecture Notes in Control and Information Sciences
356 |
| Materias: | |
| Acceso en línea: | 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: | • Dynamic analysis of Petri net-based discrete systems, Andrei Karatkevich, Berlin, Springer, 2007, 1 vol. (XIII-166 p.), Lecture notes in control and information sciences, 3-540-71464-2 • Dynamic Analysis of Petri Net-Based Discrete Systems, Texte imprimé, 9783540836612 |
Tabla de Contenidos:
- Main Notions, Problems and Methods Reduced Reachability Graphs Decomposition for Analysis Analysis by Solving Logical Equations Calculation of Siphons and Traps Verification of Detailed System Descriptions Conclusion