Workshop on the Practical Use of
High-Level Petri Nets

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

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. 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.

Workshop proceedings

Call for Papers

Detailed Programme for the Workshop