[ecoop-info] PETRI NETS 2013 - Call For Paper
Lucia Pomello
pomello at disco.unimib.it
Wed Sep 26 11:49:03 CEST 2012
*** Apologies for multiple copies due to cross-posting ***
*** Please forward to colleagues who might be interested ***
===========================================================
PETRI NETS 2013
34th International Conference on
Application and Theory of Petri Nets and Concurrency
Milano, Italy, June 24-28, 2013
Additional information about the conference will be published via
http://www.mc3.disco.unimib.it/petrinets2013/
Contact e-mail: petrinets2013 at disco.unimib.it
Important Dates
--------------------------------------------------------
Submission of Papers: January 10, 2013
Submission of Tutorial Proposals: January 10, 2013
Notification: March 1, 2013
Final Version Due: April 1, 2013
Participation in Tool Exhibition: June 1, 2013
Workshops & Tutorials: June 24-25, 2013
Conference: June 26-28, 2013
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.
The 34th annual international Petri Net conference will be organised
by the Department of Computer Science, Systems and Communication
(DISCo), University of Milano - Bicocca. The conference takes place
under the auspices of the EATCS, and GI SIG "Petri Nets and Related
System Models". The language of the conference is English, and its
proceedings will be published by Springer-Verlag in Lecture Notes in
Computer Science. All accepted papers will be considered for the
"Outstanding Paper" award(s). Papers presenting original research on
application or theory of Petri nets, as well as contributions
addressing topics relevant to the general field of distributed and
concurrent systems are sought.
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
- office automation
- real-time systems
- workflows
- embedded systems
- supervisory control
- defence systems
- protocols and networks
- biological systems
- Internet
- health and medical systems
- e-commerce and trading
- environmental systems
- programming languages
- hardware
- performance evaluation
- telecommunications
- operations research
- railway networks
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: ApplicationFormat.pdf (available at
www.informatik.uni-hamburg.de/TGI/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: ToolFormat.pdf (available at
www.informatik.uni-hamburg.de/TGI/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 neither already been published nor are
simultaneously being considered for publication in a peer-reviewed
forum;
- 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 the above
mentioned
deadlines using the website
http://www.easychair.org/conferences/?conf=petrinets2013.
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, 2013. 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, 2013. 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
(kleijn at liacs.nl) or Joerg Desel (joerg.desel at fernuni-hagen.de).
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.
The following workshops are scheduled for 2013:
* Petri Nets and Software Engineering (PNSE'13)
* Biological Processes & Petri Nets (BioPPN)
* Models of Objects, Organizations, Components, Agents, Artefacts and
Services in Business Environments (MOCASBE)
In addition there will a Model Checking contest:
* Petri Net Model Checking Contest
The submission deadline for workshops is March 22, 2013.
It is also possible to arrange Meetings and Courses related to Petri
Nets.
Submissions for such activities, as well as for Advanced Tutorials, must
contain a 2-5 page description. They must be received by the PC-chairs
no later than January 10, 2013.
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
F. Kordon, France
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
--------------------------------------------------------
José Manuel Colom, Spain
Joerg Desel, Germany
Workshop and Tutorial Co-Chairs
--------------------------------------------------------
Serge Haddad, France
Alex Yakovlev, UK
Organising Committee Chair
--------------------------------------------------------
Lucia Pomello, Italy
Tools Exhibition Chair
--------------------------------------------------------
Luca Bernardinello, Italy
Publicity Chairs
--------------------------------------------------------
Luca Bernardinello, Italy
Lucia Pomello, Italy
Program Committee
--------------------------------------------------------
H. Alla, France
M. Beccuti, Italy
J. Billington, Australia
J. Carmona, Spain
G. Ciardo, USA
J.M. Colom, Spain (co-chair)
P. Darondeau, France
J. Desel, Germany (co-chair)
R. Devillers, Belgium
Z. Duan, China
J. Esparza, Germany
M.P. Fanti, Italy
L. Gomes, Portugal
S. Haddad, France
H. Hansen, Singapore
K. Hiraishi, Japan
V. Khomenko, UK
E. Kindler, Denmark
H. Klaudel, France
J. Kleijn, The Netherlands
R. Lazic, UK
C. Lin, China
N. Lohmann, Germany
I. Lomazova, Russia
A. Miner, USA
L. Pomello, Italy
W. Reisig, Germany
C. Seatzu, Italy
C. Stahl, The Netherlands
S. Taoka, Japan
A. Valmari, Finland
M. Westergaard, The Netherlands
===========================================================
Lucia Pomello
DISCo, University of Milano - Bicocca
Building U14 - Room 2064
Viale Sarca 336
20126 Milano
Phone: +39 02 6448 7816
e-mail: pomello at disco.unimib.it
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20120926/40f64145/attachment.html
More information about the ecoop-info
mailing list