(mobo import Concept___Events-migrated) |
Curator 100 (talk | contribs) |
||
(2 intermediate revisions by 2 users not shown) | |||
Line 7: | Line 7: | ||
|Start Date=2020/06/24 | |Start Date=2020/06/24 | ||
|End Date=2020/06/25 | |End Date=2020/06/25 | ||
− | |Official Website=https://lipn.univ-paris13.fr/petrinets2020/ | + | |Event Status=as scheduled |
+ | |Event Mode=online | ||
+ | |Academic Field=Computer Architecture | ||
+ | |Official Website=https://lipn.univ-paris13.fr/petrinets2020/#header | ||
+ | |DOI=10.25798/rva1-tn97 | ||
|Type=Conference | |Type=Conference | ||
− | |||
|has general chair=Étienne André, Laure Petrucci | |has general chair=Étienne André, Laure Petrucci | ||
|pageCreator=User:Curator 27 | |pageCreator=User:Curator 27 | ||
|pageEditor=User:Curator 27 | |pageEditor=User:Curator 27 | ||
|contributionType=1 | |contributionType=1 | ||
− | |||
− | |||
}} | }} | ||
{{Event Deadline | {{Event Deadline | ||
+ | |Notification Deadline=2020/03/06 | ||
|Abstract Deadline=2020/01/22 | |Abstract Deadline=2020/01/22 | ||
|Paper Deadline=2020/01/28 | |Paper Deadline=2020/01/28 | ||
− | |||
|Camera-Ready Deadline=2020/03/20 | |Camera-Ready Deadline=2020/03/20 | ||
}} | }} | ||
+ | {{Organizer | ||
+ | |Contributor Type=organization | ||
+ | |Organization=Université Sorbonne Paris Nord | ||
+ | }} | ||
+ | {{Event Metric}} | ||
{{S Event}} | {{S Event}} | ||
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. | 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. |
Latest revision as of 09:02, 4 August 2023
Deadlines
|
||
Abstract |
|
||
Paper |
|
||
Notification |
|
||
Camera-Ready |
Metrics
Venue
Warning: Venue is missing. The map might not show the exact location.
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