From: "Aalst, W.M.P. van der" <W.M.P.v.d.Aalst@tm.tue.nl>
To: petrinet@informatik.uni-hamburg.de
Date: Wed, 5 Mar 2003 08:49:38 +0100
Subject: (PN) Accepted papers ICATPN 2003 Eindhoven
Dear Petri-netters,
Last Friday, the PC of the 24th International Conference on Application and
Theory of Petri Nets selected the papers listed at the end of this e-mail.
Of the 73 submissions (35 theory papers, 30 application papers, and 8 tool
presentations) 24 papers were accepted (12 theory papers, 8 application
papers, and 4 tool presentations). Together with invited talks of M. Ajmone
Marsan, E. Brinksma, J.M. Colom, C. Ellis, K. Jensen, and S. Miyano, the
papers indicate a good and interesting conference. Visit
http://www.tue.nl/atpn2003/ to register for the conference.
Wil van der Aalst
Eike Best
-------------------------------------
Accepted papers ICATPN 2003 Eindhoven
-------------------------------------
H.M.W. Verbeek
Deciding life-cycle inheritance on Petri nets
K. Lautenbach
Logical Reasoning and Petri Nets
H. Fleischhack, E. Pelz.
Hierarchical Timed High Level Nets and their Branching Processes
R. Eshuis, J. Dehnert
Reactive Petri Nets for Workflow Modelling
J. Julvez, L. Recalde, M. Silva
On reachability in autonoumous continuous Petri net systems
S. Genc, S. Fortune
Distributed Diagnosis of Discrete-Event Systems using Petri Nets
S. Taoka, S. Furusato, T. Watanabe
A Heuristic Algorithm FSDC based on Avoidance of Deadlock Components in
Finding Legal Firing Sequences of Petri nets
E. Badouel, J. Chenou
Nets Enriched over Closed Monoidal Structures
M. Bednarczyk, L. Bernardinello, B. Caillaud, W. Pawlowski, L. Pomello
Modular system development with pullbacks
K. van Hee, N. Sidorova, M. Voorhoeve
Soundness and Separability of Workflow Nets in the Stepwise Refinement
Approach
Y. Thierry-Mieg, C. Dutheillet, I. Mounier
Automatic symmetry detection in Well-Formed Nets
G. Juhas, R. Lorenz, T. Singliar
On Synchronicity and Concurrency in Petri Nets
S.A. Reveliotis
On the Siphon-based Characterization of Liveness in Sequential Resource
Allocation Systems
A. Sherif, A. Sampaio and S. Cavalcante
Specification and Validation of the SACI-1 On-board Computer Using
Timed-CSP-Z and Petri Nets
J.B. Jorgensen
Coloured Petri Nets in Development of a Pervasive Health Care System
M. Mäkelä
Model Checking Safety Properties in Modular High-Level Nets
M. Köhler, D. Moldt and H. Rölke
Modelling Mobility and Mobile Agents using Nets within Nets
M.E. Villapol, J. Billington
Analysing Properties of the Resource Reservation Protocol
L. Cabac, D. Moldt, H. Roelke
A Proposal for Structuring Petri Net-Based Agent Interaction Protocols
R. Gaeta, D. Manini, M. Sereno
On the use of Petri nets for the computation of completion time distribution
for short TCP transfers
C. Schroeter, Stefan Schwoon, Javier Esparza
The Model Checking Kit
S. Klein, G. Frey, M. Minas
SIPN Editor: A Tool for PLC Programming with Petri Nets
A. Al-Shabibi, D. Buchs, M. Buffo, S. Chachkov, A. Chen, D. Hurzeler
Prototyping Object Oriented Specifications
A.V. Ratzer, L. Wells, H.M. Lassen, M. Laursen, J.F. Qvortrup, M.S.
Stissing, M. Westergaard, S. Christensen, K. Jensen
CPN Tools for Editing, Simulating and Analysing Coloured Petri Nets
----
[[ Homepage and archive: http://www.daimi.au.dk/PetriNets/pnml/ ]]
[[ Post messages/summary of replies: PetriNets@daimi.au.dk ]]
[[ Read before posting: http://www.daimi.au.dk/PetriNets/pnml/faq.html ]]
[[ Subscribe: http://mailman.daimi.au.dk/mailman/listinfo/petrinets ]]