[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] CfP: Petri Nets and Software Engineering (PNSE'12)



                            Call for Papers
  __________________________________________________________________

                                PNSE'12

     International Workshop on Petri Nets and Software Engineering
                   Hamburg, Germany, June 25-26, 2012

                           a satellite event of

                             Petri Nets 2012
 33rd INTERNATIONAL CONFERENCE ON APPLICATION AND THEORY OF PETRI NETS
                             AND CONCURRENCY

                                    and

                       12th INTERNATIONAL CONFERENCE ON
                 APPLICATION OF CONCURRENCY TO SYSTEM DESIGN

   Website: http://www.informatik.uni-hamburg.de/TGI/events/pnse12/
           Contact e-mail: pnse12@informatik.uni-hamburg.de
  __________________________________________________________________

                           Important Dates:
          Deadline for full papers:         April  15th, 2012
          Deadline for short papers:        April  15th, 2012
          Notification of paper acceptance:   May  13th, 2012
          Deadline for posters:               May  16th, 2012
          Notification of poster acceptance:  May  18th, 2012
          Deadline for final revisions:      June   1st, 2012
          Workshop:         Monday/Tuesday,  June 25/26, 2012
  __________________________________________________________________

                                 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'12 (Petri nets and Software Engineering) will take
place as a satellite event of Petri Nets 2012 and ACSD 2012.

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
       +  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,
       +  workflow management and
       +  embedded systems.
  * Tools in the fields mentioned above
  __________________________________________________________________

                              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.

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

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 three members of the PC.
Accepted contributions will be included in the workshop proceedings,
which will be available at the workshop and on this website.
  __________________________________________________________________

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 and PNSE'11) made it into ToPNoC volumes in the
Springer LNCS series (volumes 5100, 5460 and 5800).
  __________________________________________________________________

                                Chairs

  * Michael Duvigneau (University of Hamburg, Germany)
  * Lawrence Cabac (University of Hamburg, Germany)
  * Daniel Moldt (University of Hamburg, Germany)
  __________________________________________________________________

http://www.informatik.uni-hamburg.de/TGI/events/pnse12/
mailto:pnse12@informatik.uni-hamburg.de

-- 
Please use mailto:pnse12@informatik.uni-hamburg.de   or
http://www.informatik.uni-hamburg.de/TGI/events/pnse12/
to contact us with respect to PNSE12
PNSE12 PC-Chairs:  Lawrence Cabac, Michael Duvigneau, Daniel Moldt

*** Conference: Petri Nets 2012 & ACSD 2012 in Hamburg, Germany, June 25–29, 2012 ***
*** visit: http://www.informatik.uni-hamburg.de/TGI/events/pn-acsd2012/ ***