Petri Nets 2020

From Openresearch
Jump to: navigation, search
Petri Nets 2020
41th International Conference on Application and Theory of Petri Nets and Concurrency
Event in series Petri Nets
Dates 2020/06/24 (iCal) - 2020/06/25
Homepage: https://lipn.univ-paris13.fr/petrinets2020/#header
Location
Location: , Video conference
Important dates
Abstracts: 2020/01/22
Papers: 2020/01/28
Notification: 2020/03/06
Camera ready due: 2020/03/20
Committees
General chairs: Étienne André, Laure Petrucci
Table of Contents


Event

The following coordinate was not recognized: Geocoding failed.
The following coordinate was not recognized: Geocoding failed.


Our highest priority is the safety of all participants. Due to the covid19 outbreak, Petri Nets 2020 will happen as a virtual conference, with prerecorded videos of the talks, and live sessions for discussion via BigBlueButton (no software needed, just a browser). Registration is free (except for one author per paper for which we ask a small fee) but compulsory.

You can already book your Wednesday 24th and Thursday 25th of June.


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 developments in the theory of concurrency
  • Modelling of hardware and biological systems


 Topics specific to Petri Nets
  • Analysis and synthesis, structure and behaviour of nets
  • System design and model-driven development using nets
  • Relationships between Petri nets and other approaches
  • Net-based semantical, logical and algebraic calculi
  • Higher-level net models (coloured nets, timed nets, etc.)
  • Stochastic net models
  • Verification and model checking using nets
  • Process discovery and conformance checking
  • Computer tools for nets
  • Standardisation of nets
  • Experience reports describing applications of nets to different kinds of systems and application fields, e.g.:
  • flexible manufacturing systems
  • office automation
  • real-time systems
  • workflows
  • embedded systems
  • process mining
  • biological systems
  • supervisory control
  • health and medical systems
  • protocols and networks
  • environmental systems
  • Internet and web services
  • hardware
  • e-commerce and trading
  • telecommunications
  • programming languages
  • railway networks
  • performance evaluation
  • component based development
  • operations research

originally planned in Paris, France

Facts about "Petri Nets 2020"
Abstract deadlineJanuary 22, 2020 +
AcronymPetri Nets 2020 +
Camera ready dueMarch 20, 2020 +
End dateJune 25, 2020 +
Event in seriesPetri Nets +
Has general chairÉtienne André + and Laure Petrucci +
Has location countryCategory:Video conference +
Homepagehttps://lipn.univ-paris13.fr/petrinets2020/#header +
IsAEvent +
NotificationMarch 6, 2020 +
Paper deadlineJanuary 28, 2020 +
Start dateJune 24, 2020 +
Submission deadlineJanuary 28, 2020 +
Title41th International Conference on Application and Theory of Petri Nets and Concurrency +