posted by user: Petrinetz || 3265 views || tracked by 7 users: [display]

Petri Nets 2016 : ICATPN-16: 37th International Conference on Application and Theory of Petri Nets and Concurrency

FacebookTwitterLinkedInGoogle

Link: http://pn2016.mat.umk.pl/
 
When Jun 19, 2016 - Jun 24, 2016
Where Toruń, Poland
Submission Deadline Jan 15, 2016
Notification Due Mar 1, 2016
Final Version Due Mar 16, 2016
Categories    computer science   modelling   theoretical computer science   software engineering
 

Call For Papers

Call for Papers and Announcement Petri Nets 2016

PETRI NETS 2016
37th International Conference on Application and Theory of Petri Nets
and Concurrency
in Toruń, Poland, June 19-24, 2016

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

Additional information about the conference can be found at:
http://pn2016.mat.umk.pl
Contact e-mail: pn2016@mat.umk.pl

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

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 15, 2016
using the website
http://www.easychair.org/conferences/?conf=petrinets2016 .

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 15, 2016
Notification: March 1, 2016
Final Version Due: March 15, 2016
Workshops & Tutorials: June 19-21, 2016
Main Conferences: June 22-24, 2016

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.

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

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

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

Tool Exhibition:

On Wednesday June 22, 2016, there will be a tool exhibition. 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, 2016: pn2016@mat.umk.pl
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.

In case of any comments or questions, please contact the organizers:
via email: pn2016@mat.umk.pl
via http://pn2016.mat.umk.pl


Organizing Chair:
Łukasz Mikulski (Nicolaus Copernicus University, Toruń)
PC-Chairs:
Fabrice Kordon (Université P. & M. Curie, Paris)
Daniel Moldt (University of Hamburg, Hamburg)

Related Resources

PETRINETS 2024   45th International Conference on Application and Theory of Petri Nets and Concurrency
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
ICoCTA 2024   2024 4th International Conference on Control Theory and Applications
MLANN 2024   2024 2nd Asia Conference on Machine Learning, Algorithms and Neural Networks (MLANN 2024)
CODASPY 2024   The 14th ACM Conference on Data and Application Security and Privacy
ACM ICMLT 2024   ACM--2024 9th International Conference on Machine Learning Technologies (ICMLT 2024)
CCAT 2024   2024 the 3rd International Conference on Computer Application Technology (CCAT 2024)
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
ICDT 2025   International Conference on Database Theory
AIAT 2024   2024 4th International Conference on Artificial Intelligence and Application Technologies (AIAT 2024)