Call for Papers: PNSE'14 Petri Nets and Software Engineering

PNSE14 pnse14 at informatik.uni-hamburg.de
Sa Mär 15 23:29:32 CET 2014


                                     PNSE'14

          International Workshop on Petri Nets and Software Engineering

                         Tunis, Tunisia, June 23-24, 2014

                              a satellite event of

                         Petri Nets 2014 and ACSD 2014

                        35th INTERNATIONAL CONFERENCE ON

               APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY

                                      AND

14th INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN

                                More information:

             http://www.informatik.uni-hamburg.de/TGI/events/pnse14/

                Contact e-mail: pnse14 at informatik.uni-hamburg.de

       __________________________________________________________________

                                 Important Dates

                   Deadline for full papers: April 1st, 2014

                   Deadline for short papers: April 1st, 2014

                 Notification of paper acceptance: May 1st, 2014

                      Deadline for posters: May 10th, 2014

                Notification of poster acceptance: May 12th, 2014

                  Deadline for final revisions: May 15th, 2014

       __________________________________________________________________

                                      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'14 (Petri nets and Software Engineering) will take

     place as a satellite event of Petri Nets 2014 and ACSD 2014.

     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:

       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

       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

       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

       Tools 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 online at CEUR-WS.org as one volume.

       __________________________________________________________________

     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

     and PNSE'13) made it into ToPNoC volumes in the Springer LNCS series

     (volumes 5100, 5460, 5800, 6550, 6900 and 7400).

       __________________________________________________________________

                                     Chairs

       * Daniel Moldt (University of Hamburg, Germany)

       * Heiko Rölke (DIPF, Germany)

-- 
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 ***



Mehr Informationen über die Mailingliste IFI-CI-Event