Welcome !

PN 2015 and ACSD 2015 will be organized by the Formal Methods and Verification group (Computers science Department, Science Faculty) of the Université libre de Bruxelles. They takes place under the auspices of the: Academia Europaea, EATCS, GI SIG "Petri Nets and Related System Models", and ATIA.

The proceedings of PN will be published by Springer-Verlag in Lecture Notes in Computer Science. All accepted papers will be considered for the "Outstanding Paper" award(s).

The proceedings of ACSD will be published in the IEEE Xplore Digital Library. Several papers will be considered for publication in extended and revised form in a special issue of a journal.

Papers presenting original research are sought. See the calls for papers for full details.

More Activities

While the conferences take 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