conference paper
Compositional specification of timed systems
1996
STACS 96. 13th Annual Symposium on Theoretical Aspects of Computer Science. Proceedings
We present timed automata and timed Petri nets and argue that timed automata and their associated parallel composition operator are not well adapted for the compositional description of timed Petri nets. Timed automata with deadlines are presented. We present a compositional translation method from 1-safe timed Petri nets to this model. We also present basic ideas for a general compositional specification framework
Type
conference paper
Author(s)
Yovine, S.
Date Issued
1996
Published in
STACS 96. 13th Annual Symposium on Theoretical Aspects of Computer Science. Proceedings
Start page
347
End page
59
Subjects
Editorial or Peer reviewed
REVIEWED
Written at
OTHER
EPFL units
| Event name | Event place |
Berlin, Germany | |
Available on Infoscience
March 14, 2013
Use this identifier to reference this record