Sifakis, J.Yovine, S.2013-03-142013-03-142013-03-141996https://infoscience.epfl.ch/handle/20.500.14299/90414We 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 frameworkfinite automataPetri netstext::conference output::conference proceedings::conference paper