(mobo import Concept___Event_For_Confident-migrated) |
Curator 100 (talk | contribs) |
||
| (6 intermediate revisions by 3 users not shown) | |||
| Line 2: | Line 2: | ||
|Acronym=Petri Nets 2020 | |Acronym=Petri Nets 2020 | ||
|Title=41th International Conference on Application and Theory of Petri Nets and Concurrency | |Title=41th International Conference on Application and Theory of Petri Nets and Concurrency | ||
| + | |Ordinal=41 | ||
| + | |In Event Series=Event Series:Petri Nets | ||
| + | |Single Day Event=no | ||
| + | |Start Date=2020/06/24 | ||
| + | |End Date=2020/06/25 | ||
| + | |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 | ||
| + | |Notification Deadline=2020/03/06 | ||
| + | |Abstract Deadline=2020/01/22 | ||
| + | |Paper Deadline=2020/01/28 | ||
| + | |Camera-Ready Deadline=2020/03/20 | ||
| + | }} | ||
| + | {{Organizer | ||
| + | |Contributor Type=organization | ||
| + | |Organization=Université Sorbonne Paris Nord | ||
| + | }} | ||
| + | {{Event Metric}} | ||
| + | {{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. | ||
You can already book your Wednesday 24th and Thursday 25th of June. | You can already book your Wednesday 24th and Thursday 25th of June. | ||
| − | |||
General topics related to concurrency | 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 | 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 | originally planned in Paris, France | ||
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
