Petri Nets 2020: Difference between revisions

From Openresearch
Jump to navigation Jump to search
← Older edit
No edit summary
No edit summary
 
(8 intermediate revisions by the same user not shown)
Line 4: Line 4:
|Series=Petri Nets
|Series=Petri Nets
|Type=Conference
|Type=Conference
|Field=Cancelled  New Date Reminder
|Start date=2020/06/24
|Start date=2020/06/22
|End date=2020/06/25
|End date=2020/06/26
|Homepage=https://lipn.univ-paris13.fr/petrinets2020/#header
|City=Villetaneuse
|Country=Video conference
|Country=France
|Abstract deadline=2020/01/22
|Paper deadline=2020/01/28
|Notification=2020/03/06
|Camera ready=2020/03/20
|has general chair=Étienne André, Laure Petrucci
}}
}}
<!-- PLEASE ADAPT OR DELETE THIS PART COMPLETELY - You can just paste in the call for papers and remove this and the last line
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.


==Topics==
You can already book your Wednesday 24th and Thursday 25th of June.
==Submissions==
==Important Dates==


==Committees==
* Co-Organizers
* General Co-Chairs
** [[has general chair::some person]], some affiliation, country


* PC Co-Chairs
** [[has program chair::some person]], some affiliation, country


* Workshop Chair
General topics related to concurrency
** [[has workshop chair::some person]], some affiliation, country
*    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


* Panel Chair
** [[has OC member::some person]], some affiliation, country


* Seminars Chair
** [[has tutorial chair::some person]], some affiliation, country


* Demonstration Co-Chairs
  Topics specific to Petri Nets
** [[has demo chair::some person]], some affiliation, country
*     Analysis and synthesis, structure and behaviour of nets
** [[has demo chair::some person]], some affiliation, country
*    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


* Local Organizing Co-Chairs
originally planned in Paris, France
** [[has local chair::some person]], some affiliation, country
 
* Program Committee Members
** [[has PC member::some person]], some affiliation, country
-->

Latest revision as of 17:33, 13 May 2020

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


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

Retrieved from "https://www.openresearch.org/mediawiki/index.php?title=Petri_Nets_2020&oldid=222605"