robert@prose.laas.fr (09/09/89)
ANNOUNCEMENT AND CALL FOR PAPERS Eleventh International Conference on Application and Theory of PETRI NETS Wednesday 27 - Friday 29, June 1990 and Petri Net Tutorial Monday 25 - Tuesday 26, June 1990 PARIS France The Eleventh Annual International Petri Net Conference will be organized by the University of Paris VI and Bull, France. 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 behavior of nets, - Net-based semantical, logical and algebraic calculi, - High-level net models - Timed and stochastic nets - Relationships between net theory and other approaches, - Symbolics 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 "Syste`mes Paralle`les et Distribue's", CNRS C3, AICA, BCS SIG "Formal Aspects of Computing Science", EATCS and GI SIG "Petri Nets and Related System Models". Papers: ^^^^^^^ The authors are invited to submit an extended abstract (approx. 10 pages) or a full draft paper (at most 30 pages) for the conference. The title page must contain a short abstract and a classification of the topics covered, preferably 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 the 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, 1990. ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Authors should clearly indicate the kind(s) of submission intended. Authors will be notified of acceptance/rejection by March 30, 1990. Final papers are due by May 14, 1990. 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. R. Valk Fachbereich Informatik Universitaet Hamburg Rothenbaumchaussee 67/69 D - 2000 Hamburg 13, FRG Organizing Committee Chairman: ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Prof. C. Girault Laboratoire MASI Universite' Pierre et Marie Curie Tour 65 4, Place Jussieu F - 75252 Paris Cedex 05, France Program Committee: ^^^^^^^^^^^^^^^^^^ G.F. Balbo, Italy, E. Best, FRG, J. Billington, Australia, G. Cutts, Grat Britain, C. Girault, France, K. Jensen, Denmark, S. Kodama, Japan, V. Kotov, USSR, P. Lauer, Canada G. Memmi, France, T. Murata, USA, L. Ojala, Finland, R. Shapiro, USA, M. Silva, Spain, C. Simone, Italy, P.S. Thiagarajan, India, R. Valk, FRG. -- Someday has arrived