eike@gmdzi.uucp (Eike Best) (01/08/86)
Announcement of an
ADVANCED COURSE ON PETRI NETS
(Bad Honnef, Fed.Rep.Germany, Sept. 8-19,1986).
Petri Nets represent a sustained effort to develop concepts, theories
and tools to aid in distributed systems design and analysis. They are used in
many areas of computer science including software engineering, information
systems, computer architecture and operating systems, communication protocols
and networks, process control and socio-technical systems such as office
communication and man-machine interaction. A rich body of theory has been
developed for Petri Nets. It reflects all major problem areas of distributed
systems and covers many successfully applied principles and analysis techniques
for systems organisation.
The course addresses those who are
() interested in systems design and would like to learn to use Petri Nets,
() familiar with subareas of the theory or the applications of nets and wish to become acquainted with the whole area,
() interested in learning about recent results presented within a uniform
framework,
() wanting to learn about successfully applying Petri Nets.
There will be introductory lectures (and exercises), survey talks on the most
relevant issues, as well as presentations on recent results in theory and
applications. The relationship to other models of concurrent systems, such as
COSY, CSP, CCS, ACP, and to techniques such as SADT will also be discussed.
In the field of general systems design we relate nets to techniques such as
SADT. Several computer-aided tools for editing and analysing nets will also
be presented. Also an opportunity will be provided for the participants
to discuss their research problems and results.
Lectures will be given by leading experts in the area. The course will take
place in Bad Honnef, near Bonn, Fed. Rep. Germany, from September 8, 1986
to September 19,1986. Directors of the course are:
Prof.Dr. W.Brauer, University of Munich;
Dr. W.Reisig, GMD Bonn;
Prof.Dr. G.Rozenberg, University of Leiden, The Netherlands.
[These are not the speakers, there will be many other speakers - MRH]
Further information from
Dr. W.Reisig or Dr. E.Best
GMD-F1P, Postfach 1240, D-5205 St.Augustin-1, Fed.Rep.Germany
Or: eike@gmdzi.uucp, mcvax!unido!gmdzi!eike, eike%gmdzi.uucp@GERMANY.ARPA.
[In light of the following clarification, I'm approving this for net.announce.
The course is meant for a world wide audience. I am assured that the whole
thing is on a non-profit basis. - MRH
All lectures are in English.
Our literature search has revealed that there is plenty
of work on Petri nets going on in the States which is not
well known in Europe. Conversely, there may be a surprisingly
high demand for such a course in the States.
Since this will be THE event on Petri nets next year world wide,
I would suggest to put it on the net.announce (in the interest
of information exchange).]