eike@gmdzi (Eike Best) (08/23/88)
CALL FOR PAPERS TENTH INTERNATIONAL CONFERENCE ON APPLICATION AND THEORY OF PETRI NETS Wednesday 28 - Friday 30, June 1989 and PETRI NETS TUTORIAL Monday 26 - Tuesday 27, June 1989 BONN, FEDERAL REPUBLIC OF GERMANY The Tenth Annual International Petri Net Conference will be organized by the Gesellschaft fuer Mathematik und Datenverarbeitung (GMD), the German National Research Center for Computer Science. Papers presenting original contributions in any area of applications and theory of Petri nets are sought. The language of the conference is English. TOPICS System design and verification using nets. Causality/partial order theory of concurrency. Analysis and synthesis, structure and behaviour of nets. Net-based semantical, logical and algebraic calculi. Higher-level net models. Timed and stochastic nets. Relationships between net theory and other approaches. Symbolic net representations (graphical, textual, ...). Computer tools. Experience with using nets, case studies. Educational issues. Applications of nets to: Office automation, Flexible manufacturing systems, Programming languages, Protocols and interfaces, Hardware structures, Real-time systems, Performance evaluation, Operations research, Embedded systems. The conference takes place under the auspices of: AFCET SIG 'Systemes Paralleles et Distribues' and CNRS-C3, AICA, BCS SIG 'Formal Aspects of Computing Science', EATCS and GI SIG 'Petri Nets and Related System Models'. PAPERS Authors are invited to submit an extended abstract (approx. 10 pages) or a full draft paper (at most 30 pages). The title page must contain a short abstract and a classification of the topics covered, preferrably using the list of topics above. The paper or extended abstract must clearly state the problem being addressed, the goal of the work, the results achieved and the relation to other work. TOOLS, POSTERS AND PROJECTS The conference will also comprise: An exhibition of computer tools for nets. Scheduled periods are set aside during the tutorial and conference for tool demonstrations. An exhibition of posters describing theoretical and practical results. Posters are displayed throughout the conference with a scheduled period for discussing them. Authors must submit a one page description of their poster. Short presentations of projects where nets are put into practice. This section of the conference allows the presentation of experiences of using nets in ongoing or completed projects. The presentation may be supplemented by a brief report in the proceedings. Authors must submit a 2 to 4 page outline of the project. SUBMISSIONS All four kinds of submissions (10 copies) must be received by the chairman of the program committee no later than January 15, 1989. Authors should clearly indicate the kind(s) of submission intended. Authors will be notified of acceptance/rejection by April 1, 1989. Final papers are due by May 15, 1989. The page limit will be 20 pages for papers and 10 pages for project presentations. TUTORIAL The tutorial will concentrate on the basic notions and fundamental concepts from the broad spectrum of Petri nets. PROGRAM COMMITTEE CHAIRMAN Prof. Giorgio De Michelis Universit'a degli Studi di Milano Dipartimento di Scienze dell'Informazione Via Moretto da Brescia, 9 I-20133 Milano, Italy ORGANIZING COMMITTEE CHAIRMEN Dr. W. Reisig, Dr. Klaus Voss Gesellschaft fuer Mathematik und Datenverarbeitung, GMD-F1.P Postfach 12 40 D-5205 Sankt Augustin 1, FRG PROGRAM COMMITTEE G.F. Balbo, Italy E. Best, FRG J. Billington, Australia W. Brauer, FRG Ph. Chretienne, France S. Kodama, Japan M. Lindqvist, Finland G. De Michelis, Italy (chairman) T. Murata, USA M. Nielsen, Denmark G. Rozenberg, The Netherlands M. Silva, Spain D. Simpson, Great Britain P. Starke, GDR R. Valette, France