From: Javier Esparza <jav@dcs.ed.ac.uk>
To: petrinet@informatik.uni-hamburg.de
Date: Mon, 4 Mar 2002 11:41:45 +0100
Subject: (PN) Petri Nets 2002: List of accepted papers
Petri Nets 2002: List of accepted papers
****************************************
Translating TPAL Specifications into Timed Petri Nets
Valentin Valero, Juan Jose Pardo, Fernando Cuartero
Analysing Infinite-State Systems by Combining Equivalence
Reduction and the Sweep-Line Method
Thomas Mailund
Reproducibility of the Empty Marking
Kurt Lautenbach
Computing the finite prefix of a time Petri net
Hans Fleischhack and Christian Stehno
Regular Event Structures and Finite Petri Nets: The Conflict-Free Case
Mogens Nielsen and P.S. Thiagarajan
Petri Nets, Situations, and Automata
Ekkart Kindler
External Choice Robustness
Juliane Dehnert
Data Decision Diagrams for Petri Nets Analysis
Jean-Michel Couvreur, Emmanuelle Encrenaz, Emmanuel Paviot-Adet,
Denis Poitrenaud, and Pierre-André Wacrenier
Real-Time Synchronised Petri Nets
Giovanna Di Marzo Serugendo, Dino Mandrioli, Didier Buchs,
and Nicolas Guelfi
Characterizing Liveness of Petri Nets in terms of Siphons
Li Jiao, To-yat Cheung, and Weiming Lu
Token-controlled place refinement in hierarchical Petri nets
with application to active document workflow
David G. Stork and Rob van Glabbeek
Quasi-static scheduling of independent tasks for reactive systems
Jordi Cortadella, Alex Kondratyev, Luciano Lavagno,
Claudio Passerone, and Yosinori Watanabe
Modeling and Analysis of multi-class threshold-based queues
with hysteresis using Stochastic Petri Nets
Louis-Marie Le Ny and Bruno Tuffin
Transition Refinement for Deriving a Distributed Minimum Weight
Spanning Tree Algorithm
Sibylle Peuker
Modelling of Features and Feature Interactions in Nokia Mobile Phones
using Coloured Petri Nets
Louise Lorentsen, Antti-Pekka Tuovinen and Jianli Xu
Verification of a Revised WAP Wireless Transaction Protocol
Steven Gordon, Lars Michael Kristensen and Jonathan Billington
A Formal Service specification for the Internet Open Trading Protocol
Chun Ouyang, Lars Michael Kristensen and Jonathan Billington
Tackling the Infinite State Space of a Multimedia Control Protocol
Service Specification
Lin Liu and Jonathan Billington
Maria: Modular Reachability Analyser for Algebraic System Nets
Marko Makela
********************************************************************
Charles Lakos and Javier Esparza
----
[[ 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 ]]