[Om-announce] Final Call for Papers: PNSE'15 Petri Nets and Software Engineering

[PNSE15]

                                     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
 15th INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN

                              More information:
         http://www.informatik.uni-hamburg.de/TGI/events/pnse15/
       Contact e-mail: pnse15_at_informatik_dot_uni-hamburg_dot_de


    __________________________________________________________________

                               Important Dates

                 Deadline for full papers: May 15th, 2015
                 Deadline for short papers: May 15th, 2015
               Notification of paper acceptance: May 28th, 2015
                    Deadline for posters: May 31st, 2015
              Notification of poster acceptance: May 31st, 2015
                Deadline for final revisions: June 3rd, 2015
     __________________________________________________________________

                                    Scope

   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, analysing, 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

   We welcome contributions describing original research in topics of the above
   mentioned scope, addressing open problems, presenting new ideas, describing
   applications or tools. We explicitly invite papers with the main emphasize
   on software engineering or modelling.

   Topics of interest include but are not limited to:

    Modelling
         representation of formal models by intuitive modelling concepts
         model-driven architecture and model transformation
         modelling as a process and as a discipline
         adaptation and integration of concepts from other disciplines
         open modelling challenges or representative examples

    Software Engineering
         software development approaches and processes
         modelling, meta-modelling, reference models
         mobile systems and mobile software engineering
         adaptive and self-managing software
         software security and privacy, software robustness, safety
         tools

    Validation and Execution
         prototyping
         simulation, observation, animation
         code generation and execution
         testing and debugging
         process mining

    Verification
         structural methods, structural subclasses
         state space based approaches
         assertional and deductive methods (e.g. temporal logics)
         process algebraic methods
         applications of category theory and linear logic
         general analysis for software engineering contexts
         practical examples and use cases

    Petri Nets and other Modelling techniques
         concurrency theory, net formalisms
         verification, validation and execution
         case studies

    Applications, in particular in the domains of (but not restricted to)
         flexible manufacturing,
         logistics,
         telecommunication,
         workflow management,
         embedded systems,
         autonomous and self-* systems

    Tools and empirical studies in the fields mentioned above


                                 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.

   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=pnse14

   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 on-line at CEUR-WS.org.
     __________________________________________________________________

   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,
   7810 and 8910).
     __________________________________________________________________

                                   Chairs

     * Daniel Moldt (University of Hamburg, Germany)
     * Heiko Rölke (DIPF, Germany)
     * Harald Störrle (Technical University of Denmark, Denmark)

-- 
Please use mailto:pnse14 at informatik.uni-hamburg.de   or
http://www.informatik.uni-hamburg.de/TGI/events/pnse14/
to contact us with respect to PNSE14
PNSE14 PC-Chairs:  Daniel Moldt and Heiko Rölke

*** Event: Petri Nets and Software Engineering, June 23/24, 2014  ***
*** visit: http://www.informatik.uni-hamburg.de/TGI/events/pnse14 ***