The document "Petri Nets 2020" was published on "2023-08-04T09:02:48" on the website "ConfIDent" under the URL https://confident-conference.org/index.php/Event:Petri Nets 2020.
The document "Petri Nets 2020" describes an event in the sense of a conference.
The document "Petri Nets 2020" contains information about the event "Petri Nets 2020" with start date "2020/06/24" and end date "2020/06/25".
The event "Petri Nets 2020" is part of the event series identified by [[Event Series:Petri Nets]]
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
