International Workshop on
Abstractions for Petri Nets and Other Models of Concurrency
Paris, France, June
a satellite event of
30th International Conference
on Application and Theory of
and Other Models of Concurrency,
20th IEEE/IFIP International Symposium on
Rapid System Prototyping
Deadline for abstracts (extended): March 27,
Deadline for papers (extended): March 27, 2009
Notification of paper acceptance: May 1, 2009
Deadline for posters: May 1, 2009
Notification of poster acceptance: May 12, 2009
Deadline for all final contributions: May 22, 2009
Workshop: June 22, 2009
Contact e-mail: email@example.com
Invited Speaker Program chairs Programme Committee Registration & Accommodation
Submission and Publication
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
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.
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:
- State space abstraction and aggregation
- Abstract interpretation techniques
- Abstractions for handling underspecified systems
- Pattern-based abstractions
- Abstractions for handling incomplete information
- Abstraction for efficiency, explanation, anytime reasoning,
- Methodologies for applying abstraction techniques in modelling
- Case studies where abstraction plays a central role
- Tools support for abstractions
Natalia Sidorova (Eindhoven
University of Technology, The Netherlands),
Serebrenik (Eindhoven University of
Technology, The Netherlands)
Registration & Accommodation
Please register for the APNOC'09 workshop at the registration
site of the Petri Nets 2009 conference. Information about how to get to the conference site
and about hotels
can be found at the conference web site.
Submission and publication
The programme committee invites submissions of full
contributions (up to 15 pages) or short contributions (up to 5 pages). Ongoing
work (up to 2 pages) can be presented in a special poster session.
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=apnoc09.
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
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'09 contact the programme committee
by email at firstname.lastname@example.org