*** Apologies for multiple copies due to cross-posting ***
*** Please forward to colleagues who might be interested ***
===========================================================
PETRI NETS 2015
36th International Conference on Application and Theory of Petri Nets
and Concurrency
Brussels, Belgium, June 21–26, 2015
Co-located with ACSD 2015:
International Conference on Application of Concurrency to System Design
Web page:http://www.ulb.ac.be//di/verif/pn2015/
Contact e-mail:[email protected]
Web page of the call for
papers:http://www.ulb.ac.be//di/verif/pn2015/cfp.html
============================================================
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.
* 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). 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, 20015
using the websitehttp://www.easychair.org/conferences/?conf=petrinets2015 .
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.
Submissions violating the above requirements may be
immediately rejected by the PC Chairs.
Important Dates:
-----------------------------------------------------------
Submission of Papers: January 10, 2015
Notification: March 1, 2015
Final Version Due: April 1, 2015
Workshops & Tutorials: June 21–23, 2015
Main Conferences: June 24–26, 2015
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 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
=========================================================================================================
Tool Exhibition:
An exhibition of Petri net tools will take place on Wednesday June 24,
2015.
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, 2015.
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.
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
