PNSE'10

International Workshop on Petri Nets and Software Engineering

Braga, Portugal, June 22, 2010

a satellite event of

Petri Nets 2010
31st International Conference on Application and Theory of
Petri Nets and Other Models of Concurrency

More information: http://PetriNets2010.di.uminho.pt/

Contact e-mail: pnse10_at_informatik_dot_uni-hamburg_dot_de

Important Dates:
Deadline for full papers: April 15th, 2010
Deadline for short papers: April 15th, 2010
Notification of paper acceptance: May 8th, 2010
Deadline for posters: May 13th, 2010
Notification of poster acceptance: May 18th, 2010
Deadline for final revisions: May 22nd, 2010
Workshop: Tuesday, June 22nd, 2010

Scope    Topics    Invited Speaker    Programme    Proceedings     Programme Committee    Registration & Accommodation    Submissions   

Some of the best papers from the workshop will be invited for publication in a volume of the journal sub line 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.
Papers from previous instances of this workshop (PNSE'07, PNDS'08 and PNSE'09) made it into ToPNoC volumes in the Springer LNCS series (volumes 5100, 5460 and 5800).

Scope

For the successful realisation of complex systems of interacting and reactive software and hardware components the use of a precise language at different stages of the development process is of crucial importance. Petri nets are becoming increasingly popular in this area, as they provide a uniform language supporting the tasks of modelling, validation, and verification. Their popularity is due to the fact that Petri nets capture fundamental aspects of causality, concurrency and choice in a natural and mathematically precise way without compromising readability.

The workshop PNSE'10 (Petri nets and Software Engineering) will take place as a satellite event of Petri Nets 2010.

The use of Petri nets (P/T-nets, coloured Petri nets and extensions) in the formal process of software engineering, covering modelling, validation, and verification, will be presented as well as their application and tools supporting the disciplines mentioned above.


Topics

We welcome contributions describing original research in topics related to Petri nets in combination with software engineering, addressing open problems or presenting new ideas regarding the relation of Petri nets and software engineering. Furthermore we look for surveys addressing open problems and new applications of Petri nets. Topics of interest include but are not limited to:

Invited Speaker

João Miguel Fernandes: Combining Petri Nets and UML for Model-based Software Engineering


Programme


Tuesday, June 22nd, 2010
9:00-10:00
  • Invited Talk: João Miguel Fernandes: Combining Petri Nets and UML for Model-based Software Engineering

10:30-12:00
  • Juan-Pablo López-Grao and José-Manuel Colom: The Resource Allocation Problem in Software Applications: A Petri Net Perspective
  • Piotr Chrzastowski-Wachtel and Jakub Rauch: IRS-MT: Tool for Modeling Resource Allocation in Workflow Petri Nets (short presentation)
  • Carlos Rovetto, Elia Esther Cano Acosta and José Manuel Colom Piazuelo: Deadlock Control Software for Tow Automated Guided Vehicles using Petri Nets (short presentation)
  • Poster Presentations

13:30-14:00
  • Poster Session

14:00-15:30
  • Fabio Farina and Marco Mascheroni: Nets Within Nets Paradigm and Grid Computing
  • Marco Mascheroni, Thomas Wagner and Lars Wüstenberg: Verifying Reference Nets By Means of Hypernets: a Plugin for RENEW
  • Daniel Moldt, José Quenum, Christine Reese and Thomas Wagner: Improving a Workflow Management System with an Agent Flavour

16:00-17:00
  • Heiko Rölke: Automata and Petri Net Models for Visualizing and Analyzing Complex Questionnaires - A Case Study (short presentation)
  • Thi Thanh Huyen Phan and Koichiro Ochimizu: Detecting and Repairing Unintentional Change on In-use Data in Concurrent Workflow Management System (short presentation)
  • Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schoenboeck and Wieland Schwinger: Taming the Shrew - Resolving Structural Heterogeneities with Hierarchical CPN (short presentation)


Proceedings

The proceedings of the workshop are available electronically and printed as university report FBI-HH-294/10 from the Department of Informatics, MIN Faculty, Universität Hamburg.

The open access URL is:
http://epub.sub.uni-hamburg.de/informatik/volltexte/2010/148/
or, as URN:
urn:nbn:de:gbv:18-228-7-1488


Programme committee



Registration & Accommodation

Please register for the PNSE'10 workshop at the registration site of the Petri Nets 2010 Hotel Information.

Information about how to reach the workshop / conference site and about hotels can be found at the Petri Nets 2010 Registration.


Submissions

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 also be presented in a special poster session.

Please note that for full contributions up to 15 pages are recommended. However, up to 20 pages can be used for the pre-proceedings. Nevertheless only 15 pages will be allowed for the possible post-proceedings papers.

Papers should be submitted in electronic form (PDF) using the Springer LNCS-format (see http://www.springer.de/comp/lncs/authors.html). Submissions should include title, authors' addresses, E-mail addresses, keywords and an abstract. For your submission in PDF format please use the online conference management system at

http://www.easychair.org/conferences/?conf=pnse10

Just create a new account and then upload your paper. (Later you will be able to see your reviews there.)

The papers will be peer reviewed by at least four members of the PC. Accepted contributions will be included in the workshop proceedings, which will be available at the workshop and on this website.

In case of any problems please contact us by email at pnse10_at_informatik_dot_uni-hamburg_dot_de.


Some of the best papers from the workshop will be invited for publication in a volume of the journal sub-line 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.

For further information on PNSE'10 contact the programme committee by email at pnse10_at_informatik_dot_uni-hamburg_dot_de
Daniel Moldt
http://www.informatik.uni-hamburg.de/TGI/events/pnse10/
Impressum