From icra2002@ecn.purdue.edu Wed Jan 16 08:17:27 2002 Envelope-to: alveran@richling.de Delivery-date: Wed, 16 Jan 2002 01:04:55 +0100 Date: Tue, 15 Jan 2002 19:04:44 -0500 (EST) From: "2002 IEEE Int. Conf. Robotics and Automation" Message-Id: <200201160004.g0G04iP6025618@pier.ecn.purdue.edu> Subject: Your ICRA02 paper #246 Congratulations! On behalf of the ICRA02 Program Committee, I am delighted to inform you that the following paper has been accepted to appear at the conference: Automatic Composition of Timed Petrinet Specifications for a Real-Time Architecture Given the large volume of papers, the Program Committee had to work overtime to thoroughly review all of them. Please help repay their efforts by following their suggestions closely in revising your paper. But please work fast. Your camera-ready manuscript is due soon, on February 15, 2002 The final copy is limited to six two-column pages on 8.5 by 11 inch paper. You may purchase up to two additional pages for 180 dollars per page. Each column is limited to 3 1/4 inches in width and 9 inches in length, with a 3/8 inch gutter between columns. The margins should be 13/16 inch on the sides, and 1 inch on the top and bottom. Text is to be typed single spaced in at least 10 point New Times Roman (or a font closely resembling this type), with 12 point interline spacing. The first page of the paper, centered on the top below the top margin, should include the paper title, the authors' names, and their affiliations. Complete information about how to upload your final paper to the publisher (OMNIPRESS) will soon be available at the conference web site: http://www.icra-iros.com/icra2002/index.html Thank you again for selecting ICRA02 as the forum to present your work. I look forward to seeing you at the conference. Best Regards, Anthony A. Maciejewski, ICRA02 ============================================================================ ICRA02 Reviews for Paper #246 ============================================================================ Title: Automatic Composition of Timed Petrinet Specifications for a Real-Time Architecture Authors: Jan Richling, Matthias Werner, Louchka Popova-Zeugmann ============================================================================ REVIEWER #1 ============================================================================ Numerical Scores: appropriateness: 4 originality: 4 tech_strength: 3 presentation: 3 overall: 4 Comments: For many systems, it is difficult to see in informal design meets a formal model. In this paper, a way to naturally describe a system with a formal Timed Petrinet model according to a rather informal description is presented. To illustrate the idea, the composable Message Scheduled System (MSS) architecture is provided. According to the composable feature of MSS, the concept of three scheduling levels with three different points of resource sharing is introduced. How to derive a formal Timed Petrinet from a rather informal description is presented. A tool "MGen" that supports the automatic generation of Petrinet models for the MSS architecture is also developed. The presentation should be improved so that in more natural way, and add more intuition. The used method should be highlighted. Although the paper is to model a system in a natural way, its presentation is very abstract. The presentation should be made more intuitive, and more examples should be presented to highlight the contributions. ============================================================================ REVIEWER #2 ============================================================================ Numerical Scores: appropriateness: 3 originality: 4 tech_strength: 4 presentation: 3 overall: 3 Comments: Good description of MSS. Need to provide a more specific robotics example. Need to use a better font. Define RMA and EDF. Need to reference Fig. 1 in text. I would like to see the authors bring some application examples to the conference.