From: Maciej Koutny <Maciej.Koutny@ncl.ac.uk>
     To: petrinet@informatik.uni-hamburg.de
   Date: Thu,  1 Mar 2001 15:00:21 +0100 (MET)
Subject: (PN) Accepted papers for Petri Nets 2001 conference

==============

ICATPN 2001
International Conference on Application and
Theory of Petri Nets
25-29 June, 2001, Newcastle upon Tyne, U.K.

-----------------------
List of accepted papers
-----------------------


W. van der Aalst, T. Basten
Comparing Petri Nets Using Inheritance of Behavior

P. Aziz Abdulla, A. Nylén
Timed Petri Nets and BQOs

M. Beaudouin-Lafon, W.E. Mackay, P. Andersen, P. Janecek, M. Jensen, M. Lassen,
K. Lund, K. Mortensen, S. Munck, A. Ratzer, K. Ravn, S. Christensen, K. Jensen
CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets

S. Bulach, A. Brauchle, H.-J. Pfleiderer,  Z. Kucerovsky
Design of Discrete Event Systems Using Petri Nets and a Dedicated 
Programmable Controller

S. Christensen, L.M. Kristensen, T. Mailund
Condensed State Spaces for Timed Petri Nets

J.-M. Couvreur, S. Grivet, D. Poitrenaud
Unfolding for Product of Symmetrical Petri Nets

P. Deussen
Partial Order Verification of Programmable Logic Controllers

S. Haddad, P. Moreaux, M. Sereno, M. Silva
Structural Characterization and Qualitative Properties of Product Form 
Stochastic Petri Nets

M.V. Iordache, P.J. Antsaklis
Generalized Conditions for Liveness Enforcement and Deadlock Prevention in 
Petri Nets

H. Klaudel, F. Pommereau
A Concurrent Semantics of Asynchronous Exceptions in a Parallel Programming 
Language

M. Köhler, D. Moldt, H. Rölke
Modelling the Structure and Behaviour of Petri Net Agents

T. Latvala
Model Checking LTL Properties of High-Level Petri Nets with Fairness 
Constraints

G. Lewis, C. Lakos
Incremental State Space Analysis of Coloured Petri Nets

M. Mäkelä
Optimising Enabling Tests and Unfoldings of Algebraic System Nets

O. Marroquín Alonso, D. de Frutos Escrig
Extending the Petri Box Calculus with Time

W. Penczek, A. Pólrola
Abstractions and Partial Order Reductions for Checking Branching Properties 
of Time Petri Nets

C. Rust,  J. Tacken, C. Böke
Pr/T-Net Based Seamless Design of Embedded Real-Time Systems

J. Steggles
Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time

W. Vogler
Partial S-invariants for the Verification of Infinite Systems Families

-------------------------------------------
Jose Manuel Colom
Maciej Koutny
ICATPN'01 PC Co-Chairs

---
[[ Post messages and summary of replies:               PetriNets@daimi.au.dk ]]
[[ To (un)subscribe:                           PetriNets-request@daimi.au.dk ]]
[[ World Wide Web URL:                 http://www.daimi.au.dk/PetriNets/pnl/ ]]
[[ Read before posting:        http://www.daimi.au.dk/PetriNets/pnl/faq.html ]]