A Temporal Logic for Events and States in Petri Nets
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
A Temporal Logic for Events and States in Petri Nets
|
| Id. |
46490684 |
| Idioma |
inglés
|
| Titulo |
A Temporal Logic for Events and States in Petri Nets |
| Autor(es) |
Ekkart Kindler
Tobias Vesper
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.239
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
In some phases of system development state-based methods are adequate; in others event-based methods are adequate. Petri nets provide a system model which supports both methods and thus allow a smooth transition between the different phases of system development. Most temporal logics for Petri nets, however, do not support both methods. In this paper we introduce a temporal logic for Petri nets which allows to argue on states as well as on events. This way, specifications in the early phases can be event based and verification in later phases can be state-based within a single formalism. Keywords: Temporal logic; event-based; state-based; Petri nets; system development; specification; verification. 1 Introduction Most formal methods employed for the specification and development of distributed systems are either event-based or state-based. The event-based methods highlight the events and their relation; the statebased methods emphasize the states and the state changes. Both a...
|
| Tipo |
application/postscript
|
| Palabras clave |
Temporal logic
|
| Tipo de recurso |
Texto Narrativo
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| Formatos |
application/postscript
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www.informatik.hu-berlin.de/PNT/Postscript/PNSE.ps
[References] 10.1.1.33.960
[References] 10.1.1.57.4830
[References] 10.1.1.31.3923
|
| Fecha de contribución |
29-jul-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
