PN 2016 // ACSD 2016

37th INTERNATIONAL CONFERENCE ON APPLICATIONS AND THEORY OF PETRI NETS AND CONCURRENCY
16th INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN


Toruń, Poland. 19-24 June 2016

About the Event


The 37th annual international Petri Nets conference will be organized by the Department of Formal Languages and Concurrency (Faculty of Mathematics and Computer Science) of Nicolaus Copernicus University, Toruń, Poland. The conference will take place at the Faculty of Mathematics and Computer Science of Nicolaus Copernicus University. The language of the conference is English, and its proceedings will be published by Springer-Verlag in Lecture Notes in Computer Science. 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. All accepted regular papers will be considered for an “Outstanding Paper” award. Some of the best papers will be invited, in an extended form, as submissions to a special issue of a well established computer science journal.

PN Call for Papers
EasyChair

The 16th International Conference on Application of Concurrency to System Design 2016 will be organised in Toruń (Poland) by the Nicolaus Copernicus University, and will be held from 22nd to 24th June 2016. ACSD seeks papers describing original work which has not been previously published and is not under review for publication elsewhere. All files must be prepared using the latest IEEE Computer Society conference proceedings guidelines (8.5" x 11" two-column format). The page limit for regular papers is 10 pages. In addition to regular submissions, there will be a tools section. Tools will be presented at the conference in an interactive session. Related papers describe a tool, its functionality and interfaces as well as the underlying algorithms and implementation aspects. These tool papers are limited to 6 pages.

ACSD Call for Papers
EasyChair

Satellite Events


Workshops

International Workshop on Petri Nets and Software Engineering

http://www.informatik.uni-hamburg.de/TGI/events/pnse16/

For the successful realisation of complex systems of interacting and reactive software and hardware components the use of a precise language at different stages of the development process is of crucial importance. Petri nets are becoming increasingly popular in this area, as they provide a uniform language supporting the tasks of modelling, validation, and verification. Their popularity is due to the fact that Petri nets capture fundamental aspects of causality, concurrency and choice in a natural and mathematically precise way without compromising readability.

The use of Petri nets (P/T-nets, coloured Petri nets and extensions) in the formal process of software engineering, covering modelling, validation, and verification, will be presented as well as their application and tools supporting the disciplines mentioned above.

7th International Workshop on Biological Processes & Petri Nets (BioPPN 2016)

http://www-dssz.informatik.tu-cottbus.de/BME/BioPPN2016

The goal of this workshop is to provide a platform for researchers aiming at fundamental research and real life applications of Petri nets and other concurrency models in Systems and Synthetic Biology.

Algorithms & Theories for the Analysis of Event Data (ATAED) 2016

http://www.fernuni-hagen.de/ataed2016/

The workshop aims to attract papers related to Process Mining, Region Theory and other synthesis techniques. These techniques have in common that "lower level" behavioral descriptions (event logs, partial orders, transition systems, etc.) are used to create "higher level" process models (e.g., various classes of Petri nets, BPMN, or UML activity diagrams).

Petri Net Course

The Petri Net Course takes place on Sunday, Monday, Tuesday June 19-21. Organisers are Jörg Desel (FernU. Hagen) and Jetty Kleijn (Leiden U.).

This course offers a thorough introduction to Petri Nets in four half-day modules on Sunday and Monday with on Tuesday a choice from two full-day tutorial module on applications of Petri Nets and/or new developments presented by experts in the area. Each module of the course can be taken separately. In particular, the lectures on Tuesday can be followed as independent tutorials.

Credits

All Petri Net Course modules are open for everyone interested. For the course as a whole, graduate and PhD Students are the intended audience. It is possible to earn credit points (3 ECTS awarded by Leiden University, NL) on basis of successful participation in the Course including: a preparation phase before the Course; examinations for the modules of Sunday and Monday in the form of small exercises or homework; and a written report as an outcome of a project associated with the tutorial chosen for Tuesday,

For the preparation phase, students who have registered for the full course, will receive in advance material containing preliminaries on the philosophy of net theory, basic notions, small examples, typical application areas etc. For the examination of the Sunday/Monday modules, time will be available during the course. The completion of the assignment of the Tuesday module will take place after the Petri Net Course as agreed with the lecturer(s).

Model Checking Contest

Model Checking Contest @ Petri Nets 2016

http://mcc.lip6.fr/cft.php

The Model Checking Contest (MCC) is a yearly event that assesses existing verification tools for concurrent systems on a set of models (i.e., benchmarks) proposed by the scientific community. All tools are compared on the same benchmarks and using the same computing platform, so that a fair comparison can be made, contrary to most scientific publications, in which different benchmarks are executed on different platforms.

Information


January 15, 2016
Abstract submssion
January 15, 2016
Submission of Papers
EasyChair
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 (or January 15 if, an abstract was submitted by January 10), 2016 using the easychair website.
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.
March 1, 2016
Notification
March 15, 2016
Camera ready version due
May 20 June 6, 2016
Early registration
June 1, 2016
Participation in Tool Exhibition
Tool Exhibition
An exhibition of Petri net tools will take 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, 2016. 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 organizers may be requested to give access to the Internet.
June 19-21, 2016
Workshops & Tutorials
Courses, Workshops & Tutorials
The main conference takes place from Wednesday to Friday. The three days before the main 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 in four half–day modules on Sunday and Monday, and a full–day tutorial module on Tuesday. For successful participation in the entire course, including preparation and examination, three credit points (ECTS) will be awarded. Each module of the course can also be taken separately, without any credit.
Workshops take place on Monday and Tuesday. On Tuesday there will be two tutorials on applications of Petri nets and/or new developments presented by experts in the area. These tutorials can be followed independently or in combination with the Petri Net Course. Detailed descriptions of Workshops and Tutorials will be made 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 via email no later than January 10, 2016.
June 22-24, 2016
Main Conference
Click here to download call for papers and posters: A3 or A1 formats.
Papers can be submitted on EasyChair.
January 12, 2016
Abstract submssion
January 25, 2016
Submission of Papers
EasyChair
ACSD seeks papers describing original work which has not been previously published and is not under review for publication elsewhere. All files must be prepared using the latest IEEE Computer Society conference proceedings guidelines (8.5" x 11" two-column format). Templates and further instructions are available from the ACSD 2016 web site. The page limit for regular papers is 10 pages.
In addition to regular submissions, there will be a tools section. Tools will be presented at the conference in an interactive session. Related papers describe a tool, its functionality and interfaces as well as the underlying algorithms and implementation aspects. These tool papers are limited to 6 pages.
Conference proceedings will be published on IEEE Xplore Digital Library. Accepted regular and tool papers will be included in the conference proceedings. At least one authors of each accepted contribution is expected to present the paper or tool at the conference, and will be required to sign the IEEE copyright release forms. Several papers will be considered for publication in extended and revised form in a special issue of a journal. All papers have to be submitted via EasyChair: https://www.easychair.org/conferences/?conf=acsd2016
March 15, 2016
Notification
April 15, 2016
Camera ready version due
May 20 June 6, 2016
Early registration
June 19-21, 2016
Workshops & Tutorials
Courses, Workshops & Tutorials
The main conference takes place from Wednesday to Friday. The three days before the main 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 in four half–day modules on Sunday and Monday, and a full–day tutorial module on Tuesday. For successful participation in the entire course, including preparation and examination, three credit points (ECTS) will be awarded. Each module of the course can also be taken separately, without any credit.
Workshops take place on Monday and Tuesday. On Tuesday there will be two tutorials on applications of Petri nets and/or new developments presented by experts in the area. These tutorials can be followed independently or in combination with the Petri Net Course. Detailed descriptions of Workshops and Tutorials will be made 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 via email no later than January 10, 2016.
June 22-24, 2016
Main Conference
Click here to download call for papers and posters: A3 or A1 formats.
Papers can be submitted on EasyChair.
IEEE templates can be found on IEEE.org.

Program Committee Co-chairs

Fabrice Kordon

LIP6,

Université P. & M. Curie

Fabrice.Kordon@lip6.fr

Daniel Moldt

Department of Informatics,

Universitat Hamburg

moldt@informatik.uni-hamburg.de

Workshop and tutorial Co-chairs

Jetty Kleijn

LIACS,

Univerity of Leiden

h.c.m.kleijn@liacs.leidenuniv.nl

Wojciech Penczek

Institute of Computer Science,

Polish Academy of Sciences

penczek@ipipan.waw.pl

Steering Committee

W. van der Aalst, The Netherlands

J. Kleijn, The Netherlands

L. Pomello, Italy

G. Ciardo, USA

F. Kordon, France

W. Reisig, Germany

J. Desel, Germany

M. Koutny, UK (chair)

G. Rozenberg, The Netherlands

S. Donatelli, Italy

L.M. Kristensen, Norway

M. Silva, Spain

S. Haddad, France

C. Lin, China

A. Valmari, Finland

K. Hiraishi, Japan

W. Penczek, Poland

A. Yakovlev, UK

Organising Committee

Łukasz Mikulski (chair)

Kamila Barylska (publicity)

Marcin Piątkowski (tools exhibition)

Damian Kurpiewski

Marek Nowicki

Piotr Przymus

Program Committee

W.van der Aalst, The Netherlands

G. Balbo, Italy

K. Barkaoui, France

R. Bergenthum, Germany

L. Bernardinello, Italy

H. Boucheneb, Canada

D. Buchs, Switzerland

L. Cabac, Germany

P. Chrząstowski-Wachtel, Poland

J.M. Colom, Spain

R. Devillers, Belgium

D. de Frutos Escrig, Spain

J.M. Fernandes, Portugal

H. Hansen, Finland

M. Heiner, Germany

V. Janousek, Czech Republic

J.P. Katoen, Germany

V. Khomenko, UK

E. Kindler, Denmark

F. Kordon, France (co-chair)

L. Kristensen, Norway

H. Matsuno, Japan

Ł. Mikulski, Poland

A. Miner, USA

D. Moldt, Germany (co-chair)

M. Mukund, India

P. Poizat, France

A. Polyvyanyy, Australia

R. Robbana, Tunisia

S. Schwoon, France

N. Sidorova, The Netherlandts

P. Sobocinski, UK

Y. Thierry-Mieg, France

A. Valmari, Finland

Steering Committee

Alex Yakovlev, UK (chair)

Benoit Caillaud, France

Jordi Cortadella, Spain

Jörg Desel, Germany

Alex Kondratyev, USA

Luciano Lavagno, Italy

Antti Valmari, Finland

Program Committee Chairs

Jörg Desel, Germany

Alex Yakovlev, UK

Organising Committee

Łukasz Mikulski (chair)

Kamila Barylska (publicity)

Marcin Piątkowski (tools exhibition)

Damian Kurpiewski

Marek Nowicki

Piotr Przymus

Program Committee

Mohamed Faouzi Atig, Sweden

Jiří Barnat, Czech Republic

Lars Bauer, Germany

Behzad Bordbar, UK

Jens Brandt, Germany

Benoit Caillaud, France

Josep Carmona, Spain

Franck Cassez, Australia

Thomas Chatain, France

Cezara Dragoi, Austria

Nikil Dutt, USA

Wan Fokking, The Netherlands

Gilles Geeraerts, Belgium

Stefan Haar, France

Keijo Heljanko, Finland

Loic Helouet, France

Holger Hermanns, Germany

Ryszard Janicki, Canada

Gabriel Juhás, Slovakia

Jörg Keller, Germany

Hanna Klaudel, France

Luciano Lavagno, Italy

Johan Lilius, Finland

Roland Meyer, Germany

Andrey Mokhov, UK

Wojciech Mostowski, Sweden

Wojciech Penczek, Poland

Marta Pietkiewicz-Koutny, UK

Dumitru Potop-Butucaru, France

Partha Roop, New Zeeland

Sandeep Shukla, USA

Gerard J. M. Smit, The Netherlands

Antti Valmari, Finland

Walter Vogler, Germany

Tomohiro Yoneda, Japan


Invited Speakers

  • Portfolio Item

    Ian Foster

    Distinguished Carl Adam Petri Lecture

  • Portfolio Item

    Manfred Broy

    Keynote Speaker

    Portfolio Item

    Jetty Kleijn

    Keynote Speaker

  • Portfolio Item

    Sławomir Lasota

    Keynote Speaker

    Portfolio Item

    Philip Wadler

    Keynote Speaker

Accepted papers


Petri Nets

  • S. Akshay, Blaise Genest and Loic Helouet: Timed-Arc Petri Nets with (restricted) Urgency
  • Eike Best and Raymond Devillers: The Power of Prime Cycles
  • Eike Best, Evgeny Erofeev, Uli Schlachter and Harro Wimmel: Characterising Petri Net Solvable Binary Words
  • Lawrence Cabac, Michael Haustermann and David Mosteller: Renew 2.5 – Towards a Comprehensive Integrated Development Environment for Petri Net-Based Applications
  • Thomas Chatain and Josep Carmona: Anti-Alignments in Conformance Checking -- The Dark Side of Process Models
  • Leonid Dworzanski and Irina Lomazova: Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets
  • Yrvann Emzivat, Benoît Delahaye, Didier Lime and Olivier H. Roux: Probabilistic Time Petri Nets
  • Quentin Gaudel, Pauline Ribot, Elodie Chanthery and Matthew Daigle: Health Monitoring of a Planetary Rover Using Hybrid Particle Petri Nets
  • Loic Helouet and Karim Kecir: Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics
  • Lars Kristensen and Vegard Veiset: Transforming CPN Models into Code for TinyOS: A Case Study of the RPL Protocol
  • Franck Pommereau: ABCD: a user-friendly language for formal modelling and analysis
  • Uli Schlachter: Petri Net Synthesis in Restricted Classes of Nets
  • Jacek Sroka, Andrzej Kierzek and Wojciech Ptak: AB-QSSPN: Integration of agent-based simulation of cellular populations with quasi-steady state simulation of genome scale intracellular networks
  • Eric Verbeek and Wil van der Aalst: Merging Alignments for Decomposed Replay
  • András Vörös, Dániel Darvas, Vince Molnár, Attila Klenik, Ákos Hajdu, Attila Jámbor, Tamas Bartha and Istvan Majzik: PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research
  • András Vörös, Vince Molnár, Istvan Majzik, Kristóf Marussy, Miklós Telek and Attila Klenik: Efficient decomposition algorithm for stationary analysis of complex stochastic Petri net models

ACSD

  • Waheed Ahmad, Marijn Jongerden, Mariëlle Stoelinga and Jaco van de Pol: Model Checking and Evaluating QoS of Batteries in MPSoC Dataflow Applications via Hybrid Automata
  • Mohammed A. N. Al-hayanni, Ashur Rafiev, Rishad Shafik and Fei Xia: Power and Energy Normalized Speedup Models for Heterogeneous Many Core Computing
  • Étienne André, Michał Knapik, Wojciech Penczek and Laure Petrucci: Controlling Actions and Time in Parametric Timed Automata
  • Juliana Bowles, Behzad Bordbar and Mohammed Alwanain: Weaving True-Concurrent Aspects using Constraint Solvers
  • Ferenc Bujtor and Walter Vogler: ACTL for Modal Interface Automata
  • Raymond Devillers: Products of Transition Systems and Additions of Petri Nets
  • Martijn Hendriks, Marc Geilen, Amir R. B. Behrouzian, Twan Basten, Hadi Alizadeh and Dip Goswami: Checking Metric Temporal Logic with TRACE (tool paper)
  • Mahdi Jelodari Mamaghani, Danil Sokolov and Jim Garside: Asynchronous Dataflow De- Elastisation For Efficient Heterogeneous Synthesis
  • Hanna Klaudel, Maciej Koutny and Ben Moszkowski: From Petri Nets with Shared Variables to ITL
  • Ondřej Meca, Stanislav Böhm, Marek Běhálek and Petr Jančar: An Approach to Verification of MPI Applications Defined in a High-Level Model
  • Dennis Schmitz, Daniel Moldt, Lawrence Cabac, David Mosteller and Michael Haustermann: Utilizing Petri Nets for Teaching in Practical Courses on Collaborative Software Engineering
  • Matthew Travers, Rishad Shafik and Fei Xia: Power-Normalized Performance Optimization of Concurrent Many-Core Applications
  • Antti Valmari: The Congruences Below Fair Testing with Initial Stability

Pricing


There are 5 pricing packages.

Package 1: Conference plus Two Extra Days (Full Program)

Includes full access to the PN & ACSD conferences, full access to the workshops and tutorials (Mon-Tue), and the PN course (including the lecture on Sunday), coffee breaks and lunches (Mon-Fri), banquet and reception (1 person), 1 copy of the conference proceedings (PN or ACSD), maximum 2 copies of workshop proceedings or tutorial lecture notes, 1 welcome pack.

Package 2: Conference plus One Extra Day

Includes full access to the PN & ACSD conferences, one day of workshops / tutorials / course (free access to the PN course on Sunday), coffee breaks and lunches during 4 days (Wed-Fri +either Monday or Tuesday), banquet and reception (1 person), 1 copy of the conference proceedings (PN or ACSD), 1 copy of workshop proceedings or tutorial lecture notes, 1 welcome pack.

Packge 3: Conference Only Registration

Includes full access to the PN & ACSD conferences, coffee breaks and lunches during the conferences (Wed-Fri), banquet and reception (1 person), 1 copy of the conference proceedings (PN or ACSD), 1 welcome pack.

Package 4: Tutorial / Workshop / Petri Net Course (2 days)

Includes full access to the workshops and tutorials (Mon-Tue), and the PN course (including the lecture on Sunday), coffee breaks and lunches during two days (Mon-Tue), maximum 2 copies of workshop proceedings or tutorial lecture notes, 1 welcome pack.

Package 5: Tutorial / Workshop / Petri Net Course (1 day)

Includes full access to one day of workshops and tutorials (either Mon or Tue), and the PN course (including the lecture on Sunday), coffee breaks and lunches during one day (either Mon or Tue), 1 copy of workshop proceedings or tutorial lecture notes, 1 welcome pack.


Pricing Non-Student Student
Until May 20th After May 20th Until May 20th After May 20th
Conference plus two extra days (5 days) 480€ 580€ 380€ 480€
Conference plus one extra day (4 days) 430€ 530€ 330€ 430€
Conference Only (3 days) 340€ 440€ 250€ 350€
Tutorial/Workshop/Course (2 days) 200€ 250€ 150€ 200€
Tutorial/Workshop/Course (1 day) 130€ 180€ 100€ 150€

If you currently are / become a member of the GI SIG "Petri Nets and Related System Models" or EATCS you are entitled to 15 € reduction if you register for 3-days or more. Please provide your membership number during registration.


To become member of the SIG, you need to be member of the GI. There is an on-line registration for GI and for the SIG Petri Nets (Petrinetze). Please note that this form is available in German only.

To become a member of the GI (Gesellschaft für Informatik / German Society for Informatics), it is sufficient to either send an email to marketing@gi.de or to apply online at: https://www.gi.de/mitgliedschaft/mitglied-werden.html



Call for registration fee grants applications


Registration fee grants cofounded by Springer Verlag and Nicolaus Copernicus University are available for students. To apply for a grant you need to be PhD or MSc student and register for 2 days of workshops/tutorials/course (Package 4).

Successful application allows to attend for free in the main conference including social events (upgrades package 4 to package 1).

To apply for the grant you need to send before 18.05.2016 (notification - 19.05.2016):

  • - scientific cv

  • - motivation letter

  • - support letter from supervisor

  • - document confirming student status

to address pn2016@mat.umk.pl with cc to Fabrice.Kordon@lip6.fr and Moldt@informatik.uni-hamburg.de.

    • Registration

    • Individual

      • 2x option 1
      • Free option 2
      • Unlimited option 3
      • Unlimited option 4
      • 1x option 5
      • 2x option 1
      • Free option 2
      • Unlimited option 3
      • Unlimited option 4
      • 1x option 5
    • Register
    • $99

    • Individual

      • 2x option 1
      • Free option 2
      • Unlimited option 3
      • Unlimited option 4
      • 1x option 5
      • 2x option 1
      • Free option 2
      • Unlimited option 3
      • Unlimited option 4
      • 1x option 5
    • Register
    • $125

    • Business

      • 2x option 1
      • Free option 2
      • Unlimited option 3
      • Unlimited option 4
      • 1x option 5
    • Register
    • $100

    • Institution

      • 2x option 1
      • Free option 2
      • Unlimited option 3
      • Unlimited option 4
      • 1x option 5
    • Register
    • $150

    • Government

      • 2x option 1
      • Free option 2
      • Unlimited option 3
      • Unlimited option 4
      • 1x option 5
    • Register

Registration


Registrations will be done online through www.easyconferences.org. Participants may pay instantly using their credit card (VISA/MASTERCARD), or they may choose to pay through the bank. A one-stop-shop software is used for the whole registration process, www.easyconferences.org. The whole process is easy to use, secure, and can be completed in a few minutes.

Registration Steps

  • Create an "easyconferences" account through www.easyconferences.org

  • Activate your account by clicking on the activation link sent into your email account

  • Log into www.easyconferences.org and create your PN 2016//ACSD 2016 form

  • Settle securely your order through the online credit card payment method



For inquiries including online registration and invoicing please contact:

Easy Conferences


Hi! My name is . I would like to register for the pack . Contact me on
Please read the carefully.

Sponsors and Organizers


sp1
sp2
sp3
sp4
sp5
sp6
sp7
sp8
sp8
sp9
sp10
sp10
sp10
sp10
sp13

Subscribe for newsletter

Contact


If you have any questions, do not hesitate to contacts us.

Address

Chopina 12/18,
87-100 Toruń,
Poland

Phone

+48 6113442
+48 6113401