Call for Papers

Workshop on the Practical Use of
High-Level Petri Nets

A workshop within the 21st International Conference on Applications and Theory of Petri Nets, June 26-30, 2000, Aarhus, Denmark

Organised by Kurt Jensen, University of Aarhus, Denmark

Deadline for submissions: April 5, 2000
Notification of acceptance: May 5, 2000
Deadline for final papers: June 5, 2000

Further information:
URL: http://www.daimi.au.dk/pn2000/HLPNworkshop/
E-mail: HLPNworkshop@daimi.au.dk

High-level Petri Nets and their tools are now in wide-spread use for the modelling and analysis of a very wide range of systems. The modelling may be part of the design of a system or part of the validation and implementation. The analysis may focus on the functional properties of systems (such as absence of deadlocks and correct behaviour) or it may focus on the performance properties (such as throughputs and buffer lengths).

The aim of the workshop is to bring together researchers and practitioners with interests in the use of high-level nets and their tools for practical applications. The main goal is to provide a forum where different experiences and points of views can be discussed and shared among workshop participants. A typical paper is expected to report on a case study where high-level Petri nets and their tools have been used in practice. We also welcome papers describing a tool, a methodology, or other developments that have proved successful to make high-level Petri nets more applicable in practice.

Submissions

Accepted papers will be included in the workshop proceedings which will appear as a technical report of the Department of Computer Science, University of Aarhus. This means that the proceedings will be informal and with limited distribution. Hence, revised versions of the papers may be resubmitted to other workshops/conferences. The papers will also be available in electronic form via Web pages at the University of Aarhus. Finally, we plan to publish the best papers as a special section in the International Journal on Software Tools for Technology Transfer (after an additional round of reviewing).

The submissions will be evaluated by an international programme committee with the following members:

W. van der Aalst	The Netherlands	w.m.p.v.d.aalst@tm.tue.nl
G. Chiola	Italy	chiola@disi.unige.it
S. Donatelli	Italy	susi@di.unito.it
C. Girault	France	Claude.Girault@lip6.fr
N. Husberg	Finland	Nisse.Husberg@hut.fi
K. Jensen	Denmark (chair)	kjensen@daimi.au.dk
S. Kumagai	Japan	kumagai@pwr.eng.osaka-u.ac.jp
C. Lakos	Australia	Charles.Lakos@adelaide.edu.au
A. Levis	USA	alevis@gmu.edu
D. Moldt	Germany	moldt@informatik.uni-hamburg.de
L. Petrucci	France	petrucci@lsv.ens-cachan.fr
W. Reisig	Germany	reisig@informatik.hu-berlin.de
M. Silva	Spain	silva@posta.unizar.es
E. Stear	USA	estear@aol.com
R. Valette	France	robert@laas.fr
K. Voss	Germany	klaus.voss@gmd.de
W. Zuberek	Canada	wlodek@cs.mun.ca