UFO'07: Workshop on UnFOlding and partial order techniques

a satellite event of

Petri Nets 2007

Siedlce, Poland, Tuesday 26th of June, 2007

Call for Papers

Tutorial on Unfolding-Based Model Checking by Javier Esparza

Invited speakers

   Thomas Chatain
   Eric Fabre
   Claude Jard
   Victor Khomenko
   Maciej Koutny
   Walter Vogler
   Alex Yakovlev

Proceedings

The workshop proceedings (with the cover) are now available on-line.

Program

The workshop presentations are now available on-line.

08:50-09:00	Welcome
09:00-10:00	Tutorial	Javier Esparza	Unfolding-Based Model Checking
10:00-10:15	Coffee Break
10:15-11:00	Invited talk	Walter Vogler	Canonical Prefixes of Petri Net Unfoldings
11:00-11:45	Invited talk	Eric Fabre	Modular Processing
11:45-12:30	Invited talk	Victor Khomenko	Merged Processes of Petri Nets
12:30-13:30	Lunch
13:30-14:15	Invited talk	Thomas Chatain	On the Well-Foundedness of Adequate Orders
14:15-15:00	Invited talk	Alex Yakovlev	Use of Partial Orders for Analysis and Synthesis of Asynchronous Circuits
15:00-15:30	Coffee Break
15:30-16:15	Invited talk	Maciej Koutny	Branching Processes of High-Level Petri Nets and Model Checking of Mobile Systems
16:15-17:00	Invited talk	Claude Jard	Symbolic Unfoldings of Timed Models
17:00-17:30	Regular talk	Paolo Baldan Andrea Corradini Barbara Konig Stefan Schwoon	McMillan's Complete Prefix for Contextual Nets
17:30-18:00	Regular talk	Blai Bonet Patrik Haslum Sarah Hickmott Sylvie Thiebaux	Directed Unfolding of Petri Nets

Scope

The scope of the workshop is the theory and applications of Petri net unfoldings and related partial-order formalisms.

The unfolding technique was developed some time ago and is now well established to analyse concurrent systems. Some recent developments make it a really alive research field, and open the way to a broad range of new applications. Let us mention for example:

The development of fast unfolding-based model checking and synthesis techniques based on SAT, ILP and other solvers.
Unfolding techniques for high-level Petri nets, time Petri nets and Petri nets with read and/or inhibitor arcs.
Symbolic unfoldings: a special structure to unfold high-level Petri nets, where all possible values of a token in a place are compressed into a single parameterised representation.
Probabilistic event structures: the idea here is to assign probabilities to configurations, in order to have an equivalence between concurrency and stochastic independence.
Merged processes or trellis processes: a more compact structure than unfoldings to represent all possible configurations of a concurrent system.
Modular processing based on unfoldings: the idea is to use the fact that the unfolding of a product of components is the product (in a different sense) of unfoldings of these components. Therefore some processing can be performed by parts. This is used in distributed diagnosis applications for example.
The emergence of unfolding techniques in the discrete event systems community, for diagnosis and control of large distributed systems.

The objective of this workshop is twofold:

To bring together researchers working on different aspects of the unfolding theory, and
To popularise unfoldings in the research and industry communities.

To achieve these objectives, an important part of this workshop is devoted to invited and tutorial talks. The remaining time slots are reserved to original contributions on the subject, focusing on research aspects, applications or tool developments.

Notice: some contributors to workshops will be invited to make a revised version of their paper, to be included in joint post-proceedings, published by Springer-Verlag in LNCS.

Program Committee

Jean-Michel Couvreur
Javier Esparza
Eric Fabre (co-chair)
Keijo Heljanko
Claude Jard
Victor Khomenko (co-chair)
Maciej Koutny
Christian Stehno
Walter Vogler
Alex Yakovlev

Organisers

Eric Fabre
INRIA/IRISA, Rennes, France
E-mail: eric.fabre@irisa.fr

Victor Khomenko
School of Computing Science, University of Newcastle upon Tyne, UK
E-mail: Victor.Khomenko@ncl.ac.uk

Registration & Accommodation

Please register for the UFO workshop at the registration site of the Petri Nets 2007 conference at

http://atpn2007.ap.siedlce.pl

Note that if you only want to attend the UFO workshop then you have to register only for it, i.e. you do not have to pay for the full 5 day programme.

Information about how to get to Siedlce and to the conference site and about hotels can be found at

http://atpn2007.ap.siedlce.pl

Submissions

The program committee invites submissions of papers (up to 15 pages). The papers must be in English and contain original contributions that have not been published or submitted to other conferences/journals in parallel with this workshop.

Papers are to be submitted through the easychair portal:

http://www.easychair.org/UFO07/

Submission Guidelines

Please use the LaTeX document class llncs.cls for your contributions. An up-to-date version of llncs.cls together with the documentation can be found at

ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip

The submissions will be evaluated by the programme committee. Accepted papers will be included in the workshop proceedings which will be available at the workshop. Some of the best papers from the workshop will be invited for publication in a volume of a new journal subline of Lecture Notes in Computer Science entitled "Transactions on Petri Nets and Other Models of Concurrency" (ToPNoC). The papers are expected to be thoroughly revised and they will go through a totally new round of reviewing as is standard practice for journal papers.