From: Maciej Koutny <Maciej.Koutny@ncl.ac.uk>
To: petrinet@informatik.uni-hamburg.de
Date: Tue, 20 Mar 2001 15:32:50 +0100 (MET)
Subject: (PN) ICATPN 2001 - First Call for Participation
(apologies for multiple copies of this announcement)
***************************************************************************
* CALL FOR PARTICIPATION *
* ICATPN 2001 *
* 22nd INTERNATIONAL CONFERENCE ON APPLICATION AND THEORY OF PETRI NETS *
* *
* 25-29 June, 2001, Newcastle upon Tyne, U.K. *
* *
* http://www.cs.ncl.ac.uk/conferences/2001/pn/ *
* E-mail: pn2001@ncl.ac.uk *
***************************************************************************
REGISTRATION
------------
It is now time to register for ICATPN 2001 which is jointly organised
with ICACSD 2001 (2nd International Conference on Application of
Concurrency to System Design). The conferences will run in parallel,
in the same building, and the participants registered for one
conference will also be able to attend the other one.
Moreover, the conferences will share the invited lectures and all
social events. See the above mentioned WWW pages for detailed
information about the scientific and social programmes and the
registration procedure.
Early registration ends on May 15, 2001.
ICATPN
------
The purpose of the ICATPN conferences is to bring together
researchers, developers and students interested in theory and
application of Petri nets, one of the main models for the description
and analysis of concurrent systems. The history of ICATPN can be
found on
http://www.daimi.au.dk/PetriNets/annce/pn2001/
SATELLITE EVENTS
----------------
Workshop on Concurrency in Dependable Computing
organised by P. Ezhilchelvan and A. Romanovsky
Workshop on Synthesis of Concurrent Systems
organised by P. Darondeau and L. Lavagno
Introductory Tutorial on Petri Nets
lectures by J. Desel, S. Donatelli, K. Jensen, W. Reisig, G. Rozenberg and
M. Silva
Advanced Tutorial on Probabilistic Methods in Concurrency
lectures by J. Hillston and J.-P. Katoen
Advanced Tutorial on Model Checking
lectures by J. Esparza and S. Merz
Tool Demonstrations
and
Meeting on XML based Interchange Formats for Petri Nets
organised by A. Koelmans
INVITED LECTURES
----------------
S. Donatelli
Kronecker Algebra and (Stochastic) Petri Nets: Is it Worth the Effort?
G.J. Holzmann
From Code to Models
J. Kramer
Making Meaningful Models for Mere Mortals
R. Milner
The Flux of Interaction
M. Nielsen
About Time in Concurrency
A. Sangiovanni-Vincentelli
Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems
CONTRIBUTED PAPERS
------------------
W. van der Aalst, T. Basten
Identifying Commonalities and Differences in Object Life Cycles using
Behavioral Inheritance
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
----
[[ PetriNets Mailing List Homepage: http://www.daimi.au.dk/PetriNets/pnl/ ]]
[[ Post messages/summary of replies: PetriNets@daimi.au.dk ]]
[[ Read before posting: http://www.daimi.au.dk/PetriNets/pnl/faq.html ]]
[[ Subscribe: http://mailman.daimi.au.dk/mailman/listinfo/petrinets ]]