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

[PVS] CFP: PETRI NETS 2012,33rd International Conference on Applicationand Theory of Petri Nets and Concurrency



*** Apologies for multiple copies due to cross-posting ***
*** Please forward to colleagues who might be interested ***
===========================================================

PETRI NETS 2012
33rd International Conference on Application and Theory of
Petri Nets and Concurrency
Hamburg, Germany, June 25–29, 2012

Co-located with ACSD 2012:
International Conference on Application of Concurrency to System Design

Web page:  http://www.informatik.uni-hamburg.de/TGI/events/pn2012/
Contact e-mail:  PetriNets2012@informatik.uni-hamburg.de

The web page of the call for papers:
http://www.informatik.uni-hamburg.de/TGI/PetriNets/meetings/pn2012/

===========================================================


Important Dates:
-----------------------------------------------------------
Submission of Papers:             January 10, 2012
Notification:                        March 1, 2012
Final Version Due:                   April 1, 2012
Workshops & Tutorials:            June 25–26, 2012
Conference:                       June 27–29, 2012

The deadline for submission of papers is STRICT.  However, if you submit
the title page by January 10 it is sufficient to submit the full paper
by
January 15.

Some of the best papers accepted for the conference will be invited as
submissions to a special issue of the Fundamenta Informaticae journal.


Topics:
-----------------------------------------------------------

Topics specific to Petri Nets:

* System design using nets,
* Analysis and synthesis, structure and behaviour of nets,
* Relationships between Petri Nets and other approaches,
* Net-based semantical, logical and algebraic calculi,
* Symbolic net representation (graphical or textual),
* Computer tools for nets,
* Experience with using nets, case studies,
* Higher-level net models,
* Timed and stochastic nets,
* Standardisation of nets,
* Experience reports describing applications of nets to different
  kinds of systems and application fields, e.g.:
  flexible manufacturing systems, real-time systems, embedded systems,
  defence systems, biological systems, health and medical systems,
  environmental systems, hardware, telecommunications, railway
  networks, office automation, workflows, supervisory control,
  protocols and networks, Internet, e-commerce and trading,
  programming languages, performance evaluation, operations research.

General topics related to concurrency:

* Model checking and verification of distributed systems
* Verification of infinite-state or parametric systems
* Causality/partial order theory of concurrency
* Educational issues related to concurrency
* New issues and developments in the theory of concurrency
* Modelling of hardware and biological systems


Paper Submissions
-----------------------------------------------------------

Two kinds of papers can be submitted:

* Regular papers (max 20 pages) describing original results
  pertaining to the development of the theory of Petri Nets and
  distributed and concurrent systems in general, new results
  extending the applicability of Petri Nets, or case studies,
  application and experience reports pertinent to the practical use
  of Petri Nets and concurrency. For papers describing the
  experiences from applications of Petri Nets, authors are encouraged
  to consult the document:
  http://www.informatik.uni-hamburg.de/TGI/PetriNets/sc-info/docs/
       ApplicationFormat.pdf.

* Tool papers (max 10 pages) describing a computer tool based on
  Petri Nets (not an application of the tool or the theory behind the
  tool). For more information, please see the document:
  http://www.informatik.uni-hamburg.de/TGI/PetriNets/sc-info/docs/
       ToolFormat.pdf.
  The tool should be available for use by other
  groups (but not necessarily for free). The submission should
  indicate how the reviewers can get access to the tool (this must be
  for free). The tool will be demonstrated in the Tool Exhibition, in
  addition to being presented in a conference talk.

Submitted papers must:
* be contributions that have not been published or submitted to other
  conferences/journals before or in parallel with this conference.
* clearly state the problem being addressed, the goal of the work,
  the results achieved, and the relation to other work.
* be in English and in the Springer LNCS-format:
  http://www.springer.de/comp/lncs/authors.html.
* adhere to the page limit for the relevant category (see above).
* be sent electronically (as a PDF file) no later than January 10,
  2012 using the website
  http://www.easychair.org/conferences/?conf=petrinets2012.


The title page must:
* contain a short abstract and a classification of the topics
  covered, preferably using the list of topics above.
* clearly indicate whether the paper is submitted as a regular paper
  or tool paper.

Authors will be notified about the outcome of the evaluation procedure
by March 1, 2012. Submissions violating the above requirements may be
immediately rejected by the PC Chairs.


Tool Exhibition
-----------------------------------------------------------

An exhibition of Petri net tools takes place on Wednesday. It consists
of informal demonstrations for small groups/individuals, and there are
no scheduled talks. Requests for participation in the tool exhibition
must be sent to the Tool Exhibition Chair before June 1, 2012. They
should include a link to the web pages for the tool (or a short
description of the tool). The demonstrators bring their own machines,
while the organisers may be requested to give access to the Internet.


Workshops and Tutorials
-----------------------------------------------------------

The conference takes place from Wednesday to Friday. The days before
the conference also offer a wide range of activities.

The Petri Net Course takes place from Sunday to Tuesday. It offers a
thorough introduction to Petri Nets and consists of four parts: Basic
Net Classes, Coloured Petri Nets, Timed and Stochastic Petri Nets, and
Applications of Petri Nets. If all four parts are followed, 3 ECTS
credit points can be awarded to a participant. For further information
please contact Jetty Kleijn or Jörg Desel.

The Workshops and Advanced Tutorials take place on Monday and Tuesday.
A detailed description of the tutorials and workshops will be available
via the conference web pages.

It is also possible to arrange Meetings and Courses related to Petri
Nets. Submissions for such activities must contain a 2–5 page
description. They must be received by the PC-chairs no later than
January 10, 2012.

The following workshops are planned for 2012:
* Petri Nets and Software Engineering (PNSE 2012; 2 days)
* Biological Processes & Petri Nets (BioPPN)
* Petri net-based Security (WooPS)
* Petri Net Compositions (CompoNet)
* Logics, Agents, and Mobility (LAM)

In addition there will a Model Checking contest:
* Petri Net Model Checking Contest

The workshops will disseminate their individual calls for papers
in November 2011. The submission deadline for workshops will be
around March 20, 2012.

Organisation
-----------------------------------------------------------

Steering Committee:
  W. van der Aalst, The Netherlands
  J. Billington, Australia
  G. Ciardo, USA
  J. Desel, Germany
  S. Donatelli, Italy
  S. Haddad, France
  K. Hiraishi, Japan
  K. Jensen, Denmark
  J. Kleijn, The Netherlands
  M. Koutny, UK (chair)
  C. Lin, China
  W. Penczek, Poland
  L. Pomello, Italy
  W. Reisig, Germany
  G. Rozenberg, The Netherlands
  M. Silva, Spain
  A. Valmari, Finland
  A. Yakovlev, UK

Program Committee Co-Chairs:
  Serge Haddad, France
  Lucia Pomello, Italy

Workshop and Tutorial Co-Chairs:
  Alex Yakovlev, United Kingdom
  Wil van der Aalst, The Netherlands

Organising Committee Chair:
  Daniel Moldt, Germany

Tools Exhibition Chair:
  Lawrence Cabac, Germany

Publicity Chairs:
  Michael Duvigneau, Germany
  Thomas Wagner, Germany

Program Committee:
  G. Balbo, Italy
  M. Bednarczyk, Poland
  J. Billington, Australia
  J. Carmona, Spain
  G. Ciardo, USA
  J.M. Colom, Spain
  J. Desel, Germany
  R. Devillers, Belgium
  J. Esparza, Germany
  D. Fahland, The Netherlands
  A. Giua, Italy
  L. Gomes, Portugal
  S. Haddad, France (co-chair)
  K. Hiraishi, Japan
  R. Janicki, Canada
  V. Khomenko, UK
  E. Kindler, Denmark
  J. Kleijn, The Netherlands
  L.M. Kristensen, Norway
  R. Lazic, UK
  C. Lin, China
  A. Miner, USA
  M. Mukund, India
  L. Petrucci, France
  L. Pomello, Italy (co-chair)
  W. Reisig, Germany
  S. Taoka, Japan
  R. Valk, Germany
  A. Valmari, Finland
  H. Völzer, Switzerland

--
Daniel Moldt, Thomas Wagner, Michael Duvigneau
University of Hamburg, Faculty of Informatics
Vogt-Kölln-Straße 30, 22527 Hamburg, Germany
Tel: +49 40 42883-2247 or -2236
Fax: +49 40 42883-2246
mailto:PetriNets2012+publicity@informatik.uni-hamburg.de