Practical Use of High-level Petri Net. Workshop Proceedings

TY - UNPB

T1 - Practical Use of High-level Petri Net.

T2 - Workshop Proceedings

A2 - Jensen, Kurt

N1 - Petri Nets 2000. The workshop is part of the 21st International Conference on Application and Theory of Petri Nets organised by the CPN group at Department of Computer Science, University of Aarhus, Denmark.

PY - 2000

Y1 - 2000

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

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

M3 - Working paper

BT - Practical Use of High-level Petri Net.

PB - Department of Computer Science, Aarhus University

ER -