PNSE'10

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.

• Modelling
•  representation of formal models by intuitive modelling concepts
•  guidelines for the construction of system models
•  representative examples
•  state-oriented, event-oriented, object-oriented, and agent-oriented approaches
•  adaption, integration, and enhancement of concepts from other disciplines
•  views and abstractions of systems
•  model-driven architecture
•  modelling software landscapes
•  web service-based software development
• Validation and Execution
•  prototyping
•  simulation, observation, animation
•  code generation and execution
•  testing and debugging
•  efficient implementation
• Verification
•  structural methods (e.g. place invariants, reduction rules)
•  results for structural subclasses of nets
•  relations between structure and behaviour
•  state space based approaches
•  efficient model checking
•  assertional and deductive methods (e.g. temporal logics)
•  process algebraic methods
•  applications of category theory and linear logic
• Application of Petri nets in Software Engineering, in particular the use of Petri nets in the domains of
  •  flexible manufacturing,
  •  logistics,
  •  telecommunication, and
  •  workflow management.
• Tools in the fields mentioned above

Invited Speaker

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

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

• Wil van der Aalst (Eindhoven University, The Netherlands)
• João Paulo Barros (Instituto Politécnico de Beja, Portugal)
• Didier Buchs (University of Geneva, Switzerland)
• Piotr Chrzastowski-Wachtel (University of Warsaw, Poland)
• Gianfranco Ciardo (University of California at Riverside, USA)
• Jose-Manuel Colom (University of Zaragoza, Spain)
• Jörg Desel (Catholic University Eichstätt-Ingolstadt, Germany)
• Raymond Devillers (Université Libre de Bruxelles, Belgium)
• Marlon Dumas (University of Tartu, Estonia)
• Michael Duvigneau (University of Hamburg, Germany) (Chair)
• Berndt Farwer (University of Durham, UK)
• João Fernandes (Universidado de Minho, Portugal)
• Jorge C. A. de Figueiredo (Federal University de Campina Grande, Brasil)
• Giuliana Franceschinis (University of Piemonte Orientale / University of Torino, Italy)
• Guy Gallasch (University of South Australia, Australia)
• Luís Gomes (Universidade Nova de Lisboa, Portugal)
• Nicolas Guelfi (University of Luxembourg, Luxembourg)
• Stefan Haar (ENS Cachan, France)
• Xudong He (Florida International University, USA)
• Thomas Hildebrandt (University of Copenhagen, Denmark)
• Vladimir Janousek (University of Brno, Czech Republic)
• Gabriel Juhas (Slovak University of Technology Bratislava, Slovakia)
• Peter Kemper (College of William and Mary, USA)
• Astrid Kiehn (Indraprastha Institute of Information Technology Delhi, India)
• Ekkart Kindler (Technical University of Denmark, Denmark)
• Hanna Klaudel (Université d'Evry-Val d'Essonne, France)
• Michael Köhler-Bußmeier (University of Hamburg, Germany)
• Fabrice Kordon (University P. & M. Curie, LIP 6, France)
• Maciej Koutny (Newcastle University, UK)
• Lars Kristensen (Bergen University College, Norway)
• Robert Lorenz (University Augsburg, Germany)
• Daniel Moldt (University of Hamburg, Germany) (Chair)
• Chun Ouyang (Queensland University of Technology, Australia)
• Wojciech Penczek (University of Podlasie, Poland)
• Laure Petrucci (University Paris Nord, France)
• Lucia Pomello (Università degli Studi di Milano-Bicocca, Italy)
• Oana Prisecaru (University of Iasi, Romania)
• Heiko Rölke (DIPF, Germany)
• Christophe Sibertin-Blanc (University Toulouse 1, France)
• Harald Störrle (Technical University of Denmark, Denmark)
• Catherine Tessier (ONERA Toulouse, France)
• Ulrich Ultes-Nitsche (University of Fribourg, Switzerland)
• Manuel Wimmer (Vienna University of Technology, Austria)
• Karsten Wolf (Universität Rostock, Germany)
• Mengchu Zhou (New Jersey Institute of Technology, USA)
• Christian Zirpins (University of Karlsruhe, Germany)
• Wlodek M. Zuberek (Memorial University of Newfoundland, Canada)