Catálogo de publicaciones - libros
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach
Wojciech Penczek Agata Pólrola
Resumen/Descripción – provisto por la editorial
No disponible.
Palabras clave – provistas por la editorial
No disponibles.
Disponibilidad
| Institución detectada | Año de publicación | Navegá | Descargá | Solicitá |
|---|---|---|---|---|
| No detectada | 2006 | SpringerLink |
Información
Tipo de recurso:
libros
ISBN impreso
978-3-540-32869-8
ISBN electrónico
978-3-540-32870-4
Editor responsable
Springer Nature
País de edición
Reino Unido
Fecha de publicación
2006
Información sobre derechos de publicación
© Springer-Verlag Berlin Heidelberg 2006
Cobertura temática
Tabla de contenidos
Petri Nets with Time
Wojciech Penczek; Agata Pólrola
We analyse the bifurcation sequence of typical simple plane shear flows numerically by using a bifurcation analysis and also a DNS technique, considering flows with and without a system rotation about a spanwise axis. Our analysis is applied to (1) plane Couette flow, (2) plane Poiseuille flow, and (3) flow with a cubic velocity profile.
Part I - Specifying Timed Systems and Their Properties | Pp. 3-27
Timed Automata
Wojciech Penczek; Agata Pólrola
We analyse the bifurcation sequence of typical simple plane shear flows numerically by using a bifurcation analysis and also a DNS technique, considering flows with and without a system rotation about a spanwise axis. Our analysis is applied to (1) plane Couette flow, (2) plane Poiseuille flow, and (3) flow with a cubic velocity profile.
Part I - Specifying Timed Systems and Their Properties | Pp. 29-49
From Time Petri Nets to Timed Automata
Wojciech Penczek; Agata Pólrola
We analyse the bifurcation sequence of typical simple plane shear flows numerically by using a bifurcation analysis and also a DNS technique, considering flows with and without a system rotation about a spanwise axis. Our analysis is applied to (1) plane Couette flow, (2) plane Poiseuille flow, and (3) flow with a cubic velocity profile.
Part I - Specifying Timed Systems and Their Properties | Pp. 51-62
Main Formalisms for Expressing Temporal Properties
Wojciech Penczek; Agata Pólrola
We analyse the bifurcation sequence of typical simple plane shear flows numerically by using a bifurcation analysis and also a DNS technique, considering flows with and without a system rotation about a spanwise axis. Our analysis is applied to (1) plane Couette flow, (2) plane Poiseuille flow, and (3) flow with a cubic velocity profile.
Part I - Specifying Timed Systems and Their Properties | Pp. 63-85
Abstract Models
Wojciech Penczek; Agata Pólrola
We analyse the bifurcation sequence of typical simple plane shear flows numerically by using a bifurcation analysis and also a DNS technique, considering flows with and without a system rotation about a spanwise axis. Our analysis is applied to (1) plane Couette flow, (2) plane Poiseuille flow, and (3) flow with a cubic velocity profile.
Part II - Model Generation and Verification | Pp. 89-154
Explicit Verification
Wojciech Penczek; Agata Pólrola
We analyse the bifurcation sequence of typical simple plane shear flows numerically by using a bifurcation analysis and also a DNS technique, considering flows with and without a system rotation about a spanwise axis. Our analysis is applied to (1) plane Couette flow, (2) plane Poiseuille flow, and (3) flow with a cubic velocity profile.
Part II - Model Generation and Verification | Pp. 155-180
Verification Based on Satisfiability Checking
Wojciech Penczek; Agata Pólrola
We analyse the bifurcation sequence of typical simple plane shear flows numerically by using a bifurcation analysis and also a DNS technique, considering flows with and without a system rotation about a spanwise axis. Our analysis is applied to (1) plane Couette flow, (2) plane Poiseuille flow, and (3) flow with a cubic velocity profile.
Part II - Model Generation and Verification | Pp. 181-230