Call for Demos

Call for Demos: Tool Demonstration Session of Petri Nets/ACSD 2019

The Petri Nets (PN 2019; Springer) and the Application of Concurrency to System Design (ACSD 2019; IEEE) conferences are the premier venue for researchers active in the field of analysis, design and specification of concurrent computer systems.

Alongside the main conferences and their call for papers, an informal tool demonstration session is organized. Note that, this is a separate event from the dedicated tool-paper-track of PN 2019. The tool demonstration session is intended for researchers and practitioners, to show their recently developed tools to the other conference attendants. It moreover serves as a perfect opportunity to discuss the emerging technologies in the field with other researchers and practitioners, active in the field.

Since the tool demonstration session is of an informal nature, no corresponding formal proceedings are published (again, for this, please consider submitting to the aforementioned dedicated tool-paper-track of PN 2019). Therefore, submission for participation in the tool demonstration session consists of sending an email to pn2019-tools[at], consisting of the following parts:

  1. Tool name, authors and affiliation;
  2. A concise description of the tool (max 300 words), highlighting its purpose and main functionality.
  3. A link to a webpage providing more information w.r.t. the tool, e.g. documentation, API, etc., including the possibility to download the tool.

The criterion for acceptance to the tool demonstration session are the aforementioned points, and in particular, the public availability of the tool.

Upon acceptance to the session, a confirmation email will be send to the authors. Furthermore, the provided details of the tool will additionally be published on the Petri nets website

Key Date(s)

  • Deadline for tool registration: May 15th, 2019