Petri Nets 2019: Difference between revisions
Heike.Rohde (talk | contribs) No edit summary |
Heike.Rohde (talk | contribs) No edit summary |
||
| Line 15: | Line 15: | ||
|has Proceedings Link=https://www.springer.com/gp/book/9783030215705 | |has Proceedings Link=https://www.springer.com/gp/book/9783030215705 | ||
}} | }} | ||
The 40th annual international Petri Nets conference will be organized by the Process and Data Science (PADS) group at RWTH Aachen University, Aachen, Germany | The 40th annual international Petri Nets conference will be organized by the Process and Data Science (PADS) group at RWTH Aachen University, Aachen, Germany. | ||
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 | |||
* Analysis and synthesis, structure and behavior 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 (colored nets, timed nets, etc.) | |||
* Stochastic net models | |||
Topics Specific to Petri Nets | * Verification and model checking using nets | ||
* Process discovery and conformance checking | |||
Analysis and synthesis, structure and behavior of nets | * Computer tools for nets | ||
System design and model-driven development using nets | * Standardization of nets | ||
Relationships between Petri nets and other approaches | * Experience reports describing applications of nets to different kinds of systems and application fields, e.g.: | ||
Net-based semantical, logical and algebraic calculi | * flexible manufacturing systems office automation | ||
Higher-level net models (colored nets, timed nets, etc.) | * real-time systems workflows | ||
Stochastic net models | * embedded systems process mining | ||
Verification and model checking using nets | * biological systems supervisory control | ||
Process discovery and conformance checking | * health and medical systems protocols and networks | ||
Computer tools for nets | * environmental systems Internet and web services | ||
Standardization of nets | * hardware e-commerce and trading | ||
Experience reports describing applications of nets to different kinds of systems and application fields, e.g.: | * telecommunications programming languages | ||
flexible manufacturing systems office automation | * railway networks performance evaluation | ||
real-time systems workflows | * component-based development operations research | ||
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 | |||
Latest revision as of 16:19, 13 May 2020
| Petri Nets 2019 | |
|---|---|
40th International Conference on Applications and Theory of Petri Nets and Concurrency
| |
| Event in series | Petri Nets |
| Dates | 2019/06/23 (iCal) - 2019/06/28 |
| Homepage: | http://www.petrinets2019.de/call-for-papers/ |
| Location | |
| Location: | Aachen, Germany |
| Papers: | Submitted 41 / Accepted 23 (56.1 %) |
| Committees | |
| General chairs: | Wil van der Aalst |
| PC chairs: | Susanna Donatelli, Stefan Haar |
| Table of Contents | |
The 40th annual international Petri Nets conference will be organized by the Process and Data Science (PADS) group at RWTH Aachen University, Aachen, Germany.
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 behavior 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 (colored nets, timed nets, etc.)
- Stochastic net models
- Verification and model checking using nets
- Process discovery and conformance checking
- Computer tools for nets
- Standardization 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