NetNews Usenet Archive 1992 #16/NN_1992_16.iso/spool/comp/software/2970

Text File | 1992-07-27 | 9.2 KB | 268 lines

Newsgroups: comp.software-eng
Path: sparky!uunet!haven.umd.edu!darwin.sura.net!wupost!sdd.hp.com!usc!aero.org!cha
From: [e-mail] (Stephen S. Cha)
Subject: DPF: 14th Int. Conf. on Petri Nets
Message-ID: <[e-mail]>
Sender: [e-mail]
Organization: The Aerospace Corporation, El Segundo, CA
Date: Mon, 27 Jul 1992 18:27:48 GMT
Lines: 257

     Call for Papers and Announcement

    14th INTERNATIONAL CONFERENCE ON
    APPLICATION AND THEORY OF PETRI NETS

Bismarck Hotel, Chicago, USA, June 21-25, 1993

Important Dates:
   Paper Submission Due:  November 16, 1992
   Notification Sent:     February 22, 1993
   Final Version Due:     April 1, 1993
   Tutorials:             June 21-22, 1993
   Conference:            June 23-25, 1993

The 14th Annual International Petri Net Conference and
Tutorial will be held in the Bismarck Hotel, Chicago on June
21-25, 1993. The conference will be organized by the Dept. of
Electrical Engineering and Computer Science, University of
Illinois at Chicago (UIC), with the assistance of Meta Software
Corporation, Cambridge, USA. Papers presenting original
contributions in any area of application and theory of Petri nets
are sought. The language of the conference is English.

       Topics include but are not limited to:

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
Higher-level net models
Timed and stochastic nets
Relationships between net theory and other approaches
Symbolic net representation (graphical, textual, ....)
Computer tools for nets
Experience with using nets, case studies
Educational issues related to nets
Applications of nets to:
  office automation
  flexible manufacturing
  programming languages
  protocols and interfaces
  hardware structures
  real-time systems
  performance evaluation
  operations research
  embedded systems

The conference takes place in cooperation with the IEEE Computer Society,
as well as 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".

                          PAPER SUBMISSIONS
     Authors are invited to submit papers for the conference.
Each paper must be no more than 20 pages, and should be in
such a form that it can be immediately included in the
proceedings without major revisions. The title page must
contain a short abstract and a classification of the topics
covered, preferably using the list of topics above. The paper
must clearly state the problem being addressed, the goal of
the work, the results achieved and the relation to other work.
     Submissions for papers (8 copies) must be received by
 the Program Committee Chair, Prof. Ajmone-Marsan
(address shown below), no later than November 16, 1992.
Use of express or courier mail is recommended.
     Submissions received too late and submissions sent by
e-mail or fax will not be accepted. Authors will be notified of
acceptance/rejection by February 22, 1993. The proceedings
will be published by Springer-Verlag. The final version of
accepted papers must be received by the Program Committee
Chair no later than April 1, 1993. Each final paper must be
no more than 20 pages and be in a form that can be included
in the proceedings without any changes. Detailed
instructions about formatting will be sent to the authors of
accepted papers.

        Program Committee Chair:

Prof. Marco Ajmone-Marsan
Dipartimento di Elettronica
Politecnico di Torino
Corso Duca degli Abruzzi 24
I-10129 Torino, ITALY

Phone:  [phone]
Fax:    [phone]
E-mail:  [e-mail]

        Organizing Committee Co-Chair

Profs. T. Murata and S. M. Shatz
EECS Dept. (m/c 154)
University of Illinois at Chicago (UIC)
Chicago, IL 60680-4348 USA

Phone: [phone]
Fax:   [phone]
E-mail:   [e-mail]

                           TUTORIALS

     Dr. Carl Adam Petri plans to give tutorial lectures.
In addition, two types of tutorials are planned: introductory and
advanced. The introductory tutorial will be offered to
participants who have little or no prior experience with Petri
nets; it will help them understand the basic ideas in many of
the conference contributions. The advanced tutorial will be
offered to those who have some knowledge of Petri nets,
and will be divided into two groups of talks. One will be
directed towards the practical use of Petri nets, while the
other will be more theoretical. A detailed description of the
tutorials will be included in the final program.

                   Tools, Meetings and Courses

      There will be an exhibition of computer tools for Petri
nets.Tuesday will be the main day of the tool exhibition,
and each tool will have its own scheduled time for a
coherent presentation for a large audience. Moreover,
periods will be set aside during the conference in which
tools can be demonstrated for small groups.
      It will be possible to arrange meetings for different
groups, e.g., participants in international Petri net projects.
It will also be possible to arrange small educational courses,
e.g., with respect to some of the demonstrated Petri net
tools. Monday and Tuesday will be the days for these
activities. They are free of charge for the participants.
      Submissions for tools and submissions for meetings
and courses should contain a 2-5 page description. They
must be received by the Program Committee Chair before
January 1, 1993.

              Program Committee

M. Ajmone Marsan, Italy, Chair
E. Best, Germany
J. Billington, Australia
M. Diaz, France
S. Donatelli, Italy
C. Girault, France
K. Jensen, Denmark
H. C. M. Kleijn, The Netherlands
B. Krogh, USA
A. Mazurkiewicz, Poland
J. F. Meyer, USA
M. Molloy, USA
T. Murata, USA
G. Nutt, USA
K. Onaga, Japan
L. Pomello, Italy
W. Reisig, Germany
M. Silva, Spain
P. S. Thiagarajan, India
W. M. Zuberek, Canada

             Steering Committee

M. Ajmone Marsan, Italy
J. Billington, Australia
H. J. Genrich, Germany
C. Girault, France
K. Jensen, Denmark
G. De Michelis, Italy
T. Murata, USA
C. A. Petri, Germany (honorary member)
W. Reisig, Germany
G. Roucairol, France
G. Rozenberg, The Netherlands, Chair
M. Silva, Spain

---------------------------------------------------------------------
Other major activities of the Petri net community:

                   The Petri Net Newsletter

The newsletter is published three times a year by the Special
Interest Group on Petri Nets and Related System Models of
the Gesellschaft fr Informatik. The newsletter contains
short research articles, announcements of meetings, abstracts
 of recent publications, etc. The newsletter is edited by
O. Herzog, W. Reisig and R. Valk and can be ordered from
the following address:

Prof. W. Reisig
Institut fur Informatik, TU Munchen
Postfach 202420
D-8000 Munchen 2
Germany
Phone: [phone]
Fax:   [phone]
E-mail:  [e-mail]

                            Advances in Petri Nets

This series is published by Springer-Verlag (within the
Lecture Notes in Computer Science series). The volumes are
edited by G. Rozenberg. The intention of this series is to
present the most significant recent results in the application
and theory of Petri Nets to the broad computer science
community. Research papers and survey articles for the
Advances can be submitted directly to:

Prof. G. Rozenberg
Dept. of Math & Computer Science
University of Leiden, Niels Bohr Weg 1
P.O. Box 9512, NL-2300 CA Leiden
The Netherlands
Phone: [phone]
Fax:   [phone]
E-mail: [e-mail]

                       Advanced Courses on Petri Nets

These courses are organized periodically in order to present
the progress in Petri nets in a systematic way. There have
been two such previous courses: Hamburg 1979 and Bad
Honnef 1986. The material from these courses has also been
published by Springer-Verlag (as Lecture Notes in Computer
Science series).

                          Petri Net Mailing Group

The Petri net mailing group is used to disseminate
conference calls, technical questions, and all other kinds of
Petri net related information. It works in a similar way to a
news group. The mailing group is maintained by the
Computer Science Department at Aarhus University,
Denmark. More information about the mailing group can be
obtained by sending an email to:

[e-mail]

              History of the Conference

The conference was formerly called the European
Workshop on Applications and Theory of Petri Nets. Listed
below are the conference sites from 1980 (1st) to 1993 (14th):
1.1980 Strasbourg, France
2.1981 Bad Honnef, Germany
3.1982 Varenna, Italy
4.1983 Toulouse, France
5.1984 Aarhus, Denmark
6.1985 Espoo, Finland
7.1986 Oxford, UK
8.1987 Zaragoza, Spain
9.1988 Venice, Italy
10.1989 Bonn, Germany
11.1990 Paris, France
12.1991 Aarhus, Denmark
13.1992 Sheffield, UK
14.1993 Chicago, USA

The aim of the conference is to create a forum for discussing
progress in application and theory of Petri nets. Typically,
the conferences have 150-200 participants - one third of these
coming from industry, the rest from universities and research
institutions. The conference takes place in the last week of June.