Petri Nets 2014 - 35th International Conference on Application and Theory of Petri Nets and Concurrency

The 35th annual international Petri Net conference will take place in Tunis from June 23th to 27th, 2014. The conference will be organized by the Computer Science and Communication Departments of Tunis El Manar University ( ENIT ), Manouba University ( ENSI ), and Carthage University ( INSAT ). The conference takes place under the auspices of the Academia Europaea , EATCS , and GI SIG "Petri Nets and Related System Models.
The 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 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 in Springer LNCS-format)
tool papers (max 10 pages in Springer LNCS-format)
The website for electronical submissions is:
http://www.easychair.org/conferences/?conf=petrine...
The full set of requirements and guidelines for submissions is given in the Call for Papers.
More Activities
While the conference takes place from Wednesday to Friday, the days before the conference also offer a wide range of activities:
several one-day or two-day Workshops,
the three-day Petri Net Course,
the Tools Exhibition, and
Important Dates
Submission of Papers: January 10, 2014
Notification: March 1, 2014
Final Version Due: April 1, 2014
Submission of Tutorial Proposals: January 10, 2014
Participation in Tools Exhibition: June 1, 2014
Workshops & Tutorials: June 23-24, 2014
Conference: June 25-27, 2014
The deadline for submission of papers is STRICT. However, if you submit the title and abstract 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.