Braga, Portugal, June 22, 2010
The APNOC Workshop has merged with SUMo to make a stronger event. It is moved to Tuesday June 22nd.
Contact e-mail: firstname.lastname@example.org
09:00-10:00 - Keynote
D. Kröning (Oxford
University, United Kingdom), Unbounded is back
I will present an application of coverability analysis of unbounded Petri nets to the verification of recursion-free C programs with unbounded thread creation. The first challenge is to overcome what is known as the dimensionality problem: using a naive encoding, the number of places in the Petri net is exponential in the size of the input program. The second challenge is to efficiently decide coverability, for which we present a novel cutoff-based algorithm. Benchmark results on Boolean programs generated from C programs and on well-known Petri-nets are presented. This is joint work with Thomas Wahl.
10:00-10:30 - break
10:30-12:00 - APNOC session
K. Barylska, L. Mikulski and E. Ochmanski, On Persistent Reachability in Petri Nets
D. Elhog-Benzina, S. Haddad and R. Hennicker, Process Refinement and Asynchronous Composition with Modalities
K. van Hee and Z. Liu, Generating Benchmarks by Random Stepwise Refinement of Petri Nets
12:00-14:00 - lunch
14:00-15:00 - SUMo session 1
M. Knapik and W. Penczek, Bounded Model Checking for Parametric Time Automata
S. Hostettler, A. Linard, A. Marechal and M. Risoldi, Improving the significance of benchmarks for Petri nets model checkers
15:00-15:30 - break
15:30-17:00 - SUMo session 2
W. Penczek, A. Polrola and A. Zbrzezny, Towards Automatic Composition of Web Services: A SAT-based Phase
A. Hamez, S. Hostettler, A. Linard, A. Maréchal, E. Paviot-Adet and M. Risoldi, Speciﬁcation of Decision Diagram Operations
A. Niewiadomski, W. Penczek and M. Szreter, Parametric Bounded Model Checking for UML
Selected 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).
Abstractions are playing an essential role in modelling and verification of distributed systems.
APNOC is a forum for researchers interested in abstraction techniques and methodologies for modeling and verification of concurrent systems. The modeling language of particular interest is Petri nets; other formalisms such as process algebras, pi-calculus, B-method, etc., are also of great interest, since abstraction techniques are often formalism-independent and could be transferred from one formalism to another.
Both academics and practitioners can contribute and learn from such a meeting.
Contributions describing original research in topics related to the use of abstractions for Petri nets and other models of concurrency, as well as surveys addressing abstraction techniques and open problems and new applications of abstractions are being sought. Topics of interest include but are not limited to:
Please register for the APNOC'09 workshop at the registration site of the Petri Nets 2010 conference. Information about how to get to the conference site and about hotels can be found at the conference web site.
The programme committee invites submissions of full contributions (up to 15 pages) or short contributions (up to 5 pages).
Papers should be submitted in electronic form (PDF) using the Springer LNCS-format (http://www.springer.de/comp/lncs/authors.html). Submissions should include title, author's address and email, and an abstract. Please submit your paper in the PDF format via http://www.easychair.org/conferences/?conf=apnoc2010.
The papers will be peer reviewed by at least three members of the PC. Accepted papers will be included in the workshop proceedings which will be available at the workshop. At least one of the authors of each accepted contribution should register and take part in the workshop to give the presentation.
Selected 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 new round of reviewing as is standard practice for journal papers.
For further information on APNOC 2010 contact the programme committee by email at email@example.com