Difference between revisions of "Petri Nets 2020"

From Openresearch
Jump to: navigation, search
(Created page with "{{Event |Acronym=Petri Nets 2020 |Title=41th International Conference on Application and Theory of Petri Nets and Concurrency |Series=Petri Nets |Type=Conference |Start date=2...")
 
 
(10 intermediate revisions by the same user not shown)
Line 4: Line 4:
 
|Series=Petri Nets
 
|Series=Petri Nets
 
|Type=Conference
 
|Type=Conference
−
|Start date=2020/06/22
+
|Start date=2020/06/24
−
|End date=2020/06/26
+
|End date=2020/06/25
−
|City=Paris
+
|Homepage=https://lipn.univ-paris13.fr/petrinets2020/#header
−
|Country=France
+
|Country=Video conference
 +
|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 18: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"
Facts about "Petri Nets 2020"
RDF feed
Abstract deadlineJanuary 22, 2020 +
AcronymPetri Nets 2020 +
Camera ready dueMarch 20, 2020 +
End dateJune 25, 2020 +
Event in seriesPetri Nets +
Event typeConference +
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 +