Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
Extending the Petri Box Calculus with Time
| |
|
Extending the Petri Box Calculus with Time
Olga Marroquín Alonso6 and David Frutos de Escrig6 
| (6) |
Departamento de Sistemas Informáticos y Programación, Universidad Complutense de Madrid, E-28040 Madrid, Spain |
Abstract
PBC (Petri Box Calculus) is a process algebra where real parallelism of concurrent systems can be naturally expressed. One of its main features is
the definition of a denotational semantics based on Petri nets, which emphasizes the structural aspects of the modelled systems.
However, this formal model does not include temporal aspects of processes, which are necessary when considering real-time
systems. The aim of this paper is to extend the existing calculus with those temporal aspects. We consider that actions are
not instantaneous, that is, their execution takes time. We present an operational semantics and a denotational semantics based
on timed Petri nets. Finally, we discuss the introduction of other new features such as time-outs and delays. Throughout the
paper we assume that the reader is familiar with both Petri nets and PBC.
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|