sorenchr@daimi.aau.dk (Soren P. Christensen) (03/21/91)
Twelfth International Conference on
Application and Theory of Petri Nets
Wednesday 26 - Friday 28, June 1991
and
Petri Nets Tutorial
Monday 24 - Tuesday 25, June 1991
----------------------------------------------------------
Organized by Aarhus University, Denmark
Conference site: Gjern (30 km northwest of Aarhus)
----------------------------------------------------------
Tutorial lectures on: Elementary Net Systems,
Place/Transition Systems, High Level Nets, Coloured Petri
Nets, and Applications to Performance Evaluation and
Communication Protocols.
Invited lectures by: J. Billington (Australia), W. Damm
(Germany) and G. Winskel (Denmark).
----------------------------------------------------------
Conference Program - Wednesday, June 26
Invited Talk: J. Billington
A Protocol Engineering Environment based on Petri Nets
V.O. Pinci and P. Huber
A Formal Executable Specification of the ISDN Basic Rate
Interface
G.R. Gao, Y.B. Wong and Q. Ning
A Timed Petri Net Model for Loop Scheduling
L. Cherkasova, R.R. Howell and L.E. Rosier
Bounded Self-Stabilizing Petri Nets
Y. Soussi
Deterministic Systems of Sequential Processes:
A Class of Structured Petri Nets
J. Fanchon
Fifo-Net Models for Processes with Asynchronous
Communication
A. Valmari
Stubborn Sets of Coloured Petri Nets
J.M. Couvreur, S. Haddad and J.F. Peyre
Computation of Generative Families of Positive
Semi-Flows in Coloured Nets
J. Ezpeleta and J.M. Couvreur
A New Technique for finding a Generating Family of Siphons,
Traps and ST-components. Application to Colored Petri Nets.
----------------------------------------------------------
Conference Program - Thursday, June 27
Invited Talk: W. Damm
Using Temporal Logic in the Specification of Petri Nets:
Theory and Applications
H. Tuominen
Proving Properties of Place/Transition Nets with a
Resolution Theorem Prover
G. Chiola, S. Donatelli and G. Franceschinis
Priorities, Inhibitor Arcs and Concurrency in P/T Nets
G. Chiola, S. Donatelli and G. Franceschinis
On Parametric P/T nets and their Modelling Power
M. Jantzen and H. Petersen
Twisting Petri Net Languages and How to Obtain them by
Reducing Linear Context-Free Nets
J. Campos and J.M. Colom
A Reachable Lower Bound for the Mean Cycle Time of
Transitions of Live and Safe Free Choice Nets
Y. Li and M. Woodside
Iterative Decomposition and Aggregation of
Stochastic Marked Graph Petri Nets
S. Laftit, J.M. Proth and X.L. Xie
Marking Optimization in Timed Event Graphs
K. Okuda and T. Ushio
Petri Net Based Hierarchical Qualitative Simulation and its
Application to Co-generation Plant
J. Lilius and P. Ostergard
On the Verification of Programmable Logic Controller
Programs
----------------------------------------------------------
Conference Program - Friday, June 28
Invited Talk: G. Winskel
Title will be announced later
R. Gorrieri and U. Montanari
Distributed Implementation of CCS
G. De Michelis
Constraints and Extensions in a Calculus of EN Systems
R. Fehling
A Concept for Hierarchical Petri Nets with Building Blocks
G. Chehaibar
Replacement of Open Interface Subnets and
Stable State Transformation Equivalence
K.M. van Hee and P.A.C. Verkoulen
Integration of a Data Model and Petri Nets
D. Buchs and N. Guelfi
CO-OPN: A Concurrent Object Oriented Petri Net Approach
E. Battiston, F. De Cindio, G. Mauri and L. Rapanotti
Morphisms and Minimal Models for OBJSA Nets
----------------------------------------------------------
Tutorial Program - Monday & Tuesday June 24-25
Monday, June 24
W. Reisig
Informal Introduction to Petri Nets
P.S. Thiagarajan
Elementary Net Systems (I)
G. Rozenberg
Elementary Net Systems (II)
W. Reisig
Place/Transition Systems
H.J. Genrich
High Level Nets
Tuesday, June 25
K. Jensen
Coloured Petri Nets (I)
M. Ajmone-Marsan
Timed and Stochastic Nets and Performance Evaluation
J. Billington
Communication Protocols and Petri Nets
---------------------------------------------------------
Tool Exhibition - Tuesday June 24-25
As a new activity of the tool exhibition the following
scheduled tool presentations and demonstrations will take
place. Conference participants who are interested in tools
should thus try to arrive Monday evening, instead of
Tuesday evening:
Institute of Cybernetics and Information Processes
Diogenes
Eindhoven University of Technology
ExSpect
University of Dortmund
PetriLab
Meta Software
Design/CPN
University of Torino
GreatSPN
University Pierre & Marie Curie
AMI
In addition to the presentations listed above, the tool
exhibition will be open through-out the tutorial and the
conference. This means that it will be possible to arrange
demonstrations for small groups and individual
participants.
It is still possible to register tools for the tool
exhibition - but not for the scheduled
presentations/demonstrations. Interested tool developers
should contact the organizing committee as soon as
possible. This is also the case for groups who want to
arrange Petri net meetings and courses during the tutorial
and conference. Such meetings and courses can take place
Monday, Tuesday, Wednesday evening, and Thursday evening.
----------------------------------------------------------
Organizing Committee
Soren Christensen
Niels Damgaard Hansen
Kurt Jensen
Karen Kjaer Moller
Mogens Nielsen
Computer Science Department
Aarhus University
Ny Munkegade, Bldg. 540
DK-8000 Aarhus C
Denmark
Phone: +45 86 12 71 88
Telefax: +45 86 13 57 25
Telex: 64767 aausci dk
E-mail: icpn@daimi.aau.dk
----------------------------------------------------------
Program Committee
G. Balbo, Italy
J. Billington, Australia
L. Cherkasova, USSR
F. De Cindio, Italy
G. Cutts, UK
P. Degano, Italy
C. Girault, France
T. Hildebrand, France
S. Kodama, Japan
P. Lauer, Canada
A. Mazurkiewicz, Poland
T. Murata, USA
S. Natkin, France
M. Nielsen, Denmark
W. Reisig, Germany
R.M. Shapiro, USA
M. Silva, Spain (chairman)
P. Starke, Germany
P.S. Thiagarajan, India
R. Valk, Germany
A. Valmari, Finland
----------------------------------------------------------
Steering Committee
H.J. Genrich, Germany
K. Jensen, Denmark
G. De Michelis, Italy
C.A. Petri, Germany (honorary member)
G. Roucairol, France
G. Rozenberg, Netherlands (chairman)
M. Silva, Spain
----------------------------------------------------------
History of the Conference
The conference was formerly called the European Workshop on
Applications and Theory of Petri Nets and the meetings have
taken place annually since 1980:
1980 Strasbourg, France
1981 Bad Honnef, Germany
1982 Varenna, Italy
1983 Toulouse, France
1984 Aarhus, Denmark
1985 Espoo, Finland
1986 Oxford, UK
1987 Zaragoza, Spain
1988 Venice, Italy
1989 Bonn, Germany
1990 Paris, France
1991 Aarhus, Denmark
The aim of the conference is to create a forum for
discussing progress in the application and theory of Petri
nets. Typically, the conference has 150-200 participants -
one third of these coming from industry while the rest are
from universities and research institutions. The conference
takes place in the last week of June.
----------------------------------------------------------
Conference Site
The tutorial and the conference will take place at a
"Conference and Leisure Centre" (hereafter called the
Conference Hotel) near the small village of Gjern -
situated 30 km northwest of Aarhus:
Petri Net Conference
Sohojlandet / Conference and Leisure Centre
Lille Amerika 10
DK-8883 Gjern
Denmark
Phone: +45 86 87 51 00
Telefax: +45 86 87 51 33
E-mails can be sent to the participants via:
icpn@daimi.aau.dk. Letters, telefaxes and e-mails should be
clearly marked with the name of the receiver. It will be
possible to send letters, telefaxes and e-mails from the
Conference Hotel.
The Conference Hotel is situated in one of the most
beautiful Danish sceneries, and it has facilities for many
different kinds of sport and recreational activities - e.g.
swimming, tennis, squash, bowling, walking, running,
fishing, aerobics and mountain biking. Most of the
activities are free of charge for people staying at the
Conference Hotel. Horses can be rented at a nearby farm.
The Conference Hotel is situated a few kilometres outside
the small village of Gjern (which has an Automobile Museum
and a few shops). Moreover, the Conference Hotel is
situated approximately 15 km from the city of Silkeborg
(which has all different kinds of shopping facilities).
----------------------------------------------------------
Registration
Registration of participants and reservations for rooms &
meals should be made using the enclosed registration forms
and sent to the address above (via mail or telefax).
Registration will made on a first come, first served basis.
Early registration is recommended since the number of
participants is limited by the size of the Conference
Hotel. Surcharge for registration or payment after MAY 20
is 200 DK KR.
Confirmation will be sent to the participants after receipt
of the registration forms and payment.
Some grants are available for students and for researchers
with limited funds. The grants will not cover
transportation, accommodation or food - but only exemption
from conference and tutorial fees. Persons applying for a
grant must send a letter of explanation to the organizing
committee. Students should include a recommendation from
their scientific supervisor.
----------------------------------------------------------
Registration fees
The fee for members of ACM, AFCET, AICA, BCS, EATCS, GI or
IEEE is 1050 DK KR for the conference and 700 DK KR for the
tutorial. Non-members pay 1250
DK KR for the conference and 900 DK KR for the tutorial.
The current exchange rates (March 1991) are: 100 DK KR = 26
DM = 17 US $. The fee includes proceedings and other
conference material. It also covers part of the conference
dinner (the rest is covered via the full board provided by
the Conference Hotel, see below). Please notice that there
will be no reduction in the conference fee for non-
participation in the conference dinner.
For participants who do not have full board at the
Conference Hotel (see below) there will be an additional
fee of 200 DK KR for the tutorial and 450 DK KR for the
conference. This additional fee covers lunches,
refreshments during the session breaks and the conference
dinner.
The fee can be paid by international money transfer or
cheque, payable to:
Den Danske Bank
Langelandsgade 177
DK-8200 Aarhus N
Denmark
Att: Petri Net Conference 1991
Bank no: 4809
Account no: 4809 099 474
The fee can also be paid by postal cheque (giro):
Petri Net Conference 1991
Computer Science Department, Aarhus University
Ny Munkegade, Building 540
DK-8000 Aarhus C
Denmark
Account no: 797 1842
In both cases payment should be made in Danish Kroner and
all transfer expenses should be covered by the registering
participant. Unfortunately fees cannot be paid by means of
credit cards. Payment will be refunded if a cancellation
letter is received before June 10. After June 10 no refunds
will be given.
----------------------------------------------------------
Accommodation
All participants will be accommodated at the Conference
Hotel. The cost of accommodation is as follows:
Single room: 375 DK KR per day
Double room: 560 DK KR per day (per room)
Each room contains a double bed and has a private bath
room. The quality corresponds to a hotel room of
medium/high standard. Moreover, each room belongs to an
apartment - containing a large living room and a kitchen.
Most apartments contain two rooms, while a few apartments
only contain one room.
For families and larger groups (e.g. students) it is
possible to accommodate up to 6 people in a large apartment
with two rooms, and up to 4 people in a small apartment
with one room. This means that two persons must sleep in
the living room (on two sofa beds) while the bedroom(s)
must be used as double room(s). Such an arrangement can be
made for an extra cost of 20 DK KR per person sleeping in
the living room. This means that the cost is as follows:
6 people Large apartment 2 * 560 + 2 * 20 = 1160
DK KR per day
5 people Large apartment 2 * 560 + 1 * 20 = 1140
DK KR per day
4 people Large apartment 2 * 560 + 0 * 20 = 1120
DK KR per day
4 people Small apartment 1 * 560 + 2 * 20 = 600
DK KR per day
3 people Small apartment 1 * 560 + 1 * 20 = 580
DK KR per day
All the above rates are only available on the condition
that all the persons have full board at the Conference
Hotel. The full board includes breakfast, lunch, dinner and
two daily refreshments during the session breaks. The cost
of the full board is 280 DK KR per day (per person).
Earliest time of arrival is Saturday June 22 (the rooms
will be available from 15.00). Latest time of departure is
Saturday June 29 (the rooms must be vacated before 10.00).
The accommodation and board are paid directly to the
Conference Hotel upon departure. Cash, Eurocheques and the
following credit cards are accepted: American Express,
Visa, Eurocard and Diners.
If you have wishes/demands (earlier arrival, later
departure, special rates for small children, etc.) which do
not comply with the description above, you should contact
the Conference Hotel directly for clarification and further
information. This is also the case if you want to stay at
the Conference Hotel without having full board.
----------------------------------------------------------
Transportation
Participants travelling by air should arrive at Karup
airport - which can be reached by domestic flights from
Copenhagen, approximately 5-8 times a day. From Karup
airport the Conference Hotel can be reached by special
airport buses - leaving outside the terminal shortly after
each flight arrival. The buses are marked Visti's Biler and
will carry the conference logo. The price of the journey
will be 50-100 DK KR (one way), depending upon the number
of passengers. We recommend that you make bus reservations
by indicating the expected arrival time on the registration
form.
A few international flights go to Billund and
Tirstrup/Aarhus. From these two airports it is, however,
considerably more difficult and time-consuming to reach
Gjern. From Billund take the airport taxi to Vejle, and
then the train to Silkeborg. From Tirstrup/Aarhus take the
airport bus to Aarhus, and then train/bus to Silkeborg. In
both cases proceed from Silkeborg as described below.
Participants arriving by train should go to Silkeborg. From
there the Conference Hotel can be reached by Taxi
(approximately 15 km) or by bus (leaving each hour or each
second hour; it should be noted that there are no buses
Saturday evening).
Participants arriving by car should go to the village of
Gjern - which is situated a few kilometres south of the
main road between Aarhus and Viborg. From the centre of
Gjern there are signs to the Conference Hotel.
----------------------------------------------------------
Arrival and information
The conference information desk will be open at the
Conference Hotel from 15.00 Saturday June 22. All questions
concerning the conference should be directed to this
information desk. All questions concerning rooms, food,
telephone, telefax, facilities at the hotel, etc. should be
directed to the reception desk of the Conference Hotel.
Conference Dinner
The conference dinner takes place on Friday evening at the
Conference Hotel. The dinner is free for conference
participants having full board at the Conference Centre
(part of the price is paid via the payment for the full
board; the rest is paid via the conference fee). For
accompanying persons the dinner will cost 150 DK KR if the
person has full board at the Conference Hotel, otherwise
300 DK KR.
----------------------------------------------------------
Excursion on Saturday
The buses will leave the Conference Hotel at 10.00 (which
is the latest check-out time). First we go to Silkeborg to
visit the Asger Jorn Museum (named after a famous modern
Danish painter). From Silkeborg the world's oldest paddle
steamer, the Hjejlen, will take us across the lakes to the
foot of one of Denmark's highest and most beautiful
"mountains", Himmelbjerget (literal translation: The Sky
Mountain - 147 m high!). A picnic lunch will be served on
board the boat. We'll "climb" the mountain and have
coffee/tea in one of the restaurants at the top. By the
buses the participants will return either to the Conference
Hotel, Karup Airport or Aarhus. All three destinations will
be reached before 16.30. The excursion fee is 200 DK KR per
person, and this covers buses, boat, museum-visit, lunch
and coffee/tea.
----------------------------------------------------------
Workshop of the Demon project
A workshop is being organized by the Demon project, Monday
June 24 and Tuesday June 25. The workshop will take place
at the Conference Hotel, and it is open to all conference
participants (and to all other interested individuals).
Demon is a large-scale European project, dealing with
Design Methods Based on Nets. Participants are assumed to
have a solid knowledge of the basics of Petri nets.
Otherwise it will be more fruitful to follow the Petri Nets
tutorial. The workshop will consider the following topics:
Equivalence and refinement. Programming, design and
verification. Algebraic and high-level nets. Free choice
theory. Trace theory and event structures.
For more information contact: Eike Best, Institut fur
Informatik, Universitat Hildesheim, Marienburger Platz 22,
D-3200 Hildesheim, Germany. Phone: +49 5121 883 741.
Telefax: +49 5121 869 281. E-mail: E.Best@infhil.uucp.
----------------------------------------------------------
Midsummer Eve
Sunday evening, June 23, the Conference Hotel will organize
a traditional Danish Midsummer Eve Festival. The festival
will have a bonfire and singing (by guests). Participation
is free of charge.
----------------------------------------------------------
Weather
The weather in Denmark in June is usually sunny.
Temperatures are between 18 and 24 degrees C. However,
be prepared for occasional showers.
----------------------------------------------------------
WE LOOK FORWARD TO SEING YOU IN GJERN
----------------------------------------------------------