Automatic Composition of Timed Petrinet Specifications for a Real-Time Architecture.

Jan Richling, Matthias Werner, Louchka Popova-Zeugmann

Browse the full ICRA paper archive.