Wednesday, August 25, 2010

CFP: PETRI NETS 2011, 32nd International Conference on Application and Theory of Petri Nets and Concurrency

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

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

PETRI NETS 2011
32nd International Conference on Application and Theory of
Petri Nets and Concurrency
June 20-24, 2011, Kanazawa, Japan

Collocated with ACSD 2011:
11th International Conference on Application of Concurrency to System Design

Common web page: http://www.jaist.ac.jp/acsd-petrinets2011/
Contact e-mail: petrinets2011@jaist.ac.jp

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

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


Important Dates:
-----------------------------------------------------------
Submission of Papers: January 5, 2011
Notification: March 1, 2011
Final Version Due: April 1, 2011
Workshops & Tutorials: June 20-21, 2011
Conference: June 22-24, 2011

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

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,
* Applications of nets to different kinds of systems and application
fields, e.g.:
flexible manufacturing systems, real-time systems, embedded systems,
defense 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 to the practical
use of Petri Nets and concurrency. For application-oriented papers,
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 5, 2011
using the website:
http://www.easychair.org/conferences/?conf=petrinets2011.


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, 2011. Submissions violating the above requirements
may be immediately rejected by the PC Chairs.


Tool Exhibition
-----------------------------------------------------------
An exhibition of Petri net tools takes place on Tuesday or Wednesday
afternoon/evening. 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, 2011. 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 Wednesday to Friday. The days before the
conference also offer a wide range of activities.

The Petri Net Course takes place Sunday, Monday, and 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 the Workshop and Tutorial Co-Chairs.

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 5, 2011.


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 (chair)
J. Kleijn, The Netherlands
M. Koutny, UK C. Lin, China
W. Penczek, Poland
C.A. Petri, Germany (honorary member)
L. Pomello, Italy
W. Reisig, Germany
G. Rozenberg, The Netherlands
M. Silva, Spain
A. Valmari, Finland
A. Yakovlev, UK

Program Committee:

G. Balbo, Italy
M. Bednarczyk, Poland
J. Billington, Australia
M. Bonsangue, The Netherlands
D. Buchs, Switzerland
J. Carmona, Spain
P. Chrzastowski-Wachtel, Poland
G. Ciardo, USA
J.M. Colom, Spain
J. Desel, Germany
R. Devillers, Belgium
J. Esparza, Germany
D. Fahland, Germany
Q.W. Ge, Japan
A. Giua, Italy
L. Gomes, Portugal
S. Haddad, France
M. Heiner, Germany
K. Hiraishi, Japan
R. Janicki, Canada
E. Kindler, Denmark
L.M. Kristensen, Norway (co-chair)
J. Lilius, Finland
C. Lin, China
D. Moldt, Germany
M. Mukund, India
W. Penczek, Poland
L. Petrucci, France (co-chair)
L. Pomello, Italy
O-H. Roux, France
N. Sidorova, The Netherlands
S. Taoka, Japan
V. Valero, Spain
A. Valmari, Finland
A. Yakovlev, UK

Workshop and Tutorial Co-Chairs:
Jetty Kleijn, The Netherlands,
Wil van der Aalst, The Netherlands

Organising Committee Chair:
Kunihiko Hiraishi, Japan

Tools Exhibition Chair:
Satoshi Yamane, Japan

Publicity Chair:
Koichi Kobayashi, Japan


***

Kunihiko Hiraishi
School of Information Science,
Japan Advanced Institute of Science and Technology
1-1 Asahidai Nomi-shi Ishikawa, 923-1292 Japan
TEL +81 761 51 1281, FAX +81 761 51 1149
E-mail: hira@jaist.ac.jp