=============================================================== APNOC 2010 2nd International Workshop on Abstractions for Petri Nets and Other Models of Concurrency http://www.win.tue.nl/apnoc2010/ =============================================================== Braga, Portugal, June 21, 2010 a satellite event of Petri Nets 2010 31th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency =============================================================== Selected papers from the workshop will be published in ToPNoC - "Transactions on Petri Nets and Other Models of Concurrency" - journal subline of Lecture Notes in Computer Science. =============================================================== Deadline for abstracts: March 13, 2010 Deadline for paper submission: March 20, 2010 =============================================================== 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: * 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 The programme committee invites submissions of full contributions (up to 15 pages) or short contributions (up to 7 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 use the online conference management system (see http://www.win.tue.nl/apnoc2010/) 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 journal subline of Lecture Notes in Computer Science entitled "Transactions on Petri Nets and Other Models of Concurrency" (ToPNoC). Important Dates: Abstract submission: 13 March, 2010 Submission deadline: 20 March, 2010 Start of reviews: 23 March, 2010 Start of discussion phase: 23 April, 2010 Notification of acceptance: 1 May, 2010 Final version: 22 May, 2010 PROGRAMME COMMITTEE: Josep Carmona (Spain) Radhia Cousot (France) Philippe Darondeau (France) Jörg Desel (Germany) Wan Fokkink (The Netherlands) Pierre Ganty (Belgium) Serge Haddad (France) Olga Kouchnarenko (France) Maciej Koutny (UK) Laure Petrucci (France) Olivier H. Roux (France) Alexander Serebrenik (The Netherlands) (co-chair) Natalia Sidorova (The Netherlands) (co-chair) Martin Steffen (Norway) Walter Vogler (Germany) ================================================