PNSE'15
International Workshop on Petri Nets and Software Engineering
Brussels, Belgium, June 22-23, 2015
a satellite event of
Petri Nets 2015
36th International Conference on Application and Theory of Petri Nets and Concurrency and
ACSD 2015
15th International Conference on Application of Concurrency to System Design
More information: http://www2.informatik.uni-hamburg.de/tgi/events/pnse15/
Contact e-mail: pnse15_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.
Papers from previous instances of this workshop (PNSE'07, PNDS'08, PNSE'09, PNSE'10, PNSE'11, PNSE'12, PNSE'13 and PNSE'14) made it into ToPNoC volumes in the Springer LNCS series (volumes 5100, 5460, 5800, 6550, 6900, 7400, 7480, 8100 and 8910).
Scope
The workshop PNSE'15 (Petri Nets and Software Engineering) will take place as a satellite event of Petri Nets 2015 and ACSD 2015.
Development of complex systems is an everlasting challenge. The workshop addresses this by discussing the whole range of topics that belong to development approaches: theory, software engineering and modelling. With the background of the Petri net and ACSD conference it has on the one hand a strong background in any kinds of Petri nets and related formalisms. On the other hand software engineering and modelling with their much wider facets are also addressed: Formalisms and their theoretical and practical results need to be embedded. Modelling is one of the dominant topics in this perspective.
This year we explicitly invite papers beside the traditionally Petri net biased papers: In addition to more theoretical papers we look for contributions that put the main emphasize on modelling or software engineering. Papers that aim at the cross-fertilization of applied and theoretical research in the above mentioned areas are most welcome. Especially applications and tools provide settings for empirical and practical research projects, which are of high relevance for the workshop.
Languages supporting the tasks of planning, analyzing, specifying, validation, verification, design, implementation, testing or maintaining. Fundamental concepts and aspects like causality, concurrency, distribution, time, efficiency, correctness, fairness etc. can be addressed with the means of formal modelling as well as with practical means of software engineering. During the workshop we will discuss the mutual dependencies and possibilities of improvements when applied simultaneously.
Topics
Topics of interest include but are not limited to:
- Modelling
- representation of formal models by intuitive modelling concepts
- guidelines for the construction of system models
- representative examples
- process-, service-, state-, event-, object- 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
- model transformation
- Software Engineering
- mobile systems and mobile software engineering
- open source software
- traceability
- adaptive and self-managing software
- education and training
- software requirements
- software design and production
- software development approaches
- maintenance
- software security and privacy
- software robustness, safety
- modelling, meta-modelling, reference models
- tools
- software development processes
- application domains
- Validation and Execution
- prototyping
- simulation, observation, animation
- code generation and execution
- testing and debugging
- process mining
- 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
- general analysis for software engineering contexts
- Petri Nets and other Modelling techniques
- concurrency theory
- net formalisms
- Petri nets and other techniques in the context of software engineering or modelling
- verification, validation and execution
- algorithms in the field of Petri nets
- basic concepts
- Petri net extensions
- case studies
- Application of Petri nets in Software Engineering, in particular the use of Petri nets in the domains of
- flexible manufacturing,
- logistics,
- telecommunication,
- workflow management,
- embedded systems,
- autonomes systems and
- self-* systems.
- Tools in the fields mentioned above
Proceedings
The workshop proceedings for PNSE'15 will be available online atIt will be available from 30.06.15 onwards.
Invited Speakers
Nicolas Guelfi: Software Engineering and Modeling Education: Problems and Solutions
Abstract:Mastering the development of software having the required quality level is a complex task. Since 1968, the software engineering discipline has grown in order to offer theories, methods and tools to software engineers to tackle this complex task. The role of software engineering educators is to help the learners to acquire competencies in those theories, methods and tools to better master the production of quality products. After near than 50 years of development what is the status of software engineering and modeling education? What are the attributes, threats and means for quality software engineering education?
This talk will present the outcomes of an individual experience of 25 years of teaching software engineering and modeling in computer science programs at bachelor and master levels. A concrete educational software engineering and modeling environment will be presented as one of the means to better educate our engineers to our discipline and be prepared for facing their future professional challenges.
Second speaker to be announced
Programme PNSE'15
to be announcedProgramme committee
- Bernhard Bauer (University of Augsburg, Germany)
- Robin Bergenthum (University of Hagen, Germany)
- Olivier Boissier (Ecole Nationale Supérieure des Mines of Saint-Etienne, France)
- Didier Buchs (University of Geneva, Switzerland)
- Lawrence Cabac (University of Hamburg, Germany)
- Piotr Chrzastowski-Wachtel (University of Warsaw, Poland)
- Gianfranco Ciardo (Iowa State University, USA)
- José-Manuel Colom (University of Zaragoza, Spain)
- Ernesto Damiani (University of Milan, Italy)
- Patrick Delfmann (University of Münster, Germany)
- Raymond Devillers (Université Libre de Bruxelles, Belgium)
- Susanna Donatelli (University of Turin, Italy)
- Gregor Engels (University of Paderborn, Germany)
- Joaquín Ezpeleta Mateo (University of Zaragoza, Spain)
- Jorge C. A. de Figueiredo (Federal University of Campina Grande, Brazil)
- Ulrich Frank (University of Duisburg-Essen, Germany)
- Holger Giese (University of Potsdam, HPI, Germany)
- Paolo Giogini (University of Trento, Italy)
- Luís Gomes (Universidade Nova de Lisboa, Portugal)
- Nicolas Guelfi (University of Luxembourg)
- Stefan Haar (ENS Cachan, France)
- Serge Haddad (ENS Cachan, France)
- Nabil Hameurlain (Université de Pau et des Pays de l'Adour, France)
- Xudong He (Florida International University, USA)
- Vincent Hilaire (Université de Technologie de Belfort-Montbéliard, France)
- Thomas Hildebrandt (IT University of Copenhagen, Denmark)
- Lom-Messan Hillah (Université Paris Ouest and LIP6 (UPMC), France)
- Kunihiko Hiraishi (Japan Advanced Institute of Science and Technology, Japan)
- Vladimír Janoušek (Brno University of Technology, Czech Republic)
- Peter Kemper (College of William and Mary, USA)
- Astrid Kiehn (IIIT Delhi, India)
- Ekkart Kindler (Technical University of Denmark, Denmark)
- Hanna Klaudel (Université d'Evry-Val d'Essonne, France)
- Radek Kočí (Brno University of Technology, Czech Republic)
- Fabrice Kordon (Université Paris Ouest and LIP6 (UPMC), France)
- Maciej Koutny (University of Newcastle, United Kingdom)
- Lars Kristensen (Bergen University College, Norway)
- Michael Köhler-Bußmeier (University of Applied Science Hamburg, Gemany)
- Niels Lohmann (Carmeq GmbH, Germany)
- Robert Lorenz (University of Augsburg, Germany)
- Heinrich Mayr (Alpen-Adria-Universität Klagenfurt, Austria)
- Jan Mendling (Vienna University of Economics and Business, Austria)
- Daniel Moldt (University of Hamburg, Germany) (Co-Chair)
- Berndt Müller (University of South Wales, United Kingdom)
- Andreas Oberweis (Karlsruhe Institute of Technology, Germany)
- Andrea Omicini (University of Bologna, Italy)
- Chun Ouyang (Queensland University of Technology, Australia)
- Wojciech Penczek (UPH Siedlce and IPI PAN Warsaw, Poland)
- Laure Petrucci (University Paris 13, France)
- Lucia Pomello (Università degli Studi di Milano-Bicocca, Italy)
- Heiko Rölke (DIPF, Germany) (Co-Chair)
- Bernhard Rumpe (RWTH Aachen, Germany)
- Christophe Sibertin-Blanc (Université Toulouse 1, France)
- Mark-Oliver Stehr (SRI International, USA)
- Harald Störrle (Technical University of Denmark, Denmark) (Co-Chair)
- Ingo Timm (University of Trier, Germany)
- Ferucio Laurentiu Tiplea (University of Iasi, Rumania)
- Adelinde Uhrmacher (University of Rostock, Germany)
- Eric Verbeek (Eindhoven University of Technology, Netherlands)
- Jan Martijn van der Werf (Utrecht University, Netherlands)
- Mathias Weske (University of Potsdam, HPI, Germany)
- Manuel Wimmer (Vienna University of Technology, Austria)
- Karsten Wolf (University of Rostock, Germany)
Registration & Accommodation
Information about how to reach the workshop / conference site and
about hotels can be found at the
Petri Nets 2015 Travel pages.
Submissions
The programme committee invites submissions of full contributions (up to 20 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 if the paper should be considered for the journal publication.
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. The information and the paper can be uploaded as often as you like until the deadline. For your submission in PDF format please use the online conference management system at
Just login or 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 three members of the PC. Accepted contributions will be included in the workshop proceedings, which will be published online.
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.
In case of any problems please contact us by email at pnse15_at_informatik_dot_uni-hamburg_dot_de.
(The call for papers is also available as [TXT] document.) Papers should be submitted in electronic form (PDF) using the Springer LNCS-format (http://www.springer.de/comp/lncs/authors.html). Please use BibTeX for your references.
In case of any problems please contact us by email at
pnse15_at_informatik_dot_uni-hamburg_dot_de.
|
|
